自主推理

去年七月，国际数学奥林匹克竞赛（IMO）见证了人工智能系统首次达到金牌水平。当时，OpenAI与谷歌DeepMind相继宣布其AI模型在此类测试中取得优异成绩，其中DeepMind的Gemini模型更是首个获得IMO官方金牌认证的AI系统。 然而，竞赛解题与真正的数学研究之间，仍存在显著差异。 此后，AI智能体技术飞速发展，其解决数学问题的能力不再仅仅依赖于…