Third Batch Benchmark

The Third Batch Benchmark will test AI systems on ten naturally occurring research math problems which have been solved by human mathematicians but whose solutions have not been made public.

Timeline

Problem selection

Mathematicians across fields submit unpublished problems with proofs of at most 12 pages. All submissions undergo a first round of refereeing, and 10 problems are selected for the benchmark.

Benchmark testing

The editorial board tests AI systems via API. Each system is an open source harness which calls publicly available models, and gets one shot per question with no additional interaction.

Benchmark grading

Roughly 30 expert referees review the AI solutions double blind, scoring correctness, exposition, and attribution separately. Results — including the problems, human solutions, referee reports, and editorial board scores — will be published on October 14, 2026.

AI Systems Tested

A: OpenAI GPT-6 Astra

Prompt

DeveloperOpenAI

Base modelGPT-6 Astra (reasoning effort max)

B: Anthropic Siege

Skill · Runner

DeveloperAnthropic

Base modelClaude Opus 5.5 (high effort)

C: IMProofBench ProofCouncil

Source code

TeamTim Gehrunger (lead), Johannes Schmitt, David Holmes, Jasper Dekoninck, Yonggang Jiang, Gergely Bérczi, Uri Kreitner, Liam Price

Base modelsGPT-6 Astra Pro, GPT-6 Astra, Claude Fable 5.1, Claude Sonnet 5, Gemini 3.1 Pro (preview)

D: MerLean

Source code

TeamYuanjie Ren (lead), Yidi Qi, Jinzheng Li, Zeru Zhu, Kai Chau (Matthew) Kung

Base modelsGPT-6 Astra, GPT-6.1 Sol

E: Humanize

Source code

TeamZhengyang Zhang (lead), Jing Xiong, Jui-Hui Chung, Hongzhou Lin, Xingyang Li, Junxian Guo, Enrico Shippole, Mark Kim, Ligeng Zhu

Base modelKimi K3 (open-weight, self-served)