AI数学奇袭:30位顶尖数学家「围剿」失败,人类防线真的守不住了? 本文讲述了一场发生在加州大学伯克利分校的「AI vs 数学家」巅峰对决,30位世界顶级数学家联手测试OpenAI o4-mini模型,结果令人震撼。文章以第一视角还原事件全过程,揭示AI在数学推理领域的突破性进展。 36KR热点 2025年06月10日 17:52 0 点赞 0 评论 38 浏览