热点
"AI数学推理" 相关文章
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