OpenAI released findings on hundreds of newly solved math problems

Overview Debates Related claims Topics

NEAR AI achieved first place by total solves on the Lean Eval v1 formalization leaderboard, solving 670 upstream PutnamBench problems alongside two corrected formalizations.

Mathematicians and computer scientists emphasize that automated formal checking in Lean does not eliminate the need for independent human evaluation of mathematical proofs and assumptions.

OpenAI generated formal mathematical proofs using Lean, an open-source programming language and proof assistant that checks logical correctness against strict rules.

In its public GitHub repository, NEAR AI stated that replaying the PutnamBench benchmark usage at later listed DeepSeek off-peak prices would cost $331.

NEAR AI reported that its automated agent solved 672 Lean problems from the PutnamBench benchmark at a total submission-time model cost of $111.85, averaging approximately $0.17 per problem.

On October 6, 2026, OpenAI published 722 AI-generated mathematical research preprints covering 372 groups of results across fields including algebra, geometry, number theory, and mathematical logic.

Mathematician Hugo Duminil-Copin stated that every major open mathematical problem he had publicly cited in lectures, papers, or grant proposals was solved overnight by OpenAI's October 6, 2026 release.

Following its October 6, 2026 paper release, OpenAI revised 14 mathematical manuscripts to correct errors in proofs, statements, hypotheses, and citations.

Mathematician Matt Zaremsky reported that four years of incremental research by his team on the Boone-Higman conjecture was rendered obsolete by OpenAI's October 6, 2026 release.

OpenAI's October 6, 2026 mathematics release included proofs or partial proofs of open mathematical problems that each required approximately three hours of compute time.

Early-career researchers Tasmin Chu and Tristan Humbert were forced to rewrite active research grant proposals and postdoc applications after OpenAI's release solved their target mathematical problems.

On October 7, 2026, OpenAI withdrew three mathematical preprints after discovering a sign error that invalidated an argument in one paper and affected two related manuscripts.

In October 2026, an internal Anthropic research model using Claude took under 30 minutes to solve a 25-year-old cryptographic mystery regarding the origins of the NIST P-256 and other elliptic curve seeds supplied by the National Security Agency

Anthropic's Claude AI model traced the NIST P-256 seed to candidate number 1842 produced by lrand48, a standard Unix pseudorandom number generator initialized with a timestamp on August 16, 1997

Anthropic researchers tasked an internal Claude AI model to investigate the NIST P-256 and other elliptic curve seeds without telling the model the historical theory that the seeds originated from a forgotten phrase

Anthropic's investigation showed that seeds for NIST prime curves P-192, P-224, P-384, and P-521 matched pseudorandom generator timestamps from May 1997 through April 1998

Daily token consumption on the Venice AI platform surged approximately 25% following increased usage of the DeepSeek model

Anthropic reported $16.8 billion in revenue for the third quarter of 2026, representing a 55% quarter-over-quarter growth rate

Anthropic experienced 140% quarter-over-quarter revenue growth between the first and second quarters of 2026

Castle Island Ventures co-founder Nic Carter stated in October 2026 that AI-assisted error correction is accelerating progress toward fault-tolerant quantum computing