【新智元导读】最近
，30位世界顶尖数学家亲自出马
，在UC伯克利对OpenAI o4-mini发展「围剿」
，两天连出教授级难题
，了局却当场集体「破防」！有人直言：这个AI
，简直已靠近数学天才的水平。已经以为AGI遥遥无期
，如今似乎只剩临门一脚了…… 由于他不安
，若是用电子邮件这类传统的联系方式
，有可能就会被LLM扫描到
，无意中成为训练数据
，从而传染整个测试数据集。 Ono出了一路题
，是他专业领域内的专家都公认的数论盛开性问题
，能够说是一路极度不错的考题
，已经达到了博士生的水平。 伦敦数学科学钻研所的数学家、AI数学利用先驱之一的Yang Hui He说：「这是一个顶尖优良的钻研生能力做到的事——不
，现实上它做得更多。」 「当某人用足够权威的口气措辞时
，人们会感应敬畏。我以为o4-mini已经把握了恐吓式证明的精华
，由于它说每句话时都带着不容置疑的自负。」 到那时
，数学家或许将转向只掌管提出问题
，并与推理机械人互动
，疏导它们发现新的数学真谛
，就像教授领导钻研生一样。 例如
，当前的AlphaEvolve还极难用上后续论文中使用的渐近机关；但另一方面
，若没有AlphaEvolve的暴力搜索
，人类步骤也很难发现这些改进的切入点。 好比在处置函数极限的差和积定理时
，它在复杂的代数推导、寻找相宜的数学引理（好比与绝对值有关的引理）等方面显得力不从心。