First Proof Second Batch

Mohammed Abouzaid, Nikhil Srivastava, Rachel Ward, Lauren Williams
6/16/2026
cs.AI

No confident code implementation found for this paper.

Abstract

To assess the ability of current AI systems to correctly solve research-level mathematics problems, we tested several AI systems on a set of ten problems in a broad range of mathematical fields; these problems arose naturally in the research process of the contributors. This document includes the problems, our methodology, and the results of our testing. We provide links to supplementary documents including the human solutions, the AI-generated solutions, and the referee reports and logs for the AI-generated solutions. The ten problems were contributed by the following mathematicians: (1) Dariusz Kalociński and Theodore A. Slaman, (2) Richard Schwartz, (3) Aleksa Milojevic and Benny Sudakov, (4) Larry Guth, (5) Oleg Butkovsky, Jonathan Mattingly, and Lorenzo Zambotti, (6) Joshua Evan Greene and Duncan McCoy, (7) Sucharit Sarkar, (8) Sam Payne and Jidong (Jayden) Wang, (9) Sylvie Corteel and John Lentfer, (10) Srivatsav Kunnawalkam Elayavalli.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Can LLM generate interesting mathematical research problems?

82% match2026

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

82% match2024

ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems

82% match1 repo222026

Riemann-Bench: A Benchmark for Moonshot Mathematics

81% match2026

Can LLMs Master Math? Investigating Large Language Models on Math Stack Exchange

80% match1 repo42024

HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics

80% match1 repo302024

Cite this paper

@article{abouzaid2026first,
  title  = {First Proof Second Batch},
  author = {Mohammed Abouzaid and Nikhil Srivastava and Rachel Ward and Lauren Williams},
  year   = {2026},
  eprint = {2606.18119},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2606.18119v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2606.18119.svg)](https://codeofpaper.com/paper/2606.18119)

Discussion