HN
New
Show
Ask
Jobs
Built with Astro + Solid
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
(arxiv.org)
3 points | by
frozenseven
5 hours ago ago
1 comments
$frozenseven
5 hours ago
Code:
https://github.com/eth-sri/proof-council
Code: https://github.com/eth-sri/proof-council