@misc{indiciaedbde9c74627d,
  title = {ProofCouncil: An LLM Agent for Solving Open Mathematical Problems},
  author = {Johannes Schmitt and Tim Gehrunger and Jasper Dekoninck and Gergely Bérczi and Uri Kreitner and Liam Price and David Holmes},
  year = {2026},
  url = {https://arxiv.org/abs/2607.09474},
  note = {Source identifier: 2607.09474}
}