【新智元导读】最近，，，，30位天下顶尖数学家亲自出马，，，，在UC伯克利对OpenAI o4-mini睁开「围剿」，，，，两天连出教授级难题，，，，效果却就地整体「破防」！有人直言：这个AI，，，，简直已靠近数学天才的水平。。。。一经以为AGI遥遥无期，，，，现在似乎只剩临门一脚了…… 由于他担心，，，，若是用电子邮件这类古板的联络方法，，，，有可能就会被LLM扫描到，，，，无意中成为训练数据，，，，从而污染整个测试数据集。。。。 Ono出了一道题，，，，是他专业领域内的专家都公认的数论开放性问题，，，，可以说是一道很是不错的考题，，，，已经抵达了博士生的水平。。。。 伦敦数学科学研究所的数学家、AI数学应用先驱之一的Yang Hui He说：「这是一个顶尖优异的研究生才华做到的事——不，，，，现实上它做得更多。。。。」 「当某人用足够权威的口吻语言时，，，，人们会感应敬畏。。。。我以为o4-mini已经掌握了吓唬式证实的精髓，，，，由于它说每句话时都带着禁止置疑的自信。。。。」 到那时，，，，数学家或许将转向只认真提出问题，，，，并与推理机械人互动，，，，指导它们发明新的数学真理，，，，就像教授指导研究生一样。。。。 例如，，，，目今的AlphaEvolve还极难用上后续论文中使用的渐近结构；；；；；；；但另一方面，，，，若没有AlphaEvolve的暴力搜索，，，，人类要领也很难发明这些刷新的切入点。。。。 好比在处置惩罚函数极限的差和积定理时，，，，它在重大的代数推导、寻找合适的数学引理（好比与绝对值相关的引理）等方面显得力有未逮。。。。