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