标签: 数学证明辅助
该标签下共有 1 篇文章
人类在这项高难度数学测试中胜过人工智能
作者: aeks | 发布时间: 2026-06-13 12:02
人工智能首次接受严格数学能力测试：4个AI模型挑战10道全新研究级数学题，最高仅答对6题。结果表明，当前AI尚无法媲美顶尖数学家的解题能力。
该标签下共有 1 篇文章
作者: aeks | 发布时间: 2026-06-13 12:02
人工智能首次接受严格数学能力测试：4个AI模型挑战10道全新研究级数学题，最高仅答对6题。结果表明，当前AI尚无法媲美顶尖数学家的解题能力。