OpenAI并非从零解题：算力补完最后一公里，原创路径仍稀缺

据数学媒体Quanta：OpenAI并非从空白出发。数学家Diego Córdoba与Luis Martínez-Zoroa此前已提出“无限级联”的分析路线，并在2023年证明较粗糙外力下的奇点；真正尚未跨越的门槛，是让外力保持数学上的光滑性。普林斯顿数学家、千禧年问题官方描述撰写者Charles Fefferman认可新结果，但认为奠定关键路线的Córdoba与Martínez-Zoroa才是这项工作的“英雄”。因此，这次突破更像是AI把科研“最后一公里”工业化：人类提供方向，数千个智能体并行试错，模型补齐关键证明并完成形式化。
数学家陶哲轩判断，数学可能由“证明稀缺”转向“证明过剩”；届时真正稀缺的将是值得研究的问题、有效路径和独立审查能力。这意味着算力确实正在转化为科研速度，但尚不能简单等同于AI已经具备完全自主的原创研究能力。