标签
一位OpenAI研究人员对最近的AI进展表示惊讶，称过去三个月工作强度巨大，能力有了显著飞跃。
据报道，Opus 5.5 让 OpenAI 措手不及，压缩了 GPT-6.1 Astra 的时间表，并间接地让‘Bel’（解决了 Navier–Stokes 方程的模型）的发布更接近。
OpenAI声称解决了Navier-Stokes千禧年问题，但数学家们认为该解决方案通过只解决部分标准而逃避了问题。
OpenAI 声称对 Navier-Stokes 问题的解决方案引发了争议，专家质疑其是否解决了该数学问题的正确变体。
本文探讨了OpenAI针对Navier-Stokes问题的Lean证明的验证，强调了确保形式证明与预期数学问题一致的重要性，以及数学家进一步审查的必要性。
Scott Aaronson 报告称，由于对公众反应的担忧，AI公司正将重大问题的解决方案搁置，此前因Navier-Stokes证明引发反弹。
作者批评LLMs，认为尽管有解决Navier-Stokes方程等突破，但它们在自主性和泛化方面存在局限性，且严格规范的高成本阻碍了它们作为人类工作者的替代品的使用。
文章探讨了AI进步如何以OpenAI的自主AI代理解决Navier–Stokes问题为例，可能标志着从传统人类成就向更多机器驱动智力进步的转变。
Greg Brockman讨论了OpenAI如何使用10,000个AI代理解决Navier-Stokes问题，强调了AI推动科学发现和迈向通用人工智能（AGI）的潜力。
OpenAI 声称利用 AI 代理生成了一个证明，表明在纳维-斯托克斯方程中可能形成奇点。本文探讨了其对 AI 驱动数学研究及未来科学方法的影响。
OpenAI 宣布了一个由AI生成的 Navier-Stokes 存在性和光滑性问题的解，引发了关于AI在数学中的作用以及数学是否仅仅关于问题解决的辩论。
本文批评了围绕Navier-Stokes证明公告的炒作，指出前沿AI模型并非如宣称的那样有能力，并强调了大规模计算和并行处理的作用，而非模型智能。
OpenAI的Bel模型具备解决Navier-Stokes方程的能力，在一个AI 2027时间线中被突出展示，预示着它在未来AI发展中的潜在角色。
来自@AiBreakfast的一条推文声称，果蝇大脑已解决纳维-斯托克斯方程并随后崩溃。
使用Navier-Stokes方程对演进涡旋进行模拟的动画在网络上疯传，展示了令人印象深刻的流体动力学可视化。
OpenAI 同时使用了约 10,000 个 AI 代理来解决 Navier-Stokes 方程，表明科学进步可能随着计算能力的提升而显著扩展。
OpenAI 声称其未发布的 AI 模型在 88 小时内解决了 Navier-Stokes 千禧年奖问题，但这一宣布引发了关于学术规范和潜在数据使用的争议。
本文总结了支持AI和反对AI在线空间中关于人工智能应用于Navier-Stokes方程的当前辩论。
据报道，OpenAI在证明Navier-Stokes方程时使用了Anthropic的Claude模型，该方程是数学和物理学中的一个重大未解决问题。