Y
Hacker News
new
|
ask
|
show
|
jobs
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
(
arxiv.org
)
3 points
by
frozenseven
2 days ago
1 comments
frozenseven
2 days ago
Code:
https://github.com/eth-sri/proof-council
link