热点
"AI数学推理" 相关文章
35分斩金！Gemini成首个IMO认证AI金牌，OpenAI未获许可强蹭IMO热度
机器学习初学者 2025-07-25T10:17:25.000000Z
全球首个IMO金牌AI诞生！谷歌Gemini碾碎奥数神话，拿下35分震惊裁判
新智元 2025-07-22T07:37:35.000000Z
全球首个IMO金牌AI诞生！谷歌Gemini碾碎奥数神话，拿下35分震惊裁判
新智元 2025-07-22T06:29:59.000000Z
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
掘金 人工智能 2025-07-18T03:08:08.000000Z
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
AI前线 2025-07-17T06:58:38.000000Z
AlphaGeometry2: The AI That Outperforms Human Olympiad Champions in Geometry
Unite.AI 2025-02-17T16:55:16.000000Z
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
36氪 AI 2024-12-24T09:51:33.000000Z
o1/Claude集体翻车，陶哲轩等60+顶尖数学家合力提出新数学基准，大模型正确率通通不足2%
36氪 - 科技频道 2024-11-11T11:58:24.000000Z
谷歌AI达到IMO奥数银牌水准
ReadHub 2024-07-26T03:22:31.000000Z