Benchmarks in Leipzig: LLMs Solve 98 of 100 Research-Level Math Problems
A group of 49 mathematicians compiled a dataset of 100 research-level mathematics questions with known answers during a workshop at the Max Planck Institute in Leipzig. They evaluated these questions against state-of-the-art LLMs in three stages. Initially, 41 questions remained unsolved by five LLMs in a single attempt. After 20 runs per model with three models, only 16 remained unsolved. Finally, with two heavy-thinking models over 3 runs, only 2 questions remained unsolved. The results demonstrate that LLMs' mathematical reasoning capabilities are becoming increasingly impressive.
Key quotes
After Stage 1, 41 questions remained completely unsolved; after Stage 2, this count dropped to 16; and we concluded Stage 3 with only 2 unsolved questions.
This demonstrates that the mathematical reasoning capabilities of LLMs are becoming impressive.
Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers.
From the article
You might also wanna read
AI scores 6-7 out of 10 on research-level math benchmark in First Proof project
The "First Proof" project, organized by top mathematicians, released its first official results testing AI's mathematical abilities. Large l
Revisiting local LLMs for coding: A 4-week hands-on assessment
A personal retrospective on running local LLMs for coding tasks over a 4-week period. The author shares their journey from past disappointme
Revisiting local LLMs for coding: A 4-week hands-on assessment
A personal retrospective on running local LLMs for coding tasks over a 4-week period. The author shares their journey from past disappointme
Revisiting local LLMs for coding: A 4-week hands-on assessment
A personal retrospective on running local LLMs for coding tasks over a 4-week period. The author shares their journey from past disappointme
Research Seminar: Benchmarking Cooperation Mechanisms for LLM Agents in Social Dilemmas
This article announces an AI Center seminar by Emanuel Tewolde, a CMU PhD student, presenting research on benchmarking cooperation-sustainin
BabyVision Benchmark Reveals MLLMs Fail at Basic Visual Tasks That 3-Year-Olds Can Solve
This paper introduces BabyVision, a benchmark designed to assess core visual reasoning abilities in Multimodal LLMs (MLLMs) independent of l
LLM-as-a-Verifier: A probabilistic verification framework for scaling LLM correctness assessment
This paper introduces LLM-as-a-Verifier, a general-purpose verification framework that uses LLMs to determine the correctness of solutions i
LLM-as-a-Verifier: A probabilistic verification framework for scaling LLM correctness assessment
This paper introduces LLM-as-a-Verifier, a general-purpose verification framework that uses LLMs to determine the correctness of solutions i
Why Treating LLMs as Black-Box Problem Solvers Fails: Lessons from Processing 100 Compliance PDFs
The article discusses the author's experience transforming 100 messy compliance PDFs into structured JSON rules. It critiques the common app

Comments
Sign in to join the conversation.
No comments yet. Be the first.