ProofCouncil: An LLM Agent for Solving Open Mathematical Problemsarxiv.org3 points·frozenseven··1 commentOpen articleSaveView on HN