The DOI matches its DataCite record; 1 of the 1 references it cites were found in a registry or an index.
Towards Autonomous Mathematics Research
Open accessAbstract
Recent advances in foundational models have yielded reasoning systems capable of achieving a gold-medal standard at the International Mathematical Olympiad. The transition from competition-level problem-solving to professional research, however, requires navigating vast literature and constructing long-horizon proofs. In this work, we introduce Aletheia, a math research agent that iteratively generates, verifies, and revises solutions end-to-end in natural language. Specifically, Aletheia is powered by an advanced version of Gemini Deep Think for challenging reasoning problems, a novel inference-time scaling law that extends beyond Olympiad-level problems, and intensive tool use to navigate the complexities of mathematical research. We demonstrate the capability of Aletheia from Olympiad problems to PhD-level exercises and most notably, through several distinct milestones in AI-assisted mathematics research: (a) a research paper (Feng26) generated by AI without any human intervention in calculating certain structure constants in arithmetic geometry called eigenweights; (b) a research paper (LeeSeo26) demonstrating human-AI collaboration in proving bounds on systems of interacting particles called independent sets; and (c) an extensive semi-autonomous evaluation (Feng et al., 2026a) of 700 open problems on Bloom's Erdos Conjectures database, including autonomous solutions to four open questions. In order to help the public better understand the developments pertaining to AI and mathematics, we suggest quantifying standard levels of autonomy and novelty of AI-assisted results, as well as propose a novel concept of human-AI interaction cards for transparency. We conclude with reflections on human-AI collaboration in mathematics and share all prompts as well as model outputs at https://github.com/google-deepmind/superhuman/tree/main/aletheia.
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The AI-scientist theme has fragmented into dozens of domain-specific descendants.
“the theme has since fragmented into dozens of domain-specific descendants”
From Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops (2026) · cites this paper as [172]
Citations
Cites
The publisher hasn’t deposited this paper’s reference list.
Cited by
Sorted by citations
Automated Conjecture Resolution with Formal Verification
Ju, H., Gao, G., Jiang, J., Wu, B., Sun, Z., Liu, S., Chen, L., Wang, Y., Wang, Z., Wang, Z., et al. (2026) · SuperIntelligence - Robotics - Safety & Alignment · doi:10.70777/si.v3i3.18746 · Cited by 79
Nemotron-Cascade 2: Post-Training LLMs with Cascade RL and Multi-Domain On-Policy DistillationPreprint
Yang, Z., Liu, Z., Chen, Y., Dai, W., Wang, B., Lin, S.-C., Lee, C., Chen, Y., Jiang, D., He, J., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2603.19220 · Cited by 65
Advancing mathematics research with AI-driven formal proof search
Tsoukalas, G., Kovsharov, A., Shirobokov, S., Surina, A., Firsching, M., Bérczi, G., Ruiz, F. J. R., Suggala, A., Wagner, A. Z., Wieser, E., et al. (2026) · Science · doi:10.1126/science.aej2213 · Cited by 57
NVIDIA, :, Blakeman, A., Thomas, A., Jhunjhunwala, A., Gupta, A., Khattar, A., Rajfer, A., Renduchintala, A., Asif, A., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.15007 · Cited by 51
AI co-mathematician: Accelerating mathematicians with agentic AIPreprint
Zheng, D., von Glehn, I., Zwólš, Y., Beloshapka, I., Buesing, L., Roy, D. M., Wattenberg, M., Georgiev, B., Schmidt, T., Cowie, A., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2605.06651 · Cited by 33
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph MemoryPreprint
Liu, J., Gao, G., Sun, Z., Wu, B., Liu, S., Jiang, J., Ju, H., Chen, L., Cheng, R., Zhang, X., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2607.06447 · Cited by 32
Formalizing Mathematics at ScalePreprint
Rammal, A., Patel, N., Gloeckle, F., Hayat, A., Kempe, J., Munos, R., Arnal, C., & Cabannes, V. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2605.29955 · Cited by 20
LEAP: Supercharging LLMs for Formal Mathematics with Agentic FrameworksPreprint
Kung, P.-N., Song, L., Hwang, D., Yoon, J., Li, C.-L., Simone Severini, B., Olšák, M., Lockhart, E., Le, Q. V., Gokturk, S. B., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.03303 · Cited by 19
Self-citationAI for Mathematics: Progress, Challenges, and Prospects
Ju, H., & Dong, B. (2026) · SuperIntelligence - Robotics - Safety & Alignment · doi:10.70777/si.v3i3.18747 · Cited by 18
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau EquilibriumPreprint
Ilin, V. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2603.15929 · Cited by 16
Towards Pervasive Distributed Agentic Generative AI–A State of The Art
Molinari, G., & Ciravegna, F. (2026) · ACM Computing Surveys · doi:10.1145/3821566 · Cited by 16
QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open ProblemsPreprint
An, C., Ye, Q., Pan, M., & Zhang, J. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2604.24021 · Cited by 13
Zimmer, M., Pelleriti, N., Roux, C., & Pokutta, S. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2603.15914 · Cited by 11
Matlas: A Semantic Search Engine for MathematicsPreprint
Ju, H., Chen, L., Wu, P., Dai, B., & Dong, B. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2604.17484 · Cited by 9
Eigenweights for arithmetic Hirzebruch Proportionality
Feng, T. (2026) · PNAS Nexus · doi:10.1093/pnasnexus/pgag143 · Cited by 8
Self-citationThe simplicity of the Hodge bundle
Patel, A. (2026) · Proceedings of the National Academy of Sciences · doi:10.1073/pnas.2610183123 · Cited by 7
A Domain-Specific Harness for End-to-End Automation of Optimization ResearchPreprint
Kim, H.-T., Ryu, E. K., & Gupta, S. D. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2608.07407 · Cited by 7
SPIRAL: Learning to Search and AggregatePreprint
Hamid, J. I., Orney, I. H., Li, M., Shaikh, O., Lee, Y., Sadigh, D., Finn, C., & Goodman, N. D. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.23595 · Cited by 6
Gong, T., Zeng, M. R., & Yang, Y. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2607.27705 · Cited by 6
CREBench: Evaluating Large Language Models in Cryptographic Binary Reverse EngineeringPreprint
Chen, B., Wang, Y., Zhou, Z., Liu, X., Li, J., Chen, Y., & He, T. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2604.03750 · Cited by 5
Iteris: Agentic Research Loops for Computational MathematicsPreprint
Chen, L., Liu, Z., He, W., & Dong, B. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.02484 · Cited by 5
Towards Automating Scientific Review with Google's Paper Assistant ToolPreprint
Jayaram, R., Tyler, D., Woodruff, D. P., Cortes, C., Matias, Y., Mirrokni, V., & Cohen-Addad, V. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.28277 · Cited by 5
The Problem Is the Problem: Towards Scalable Mathematical DiscoveryPreprint
Zheng, Z., Zhang, S., Avigad, J., Tetali, P., & Welleck, S. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2608.16977 · Cited by 5
Accelerating Scientific Research with Gemini in the Real-WorldPreprint
Schmidgall, S., Zhu, X., Shaw, M., Yang, L., Liévin, V., Yang, J., Zhuang, Y., Strother, T., Bijamov, A., Sun, M., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2608.26701 · Cited by 5
Self-citationImmersions with small normal curvaturePreprint
Chodosh, O., & Li, C. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2602.15728 · Cited by 4
Verbeken, B., Vagenende, B., Guerry, M., Algaba, A., & Ginis, V. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2602.18918 · Cited by 4
Raiyan, S. R., Kabir, M., Mahmud, H., Hasan, M. K., & Ananiadou, S. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.08728 · Cited by 4
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research FrontierPreprint
Jiang, E., Liang, X., Zhang, J., Baker, J., Zhang, Z., Wan, Y., Li, Y., Yu, J., Li, Y., Deng, H., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2607.07779 · Cited by 4
Self-citationLin, H., Woodruff, D. P., Deng, Y., Mao, J., Zuo, S., & Mirrokni, V. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.15983 · Cited by 4
Self-citationDoubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
Przybocki, B., Mackey, J., Heule, M. J. H., & Subercaseaux, B. (2026) · Lecture notes in computer science · doi:10.1007/978-3-032-38214-6_18 · Cited by 3
Verify to Amplify: Improving Reasoning via Learned Chain-of-Thought VerificationPreprint
Balcan, M.-F., Blum, A. L., Fragkia, K., Li, Z., & Sharma, D. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2603.03538 · Cited by 3
Deep Research of Deep Research: From Transformer to Agent, From AI to AI for SciencePreprint
Yu, Y. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2603.28361 · Cited by 3
Undecidability problems for semifree DG algebrasPreprint
Manolescu, C., & Rozenblyum, N. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2605.08122 · Cited by 3
Human agency in initial human-AI proof formalization workflowsPreprint
Collins, K. M., Frieder, S., Bayer, J., Loader, J., Lim, J., Song, P., Zaiser, F., Zhou, L., Li, S., Looi, S., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.04273 · Cited by 3
Agentic Publication Protocol: An Attempt to Modernize Scientific PublicationPreprint
Lu, S., & Qi, X.-L. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.27386 · Cited by 3
On the Creativity of AI AgentsPreprint
Franceschelli, G., & Musolesi, M. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2604.13242 · Cited by 2
The minimal volume of stable surfaces of rank onePreprint
Liu, J., & Liu, W. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2605.05641 · Cited by 2
Deep Research in Physical Sciences: A Multi-Agent Framework and Comprehensive BenchmarkPreprint
Jiang, Y., Yang, T., Cui, T., Wan, J., Wang, Y., Wang, W., Liu, Z., Peng, C., Luo, B., Gao, M., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.18648 · Cited by 2
Wang, D., Zhang, X., Xu, K., Zhu, Q., & Che, W. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2608.20153 · Cited by 2
One-Sided Verification Under Limited Expert ReviewPreprint
Nie, F., Ye, H., Liu, S., Wang, Z., Ermon, S., & Zou, J. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.18089 · Cited by 2
OpenProver: Agentic and Interactive Theorem Proving with Lean 4
Kripner, M., & Straka, M. (2026) · Lecture notes in computer science · doi:10.1007/978-3-032-38214-6_21 · Cited by 1
RecEvolve: A Knowledge-Driven Autonomous Agent System for Recommender Systems
Pan, W., Ma, H., Ye, S., Rungta, P., McPeek, D., Jiao, J., Bhadury, A., Gao, M., & Dalal, O. (2026) · ACM Conference on Recommender Systems (RecSys) · doi:10.1145/3773078.3831898 · Cited by 1
Covert Systems – On the Intelligence of Large Language Models
Link, D. (2026) · CyberLeninK (CyberLeninka) · doi:10.48417/technolang.2026.03.05 · Cited by 1
$R$-equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal EquivalencePreprint
Kanevsky, D., Salazar, J., & Harvey, M. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2603.19215 · Cited by 1
$k$-server-bench: Automating Potential Discovery for the $k$-Server ConjecturePreprint
Brilliantov, K., Bamas, É., & Abbe, E. A. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2604.07240 · Cited by 1
TMAS: Scaling Test-Time Compute via Multi-Agent SynergyPreprint
Wu, G., Jing, N., Yi, Q., Hao, C., Yang, M., Chang, F., Wei, Y., Yang, J., Tao, R., & Dai, B. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2605.10344 · Cited by 1
Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space TheoryPreprint
Acuaviva, A., & Acuaviva, P. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2607.17388 · Cited by 1
Aliabadi, M., Driscoll, K., Krop, E., Sirkovic, P., Sullivan, E., & Vedadi, E. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2607.24847 · Cited by 1
From Lecture Notes to Lean: Formalizing a Textbook on Probability TheoryPreprint
Deng, S., & Shum, K. W. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2607.27298 · Cited by 1
Evaluating Rational Contracting in Natural LanguagePreprint
Sajja, B., Max Kleiman-weiner, A., Zimmermann, R., & Zhi‐Xuan, T. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2608.10475 · Cited by 1
EULER: Exploring Underused Links with Evidence-Checked Return for Multi-Agent Mathematical DiscoveryPreprint
Zhenzhuo, R. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.00032 · Cited by 1
Cogentic: Multi-Agent Orchestration for Automated Proof DiscoveryPreprint
Cai, Y., Gupta, V., Jiang, Y., Liaw, C., Mehta, A., Velegkas, G., & Wang, D. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.40324 · Cited by 1
Zhang, Z., Xiong, J., Lin, H., Chung, J., Zhang, Z., Han, S., Liu, S., & Zhu, L. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.13632 · Cited by 1
Self-citationRecursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops
Chen, M., Wang, L., & Qu, B. (2026) · arXiv
“…has since fragmented into dozens of domain-specific descendants: an autonomous mathematics researcher navigating literature and long-horizon proofs [167], Socratic agents pursuing “epistemic autonomy” in high-dimensional physics [168], evolving multi-agent scientists that adapt their own pipelines…”
Scaling Test-Time Compute for Agentic Coding
Kim, J., Yang, W., Niu, K., Zhang, H., Zhu, Y., Helenowski, E., Silva, R., Chen, Z., Iyer, S., Zaheer, M., et al. (2026) · arXiv · doi:10.48550/arxiv.2604.16529
Self-citationCoherence-Theoretic Foundations for Cross-Domain Structural Transfer in Autonomous Reasoning SystemsPreprint
Elghandour, M. F. (2026) · Zenodo (CERN European Organization for Nuclear Research) · doi:10.5281/zenodo.18627024
EDM-ARS: A Domain-Specific Multi-Agent System for Automated Educational Data Mining ResearchPreprint
Pan, C., Zhang, Z., Xiao, W., & Yao, C. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2603.18273
Can Large Language Models Reinvent Foundational Algorithms?Preprint
Zhao, J., Luo, H., Wang, Y., Cao, Y., Sheng, P., & He, T. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2604.05716
Lectures on AI for MathematicsPreprint
Chen, X., & Chen, X. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2604.11504
Fine-tuning small reasoning models for quantum field theory
Woodward, N., Gao, Z., Kvasiuk, Y., Smith, K. M., Sala, F., & Münchmeyer, M. (2026) · Machine Learning Science and Technology · doi:10.1088/2632-2153/aea39e
Entropy Centroids as Intrinsic Rewards for Test-Time ScalingPreprint
Zhao, W., Zhu, Q., Zeng, X., Mi, F., Shang, L., Yi, R., & Fung (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2604.26173
Wang, Y., Liu, J.-P., Li, P., & Liu, Y. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2606.24899
Self-citationHe, Y., Li, D., Li, G., Geng, J., Huang, Z. Z., Ren, C., Zhang, Z., Liu, Y., Zhu, S. J., Zhang, H., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2607.14178
Self-citationInteligencia artificial y modelos matemáticos en la resolución de problemas complejos
Tarco, W. J. L., Gualpa, S. G. S., Quispe, F. A. C., Espinosa, M. D. T., & Ruiz, S. J. C. (2026) · Sage Sphere of Technology Sciences Discoveries And Society · doi:10.63688/zzaywf45
How Do Vision-Language Models Represent Numbers? An Investigation on Visual Enumeration
Shafiezadeh, S., Hou, K., Testolin, A., & Zorzi, M. (2026) · Lecture notes in computer science · doi:10.1007/978-3-032-38401-0_56
Self-citationAtria Dawn: The Dawn of Agentic SuperintelligencePreprint
Guo, H., Gui, T., Cai, K., Chen, H., Chen, Y., Dong, G., Ge, Q., Hu, Y., Huang, Z., Jin, J., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.15818
Self-citationHigh Rank and Multiplicity in Random and Perfect Profinite GroupsPreprint
Pagano, C., & Shusterman, M. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.30200
Self-citationAgentic Economies for Autonomous Scientific DiscoveryPreprint
Tomašev, N., Franklin, M., Kasirzadeh, A., Natarajan, V., Karthikesalingam, A., Krier, S., & Osindero, S. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.31562
Peppy: An AI-Assisted Workflow for Tight Convergence Analysis of Optimization AlgorithmsPreprint
Suh, J. J., Yoon, T., Nguyen, E. D. H., Ying, B., & Ma, S. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.35762
TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer SciencePreprint
Yang, C., Zhang, X., Huang, Y., Han, B., Kong, S., Zhang, S., Patil, V. P., Han, Z., Bohlke‐Schneider, M., & Wang, B. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.35606
Thinking Outside the Box: Can Language Models Rely on External Guidance Selectively?Preprint
Wang, M., Wang, B., Zuo, J., Tao, Y., & kong, F. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2609.39578
FrugalEvo: Towards Cost-Aware LLM-Guided Program EvolutionPreprint
Chen, H., Qi, X., Zhao, J., Feng, Z., Liu, S., Xu, K., Koh, P. W., & Hooi, B. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.03675
Golod--Shafarevich for arithmetic surfacesPreprint
Keller, T., & Pagano, C. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.06461
Self-citationBolzano: From Expert-Guided Proof Search to Automated Open-Problem SolvingPreprint
Zámečník, A., Kripner, M., Koutecký, M., Balko, M., Grebík, J., Hubáček, P., Šámal, R., & Rozhoň, V. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.09769
At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver FrontierPreprint
Santos, M. D., Veeriah, V., Havrilla, A., Bolt, A. B., Žužić, G., Singh, S., & Zahavy, T. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.22603
Understanding the Benefits of Scaffolds through Computational SeparationsPreprint
Gai, J., Block, A., & Risteski, A. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.27157
Agentic AI systems for scientific discovery
Feng, B., Walther, P., Zhang, L., Coyle, R. A., Kim, S., Mandal, A., Zhang, Z., Papidocha, S. M., Kelmanson, A., Segura, D. M., et al. (2026) · Nature Reviews Methods Primers · doi:10.1038/s43586-026-00534-y
Self-citationИСПОЛЬЗОВАНИЕ НЕЙРОСЕТЕЙ В НАУЧНЫХ ИССЛЕДОВАНИЯХ: К ВОПРОСУ О ПРИРОДЕ НОВОГО ЗНАНИЯ
Францевич, Я. М. (n.d.) · CyberLeninK (CyberLeninka)
PACE: Research Proving Agent for Adaptive Conjecture ExplorationPreprint
Miao, S., Wang, F., Long, W., Li, C., Yuan, K., & Wen, Z. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.33690
NaturalPRISM: A Natural Language Premise Retrieval Task for Research-level Intermediate Proof States
Proctor, H., An, L., LaHue, A., Burr, M., Jansari, V. G., Hernandez, C. T., Puente, L. D. G., & Nye, B. (2026) · doi:10.18653/2026.mathnlp-main.13
Alali, B. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.35919
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format ProofsPreprint
Sorani, A., Narayanan, A., Shalyt, M., Monderer, T., Kalisch, R., Barkan, H., Leibtag, E., Weinbaum, S., Schneider, C., Campbell, J. M., et al. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.40551
DAPS: Dependency-Aware Premise Selection for LLM Theorem ProvingPreprint
Chen, Z., Jiang, W., Wang, J., Sachan, M., & Huang, Y. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2610.41536
Metadata
- Authors
- Feng, T., Trinh, T. H., Bingham, G., Hwang, D., Chervonyi, Y., Jung, J., Lee, J., Pagano, C., Kim, S.-H., Pasqualotto, F., Gukov, S., Lee, J. N., Kim, J., Hou, K., Ghiasi, G., Tay, Y., Li, Y., Kuang, C., Liu, Y., Lin, H., Liu, E. Z., Nayakanti, N., Yang, X., Cheng, H.-T., Hassabis, D., Kavukcuoglu, K., Le, Q. V., & Luong, T.
- Affiliations
- University of California, Berkeley (US)
- University of California San Diego (US)
- ORCID
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2026
- ISSN
- 2331-8422 (ISSN-L)
- arXiv
- 2602.10177
- OpenAlex
- W7128717362
- Cited by
- 3
- References
- 0
- Citations by year
- 2026: 3
- Type
- posted content
- Language
- en
- Open access
- green
- arxiv.org
- Licence
- Locations
- arXiv (Cornell University) (submittedVersion, cc-by-nc-nd)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Artificial Intelligence Applications
- Physical Sciences › Computer Science › Computational Theory and Mathematics › Mathematics, Computing, and Information Processing
- Physical Sciences › Computer Science › Artificial Intelligence › Topic Modeling
- Keywords
- aletheia, proof verification, human-AI collaboration, independent sets, Erdős conjecture, open problems, autonomy levels
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
