论纳维-斯托克斯千年奖问题

【HN用户评论摘要】 似乎其他一些数学家（不隶属于 openAI）也（或接近）做到了这一点。其中一人发布了一份关于周围事件的声明：https://cims.nyu.edu/%7Etristanb/statement.pdf 还有陶渊明的帖子：https://mathstodon.xyz/@tao/117233528517340774 这场闹剧背后隐藏的事实是，OpenAI 声称，他们训练了不到两周的内部模型的数学能力是一周前才公开的 Astra 的两倍多。 即使这种进步仅限于数学，这也是一项令人震惊的壮举。 这是据称基于别人的实际工作和提示的吗？https://news.ycombinator.com/item?id=49605915https://bsky.app/profile/quantian.bsky.social/post/3muyhwbcd...https://cims.nyu.edu/~tristanb/statement.pdf 我的看法：1。它展示了这一波人工智能实际上可以做什么。2。我希望它是由不同的人完成的，最好是在某种公共控制下，例如 NASA 研究或 NPR 模型。3。请记住：自然科学是不同的。这并不总是计算问题。计算机科学工作者经常为此苦苦挣扎——但这个虚拟世界实际上并不存在。一切都是物理的，包括信息。任何自然科学博士或其他人都知道自然实际上有多么复杂 > 我们正在分享纳维-斯托克斯存在性和平滑性问题的解决方案，该问题是千年奖问题之一。该证明由内部 OpenAI 系统生成，表明流体运动的纳维-斯托克斯方程的动力学可以在有限时间内产生奇点。我们正在分享 Lean.WOW 中的证明文章和形式化？ 原始链接：https://openai.com/index/navier-stokes-solution/