2 ms·ProofCouncil: An LLM Agent for Solving Open Mathematical Problems3 points by frozenseven 3mo agofrozenseven 3mo agoCode: https://github.com/eth-sri/proof-council https://github.com/eth-sri/proof-council