新 闻科教                                             

当AI暴力给出答案,人类研究是否还有意义?
钛媒体APP2026-09-12  

声明: 本消息或因风格和篇幅原因进行过编辑,但未经核实,也不代表我们的立场、观点或建议。如有侵权,联系秒删。[ 使用条款 ]
赞助信息

OpenAI宣称用大规模AI协作得到纳维-斯托克斯难题的证明。围绕结果、署名与研究数据的争论,让一个更深的问题浮出水面:科学需要的究竟是答案,还是通向答案的理解?本文将从以下角度展开:

从一杯咖啡出发,理解数学家追问的纳维-斯托克斯方程问题是什么?

还原88小时的解题过程,两位数学家与OpenAI的署名争议。

OpenAI在AI竞赛下的科学激进主义以及科学界将如何面对AI?

点击图片看原样大小图片





9月8日,在发布Astra之后的第五天[1],OpenAI用一篇新文章炸开了学术界的天花板,并引起了全世界数学家的讨论。

没有新模型,没有新价格,没有跑分对比。它说的是——OpenAI宣称,它的AI系统解出了一道长期没有解决的数学难题:纳维-斯托克斯方程的存在性与光滑性问题[1]。

这是一个悬而未决近90年、被克雷数学研究所悬赏100万美元的七道千禧年难题之一[2]。

OpenAI宣称,其使用了一个尚未公开的内部模型,大约10000个并行协作的智能体、在88小时内得出了解法。再由GPT-6Astra接手,花了大约17小时,把整份证明翻译成Lean——一种可以让计算机逐行检查对错的数学语言[1]。

点击图片看原样大小图片





速度之快、能力之强,一瞬间引来轩然大波。除了震惊,也有更多人在担忧,AI真的会加速科学的发展吗?AI黑盒化的过程是不是掩盖了真实的“过程价值”?学术界甚至我们每一个人,应该如何面对“信息和算力暴力的”AI?

您的观点至关重要

点击朱笔,直抒胸臆

By Google

    © 2026    八阕之地™ by Towards Digital Group关于我们反馈意见业务合作八阕书局隐私政策使用条款  
当AI暴力给出答案,人类研究是否还有意义?