2026年10月5日，OpenAI宣布其AI系统已解决千禧年数学难题纳维-斯托克斯方程存在性与光滑性问题，消息在德国海德堡获奖者论坛引发数学界热议。

该难题由克雷数学研究所在2000年提出，7道题中人类仅攻克庞加莱猜想。阿姆斯特丹大学青年研究员Ailsa Robertson表示：“AI和大语言模型在今年夏天点燃了整个数学界。”今年以来，AI已从日常研究级问题推进至验证费马大定理证明。

若OpenAI的证明获验证，机器学习在自动推理领域的可信度将大幅提升，数学研究范式面临重构。

来源：IEEE Spectrum AI

软盟资讯 news.softunis.com 7×24小时AI快讯