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