Explore
AI Tools
New Tools
AI Agents
One9 Worker
LLMs
RAG & Vector DBs
Research
Assemble a stack
Founder Stacks
Compare
How We Rate
About
$
/
₹
⌘K
Sign up free
Login
Back to papers
July 10, 2026
cs.AI
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
Johannes Schmitt
,
Tim Gehrunger
,
Jasper Dekoninck
,
Gergely Bérczi
,
Uri Kreitner
,
Liam Price
,
David Holmes
Original Abstract
Read on arXiv
Download PDF
Categories
cs.AI