An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
Anthropic says an unreleased model raised the verified lower bound for the Riemann hypothesis.
The model did not prove the 150-year-old conjecture, but Anthropic says it made significant progress on where the hypothesis is known to hold. A non-specialist staffer prompted it to try, then let it run for about a day and a half across 60 subagents and 31 million output tokens. Anthropic says two in-house mathematicians checked the result, and the work was formalized in Lean. TechCrunch AI's note
The model did not prove the 150-year-old conjecture, but Anthropic says it made significant progress on where the hypothesis is known to hold. A non-specialist staffer prompted it to try, then let it run for about a day and a half across 60 subagents and 31 million output tokens. Anthropic says two in-house mathematicians checked the result, and the work was formalized in Lean. TechCrunch AI's note
score 7