mlsanityData to 7 Oct 2026

First Proof

arXiv 2602.05192 ↗First posted 5 Feb 2026cs.AI math.AG math.COcited by 26

Not on the map. Why?

Abstract (arXiv)

To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared publicly until now; the answers are known to the authors of the questions but will remain encrypted for a short time.

Key facts. Cited by 26 papers in the map (data through 7 Oct 2026). Builds on 2 of its 4 references that are in the map. First posted on arXiv 5 Feb 2026.

Builds on

2 of 4 references.

References · 2

  1. 2025RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematicscited by 30
  2. 2025IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generationcited by 11

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2026: 26.

26 papers.

Sort:

By area:

  1. 2026Automated Conjecture Resolution with Formal Verificationcited by 21
  2. 2026LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematicscited by 7
  3. 2026Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verificationcited by 7
  4. 2026RMA: an Agentic System for Research-Level Mathematical Problemscited by 6
  5. 2026ProofCouncil: An LLM Agent for Solving Open Mathematical Problemscited by 6
  6. 2026The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learningcited by 4
  7. 2026Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMscited by 4
  8. 2026LiveMathematicianBench: A Live Benchmark for Research-Level Mathematical Reasoning with Proof Sketchescited by 2
  9. 2026Artificial Intelligence and the Structure of Mathematicscited by 2
  10. 2026pAI/MSc: ML Theory Research with Humans on the Loopcited by 2
  11. 2026ResearchMath-14K: Scaling Research-Level Mathematics via Agentscited by 2
  12. 2026An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Modelscited by 1
14 more
  1. 2026Evaluating Research-Level Math Proofs via Strict Step-Level Verificationcited by 1
  2. 2026AI-Assisted Discovery of Convex Relaxations via Dual Agentscited by 1
  3. 2026From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontiercited by 1
  4. 2026ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent Systemcited by 1
  5. 2026Efficient Reasoning on the Edgecited by 0
  6. 2026Can LLM generate interesting mathematical research problems?cited by 0
  7. 2026k-server-bench: Automating Potential Discovery for the k-Server Conjecturecited by 0
  8. 2026Forage V2: Knowledge Evolution and Transfer in Autonomous Agent Organizationscited by 0
  9. 2026Failure Modes of Large Language Models on Research-Level Mathematics: A Taxonomy and an Empirical Characterisationcited by 0
  10. 2026How AI settled the complexity of the oldest SGD algorithmcited by 0
  11. 2026The Ramanujan Challenge For AIcited by 0
  12. 2026Beyond Correctness: Toward Automated Novelty Verification with Lean 4cited by 0
  13. 2026Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-Enabled Mathematical Researchcited by 0
  14. 2026TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Sciencecited by 0