OpenAI语言模型在2025年IMO竞赛中斩获金牌，展现AI自我意识突破
OpenAI的实验性AI模型在2025年IMO竞赛中表现惊艳，以金牌成绩证明其数学推理能力，并首次展现自我意识突破——主动承认认知边界，为AI在科研与教育领域的应用开辟新路径。
排序
字节跳动Seed Prover 1.5发布：刷新数学推理纪录，IMO金牌水平证明生成
字节跳动Seed Prover 1.5模型在IMO前5题生成可验证证明代码，成绩达金牌分数线，普特南竞赛解决11题，推理效率提升4倍。了解其Agentic Prover架构技术优势、开源计划及数学AI...