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