TY  - RPRT
TI  - ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
AU  - Johannes Schmitt
AU  - Tim Gehrunger
AU  - Jasper Dekoninck
AU  - Gergely Bérczi
AU  - Uri Kreitner
AU  - Liam Price
AU  - David Holmes
PY  - 2026
UR  - https://arxiv.org/abs/2607.09474
ID  - 2607.09474
ER  -