ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

(arxiv.org) by frozenseven | Jul 29, 2026 | 1 comments on HN