ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
However, their performance can be further improved through agentic workflows tailored to real-world mathematical practice. To this end, we introduce ProofCouncil, a mathematical agent that is designed to tackle open problems using an author-critic architecture. ProofCouncil served as a submission to the second batch of FirstProof, a challenge consisting of 10 real-world mathematical problems that agents must solve autonomously.
- ▪However, their performance can be further improved through agentic workflows tailored to real-world mathematical practice.
- ▪To this end, we introduce ProofCouncil, a mathematical agent that is designed to tackle open problems using an author-critic architecture.
- ▪ProofCouncil served as a submission to the second batch of FirstProof, a challenge consisting of 10 real-world mathematical problems that agents must solve autonomously.
Opening excerpt (first ~120 words) tap to expand
Computer Science > Artificial Intelligence arXiv:2607.09474 (cs) [Submitted on 10 Jul 2026] Title:ProofCouncil: An LLM Agent for Solving Open Mathematical Problems Authors:Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck, Gergely Bérczi, Uri Kreitner, Liam Price, David Holmes View a PDF of the paper titled ProofCouncil: An LLM Agent for Solving Open Mathematical Problems, by Johannes Schmitt and 6 other authors View PDF HTML (experimental) Abstract:Large language models (LLMs) have shown increasing promise in solving open problems in mathematics. However, their performance can be further improved through agentic workflows tailored to real-world mathematical practice.
…
Excerpt limited to ~120 words for fair-use compliance. The full article is at arXiv cs.AI.
Discussion
0 commentsMore from arXiv cs.AI
