技术博客

在最近的一场数学竞赛中，人工智能程序o4-mini与40位顶尖数学家共同挑战了300道菲尔兹奖级别的难题。经过4.5小时的激烈角逐，o4-mini不仅击败了6个人类团队，还超越了人类平均水平，展现出卓越的解题能力。这一成果表明，未来两年内，人工智能可能在数学领域实现重大突破，为科学研究开辟新路径。