陶哲轩携AI再战数学，o4-mini秒怂弃赛，Claude 20分钟通关！
陶哲轩近期通过AI工具仅用33分钟完成一页复杂的数学证明，展示了AI在数学研究中的巨大潜力。同时，国产AI模型DeepSeek打破国外垄断，推动AI辅助证明技术发展。但在实际测试中，OpenAI的o4-mini表现不佳，而Claude却在20分钟内通关数学难题，引发关于AI在数学领域应用前景的热议。
o4-mini
36KR热点
AI数学奇袭：30位顶尖数学家「围剿」失败，人类防线真的守不住了？
本文讲述了一场发生在加州大学伯克利分校的「AI vs 数学家」巅峰对决，30位世界顶级数学家联手测试OpenAI o4-mini模型，结果令人震撼。文章以第一视角还原事件全过程，揭示AI在数学推理领域的突破性进展。
数学界震动！AI直觉刷爆人类顶尖难题，14位专家集体破防
近日，30位世界顶尖数学家在UC伯克利对OpenAI o4-mini发起挑战，试图测试其数学能力。令人震惊的是，AI不仅轻松应对多项难题，甚至展现出类似“直觉”的解题能力，令14位专家集体破防。这场测试揭示了AI在数学领域的巨大潜力，并引发了对未来科研模式的深度思考。