AIKIT
An unreleased Anthropic model made progress on one of math’s biggest unsolved problems | AIKIT