ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
By frozenseven · 2026-07-29 · 3 points · 1 comments
https://arxiv.org/abs/2607.09474
By frozenseven · 3 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews