{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-09-28T06:03:00.468Z","headline":"Simon Willison 评纳维-斯托克斯千禧年问题求解背后的 OpenAI 与 Anthropic 争议","description":"Simon Willison 评论 OpenAI 用未发布模型在约 88 小时内求解纳维-斯托克斯存在性与光滑性问题，并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证。","url":"https://www.aioga.com/news/cmtts0bi50l1frofpe39el7a1/","mainEntityOfPage":"https://www.aioga.com/news/cmtts0bi50l1frofpe39el7a1/","datePublished":"2026-09-09T07:10:03.000Z","dateModified":"2026-09-09T07:10:03.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://simonwillison.net/2026/Sep/8/on-navier-stokes","https://aihot.news/items/cmtts0bi50l1frofpe39el7a1"],"canonicalUrl":"https://www.aioga.com/news/cmtts0bi50l1frofpe39el7a1/","directAnswer":{"@type":"Answer","text":"Simon Willison称，OpenAI使用未发布模型，在约88小时内给出纳维-斯托克斯存在性与光滑性问题的解答，并由GPT-6 Astra完成17小时的Lean形式化验证。相关成果同时引发学术合作与信息来源争议。","url":"https://www.aioga.com/news/cmtts0bi50l1frofpe39el7a1/","dateCreated":"2026-09-09T07:10:03.000Z","author":{"@type":"Organization","@id":"https://www.aioga.com/authors/aioga-editorial/#editorial-team","name":"Aioga Editorial Team","url":"https://www.aioga.com/authors/aioga-editorial/"}},"evidence":[{"@type":"CreativeWork","name":"simonwillison.net source article","url":"https://simonwillison.net/2026/Sep/8/on-navier-stokes","datePublished":"2026-09-09T07:10:03.000Z","provider":{"@type":"Organization","name":"simonwillison.net","url":"https://simonwillison.net/2026/Sep/8/on-navier-stokes"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.news/items/cmtts0bi50l1frofpe39el7a1","datePublished":"2026-09-09T07:10:03.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.news/items/cmtts0bi50l1frofpe39el7a1"}}],"aggregationSource":"Hacker News 热门（buzzing.cc 中文翻译）","originalPublisher":{"name":"simonwillison.net","url":"https://simonwillison.net/2026/Sep/8/on-navier-stokes"},"geoDeepAnswer":null,"article":{"id":"cmtts0bi50l1frofpe39el7a1","slug":"cmtts0bi50l1frofpe39el7a1","url":"https://www.aioga.com/news/cmtts0bi50l1frofpe39el7a1/","title":"Simon Willison 评纳维-斯托克斯千禧年问题求解背后的 OpenAI 与 Anthropic 争议","title_en":"","summary":"Simon Willison 评论 OpenAI 用未发布模型在约 88 小时内求解纳维-斯托克斯存在性与光滑性问题，并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证。","source":"Hacker News 热门（buzzing.cc 中文翻译）","sourceUrl":"https://simonwillison.net/2026/Sep/8/on-navier-stokes","aiHotUrl":"https://aihot.news/items/cmtts0bi50l1frofpe39el7a1","publishedAt":"2026-09-09T07:10:03.000Z","category":"行业动态","score":72,"selected":true,"articleBody":["On the Navier–Stokes Millennium Prize Problem：https://openai.com/index/navier-stokes-solution/ (via：https://news.ycombinator.com/item?id=49613262) Impressive result from OpenAI, who used an unreleased model to produce a resolution to the Navier–Stokes existence and smoothness problem：https://en.wikipedia.org/wiki/Navier–Stokes_existence_and_smoothness, one of the seven Millennium Prize Problems：https://en.wikipedia.org/wiki/Millennium_Prize_Problems that have been subject to a $1,000,000 prize since May 24th, 2000.","The discovery is somewhat overshadowed by accusations of skulduggery from Tristan Buckmaster, an NYU mathematics professor who was collaborating on related problems with Levent Alpöge, an accomplished mathematician who currently works for Anthropic.","Tristan's complaint accompanied a hastily published version：https://mastodon.social/@tristanbuckmaster/117233413705701198 of their own results. Here's the PDF describing what happened：https://cims.nyu.edu/~tristanb/statement.pdf. The very short version is that Tristan and Levent worked on the problem for almost a year, making extensive use of Claude and Codex (mainly GPT-5.6 Sol), then had a breakthrough on August 15th. The mathematical rumour mill kicked into gear and Tristan and Levent heard that OpenAI had heard that Anthropic had resolved \"a major open problem\", so they reached out and learned that OpenAI had a team working on a related problem, with a similar approach. Quoting Tristan:","I asked when the first prompt had been sent by them. This question was not answered directly by OpenAI for some time. Eventually it was agreed that it had been sent in the past few days, after information about our work had reached OpenAI.","I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer.","It gets more complicated from there. The OpenAI team offered to wait for Tristan to publish, or to have him author a paper about their result, but were clear that Levent would not be invited as a co-author due to OpenAI's competitive relationship with his employer.","Here's how OpenAI described their work:","On Tuesday, September 1, we heard rumors that two Millennium Prize problems had been resolved. Inspired by these rumors and by the step change in performance of our internal model, we launched an effort to evaluate it on all open Millennium Prize problems and a few other high-impact problems. [...]","The agents arrived at their resolution on Saturday, September 5, about 88 hours after the first agents were launched. Lean formalization and verification took an additional 17 hours via GPT‑6 Astra.","Across all attempted problems, the agents sent 4.9 million messages and used about 300 billion output tokens. In the process of resolving the Navier–Stokes problem, the agents sent 2.7 million messages and used approximately 130 billion output tokens.","(We don't know the cost structure of the internal model they used, but 300 billion output tokens at public API prices for GPT-6 Astra would cost $15,000,000：https://www.llm-prices.com/#ot=300000000000&sel=gpt-6-astra.)","Here's where they provide their perspective on Tristan and Levent's work (emphasis mine):","Our effort began on September 1st after hearing a rumor which we later realized was related to Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a math professor at NYU. After the completion of our full project and Lean verification (on September 6th), believing from the rumor they also had a solution of Navier–Stokes, we reached out to them to offer a concurrent release of our result and to recognize their priority in a joint announcement. [...]","We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem. While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models：https://openai.com/policies/how-your-data-is-used-to-improve-model-performance/ . However, our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs unforced).","My interpretation of what happened here is that OpenAI heard that some Millennium Prize problems had been solved using LLMs and saw this as an opportunity to demonstrate the power of their latest model, without thinking too hard about the optics of scooping a team who had been using OpenAI's own models to work on this problem for the best part of a year.","This situation appears to mirror what's happening in the world of computer security right now. Anil Madhavapeddy recently pointed out that Just a rumour of a bug is enough to find a security exploit these days：https://anil.recoil.org/notes/rumour-is-the-exploit, because if someone knows that some software has an unpatched vulnerability, they can set their agents the task of finding it. Is the same now true of mathematics? Just knowing that there is an unpublished solution to a problem might trigger millions of dollars in LLM spending to get there first.","This also highlights one of my ongoing frustrations about how all of this works. When an AI lab says that my data is \"used to improve model performance\", what does that actually mean ?","My two favourite hypothetical questions regarding this used to be:","My new preferred hypothetical for this is:","This is a link post by Simon Willison, posted on 8th September 2026：/2026/Sep/8/.","Sponsor me for $10/month and get a curated email digest of the month's most important LLM developments."],"articleImages":[],"mediaStatus":"none","articleBodyZh":["关于纳维–斯托克斯千禧年奖问题：https://openai.com/index/navier-stokes-solution/ （来源：https://news.ycombinator.com/item?id=49613262）OpenAI 的令人印象深刻的成果，他们使用一个未发布的模型提出了纳维–斯托克斯存在性和平滑性问题的解决方案：https://en.wikipedia.org/wiki/Navier–Stokes_existence_and_smoothness，这是七个千禧年奖问题之一：https://en.wikipedia.org/wiki/Millennium_Prize_Problems，自2000年5月24日起设有100万美元的奖励。","这一发现在一定程度上被Tristan Buckmaster的欺诈指控所掩盖。Tristan Buckmaster是纽约大学的数学教授，他曾与Levent Alpöge合作研究相关问题，Levent Alpöge是一位杰出的数学家，目前在Anthropic工作。","Tristan的投诉伴随着他们自己结果的仓促发布版本：https://mastodon.social/@tristanbuckmaster/117233413705701198。这里有一个PDF描述了事情的经过：https://cims.nyu.edu/~tristanb/statement.pdf。非常简短的版本是，Tristan和Levent几乎花了一年的时间研究这个问题，广泛使用了Claude和Codex（主要是GPT-5.6 Sol），然后在8月15日取得突破。数学界流言四起，Tristan和Levent听说OpenAI得知Anthropic解决了“一个重大未解问题”，于是他们联系了OpenAI，并了解到OpenAI有一个团队在研究相关问题，采用了类似的方法。引用Tristan的话：","我问了他们第一次发送提示的时间。OpenAI在一段时间内没有直接回答这个问题。最终达成的共识是，这个提示是在过去几天发送的，在我们的工作信息到达OpenAI之后。","我问模型是否以我们的Codex会话为训练数据或访问了我们的会话，我们在整个项目中将所有草稿都放入其中。我被告知模型不会查阅用户数据。我再次询问关于训练的问题，但没有得到回答。","事情从这里开始变得更加复杂。OpenAI团队提出可以等待Tristan发表，或者让他为他们的结果撰写论文，但明确表示由于OpenAI与他雇主的竞争关系，Levent将不会被邀请作为合著者。","以下是OpenAI对他们工作的描述：","在9月1日星期二，我们听到有传言称两个千禧年大奖问题已经被解决。受到这些传言和我们内部模型性能飞跃的启发，我们开展了一项工作，对其在所有未解决的千禧年大奖问题以及一些其他高影响力问题上进行评估。[...]","这些智能代理在9月5日星期六得出了它们的解决方案，大约在首批智能代理启动后88小时。通过GPT‑6 Astra进行Lean形式化和验证又花了额外的17小时。","在所有尝试的问题中，智能代理发送了490万条消息，使用了约3000亿个输出标记。在解决纳维–斯托克斯问题的过程中，智能代理发送了270万条消息，使用了大约1300亿个输出标记。","（我们不知道他们使用的内部模型的成本结构，但如果按GPT‑6 Astra的公开API价格计算，3000亿个输出标记将花费1,500万美元：https://www.llm-prices.com/#ot=300000000000&sel=gpt-6-astra。）","这里是他们对Tristan和Levent工作的看法（重点为原文所加）：","我们的工作始于9月1日，在听到一个传言之后，我们后来意识到这与Anthropic员工Levent Alpöge和纽约大学数学教授Tristan Buckmaster有关。在我们完成整个项目和Lean验证（9月6日）之后，基于传言认为他们也有纳维–斯托克斯问题的解决方案，我们联系了他们，提出同时发布我们的结果并在联合公告中承认他们的优先权。[...]","在他们公开发布之前，我们（研究人员和智能代理）没有通过任何途径看到他们的工作——尤其是，没有访问任何特定用户数据来解决这个问题。虽然不太可能，但我们不能排除从他们使用我们产品中产生的去标识化数据可能有助于改进我们的模型：https://openai.com/policies/how-your-data-is-used-to-improve-model-performance/。然而，我们的证明有显著不同，即便在欧拉问题中，准确证明的结果也不同（强迫与非强迫）。","我对这里发生的事情的理解是，OpenAI 听说一些千禧年大奖问题已被使用大型语言模型（LLMs）解决，并将此视为展示其最新模型实力的机会，而没有过多考虑抢先一个已经使用 OpenAI 自己模型解决这个问题接近一年的团队的舆论影响。","这种情况似乎与目前计算机安全领域的状况相呼应。Anil Madhavapeddy 最近指出，如今只要有漏洞的传言就足以找到安全漏洞：https://anil.recoil.org/notes/rumour-is-the-exploit，因为如果有人知道某些软件存在未修补的漏洞，他们就可以让自己的代理去寻找它。数学领域现在也是这样吗？仅仅知道一个问题有未发表的解决方案，就可能引发数百万美元的 LLM 支出以抢先解决它。","这也凸显了我对这一切如何运作的持续困扰之一。当一个 AI 实验室说“我的数据被用来提升模型性能”时，那到底意味着什么？","我过去最喜欢的两个假设性问题是：","我现在对此最喜欢的假设性问题是：","这是 Simon Willison 发布的一篇链接文章，发布于 2026 年 9 月 8 日：/2026/Sep/8/。","每月赞助我 10 美元，即可获得一份经过策划的电子邮件摘要，内容涵盖本月最重要的 LLM 发展。"],"translationStatus":"translated","bodyOrigin":"source-page","editorial":{"summary":"Simon Willison称，OpenAI使用未发布模型，在约88小时内给出纳维-斯托克斯存在性与光滑性问题的解答，并由GPT-6 Astra完成17小时的Lean形式化验证。相关成果同时引发学术合作与信息来源争议。","background":"来源材料称，Tristan Buckmaster与Levent Alpöge曾研究相关问题近一年，并使用Claude和Codex辅助工作，于8月15日取得突破。其后，双方得知OpenAI团队也在处理相关问题，围绕数据访问、提交时间及署名安排产生争议。","viewpoint":"Aioga 判断：这起事件的核心不只在于模型是否给出数学结果，也在于结果能否经过独立审查，以及研究过程中的数据边界、披露方式和署名安排是否足够清晰。","implications":"可能影响：事件可能促使数学研究更重视模型使用记录、训练数据说明和形式化验证的可复核性；但现有材料不足以证明OpenAI使用了相关用户数据，也不代表争议已经得到定论。","nextStep":"后续观察：应关注OpenAI相关论文或说明、数学界对解答的独立审查、Lean验证的公开细节，以及双方对模型训练和用户数据访问问题的进一步回应。","evidenceRefs":["title","summary","articleBody","source"],"status":"published","aiGenerated":true,"autoApproved":true,"generatedBy":"aioga-editorial:gpt-5.6-sol","reviewedBy":"aioga-editorial-review:gpt-5.6-sol","generatedAt":"2026-09-09T07:46:54.615Z","sourceHash":"f13f2fbdc42619dd","review":{"approved":true,"groundedness":95,"clarity":94,"duplicationRisk":10,"blockingIssues":[],"notes":["“Aioga 判断”已明确标示为观点，未冒充事实。","“可能影响”和“后续观察”属于带有适当限定的推测与建议，且未将OpenAI使用相关用户数据表述为已证实事实。","可考虑在正式发布时进一步注明“约88小时”和“17小时”均来自来源摘要，以便读者区分原始声明与独立核验结果。"]},"validation":{"passed":true,"mode":"ai-auto","revisions":0,"checks":["schema","length","source-attribution","editorial-labels","inference-boundary","low-source-overlap","no-html","independent-ai-review"]}},"tags":["行业动态","Hacker News 热门（buzzing.cc 中文翻译）"],"translations":{"zh-CN":{"title":"Simon Willison 评 OpenAI 用未发布模型求解 Navier-Stokes 千禧年大奖难题之争","summary":"OpenAI 用未发布模型在约88小时内给出 Navier-Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT-6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。","category":"行业动态","source":"Simon Willison 博客","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison 评 OpenAI 用未发布模型求解 Navier-Stokes 千禧年大奖难题之争 - Aioga AI资讯","description":"OpenAI 用未发布模型在约88小时内给出 Navier-Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT-6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。","url":"https://www.aioga.com/news/cmtts0bi50l1frofpe39el7a1/","articleBody":["关于纳维–斯托克斯千禧年奖问题：https://openai.com/index/navier-stokes-solution/ （来源：https://news.ycombinator.com/item?id=49613262）OpenAI 的令人印象深刻的成果，他们使用一个未发布的模型提出了纳维–斯托克斯存在性和平滑性问题的解决方案：https://en.wikipedia.org/wiki/Navier–Stokes_existence_and_smoothness，这是七个千禧年奖问题之一：https://en.wikipedia.org/wiki/Millennium_Prize_Problems，自2000年5月24日起设有100万美元的奖励。","这一发现在一定程度上被Tristan Buckmaster的欺诈指控所掩盖。Tristan Buckmaster是纽约大学的数学教授，他曾与Levent Alpöge合作研究相关问题，Levent Alpöge是一位杰出的数学家，目前在Anthropic工作。","Tristan的投诉伴随着他们自己结果的仓促发布版本：https://mastodon.social/@tristanbuckmaster/117233413705701198。这里有一个PDF描述了事情的经过：https://cims.nyu.edu/~tristanb/statement.pdf。非常简短的版本是，Tristan和Levent几乎花了一年的时间研究这个问题，广泛使用了Claude和Codex（主要是GPT-5.6 Sol），然后在8月15日取得突破。数学界流言四起，Tristan和Levent听说OpenAI得知Anthropic解决了“一个重大未解问题”，于是他们联系了OpenAI，并了解到OpenAI有一个团队在研究相关问题，采用了类似的方法。引用Tristan的话：","我问了他们第一次发送提示的时间。OpenAI在一段时间内没有直接回答这个问题。最终达成的共识是，这个提示是在过去几天发送的，在我们的工作信息到达OpenAI之后。","我问模型是否以我们的Codex会话为训练数据或访问了我们的会话，我们在整个项目中将所有草稿都放入其中。我被告知模型不会查阅用户数据。我再次询问关于训练的问题，但没有得到回答。","事情从这里开始变得更加复杂。OpenAI团队提出可以等待Tristan发表，或者让他为他们的结果撰写论文，但明确表示由于OpenAI与他雇主的竞争关系，Levent将不会被邀请作为合著者。","以下是OpenAI对他们工作的描述：","在9月1日星期二，我们听到有传言称两个千禧年大奖问题已经被解决。受到这些传言和我们内部模型性能飞跃的启发，我们开展了一项工作，对其在所有未解决的千禧年大奖问题以及一些其他高影响力问题上进行评估。[...]","这些智能代理在9月5日星期六得出了它们的解决方案，大约在首批智能代理启动后88小时。通过GPT‑6 Astra进行Lean形式化和验证又花了额外的17小时。","在所有尝试的问题中，智能代理发送了490万条消息，使用了约3000亿个输出标记。在解决纳维–斯托克斯问题的过程中，智能代理发送了270万条消息，使用了大约1300亿个输出标记。","（我们不知道他们使用的内部模型的成本结构，但如果按GPT‑6 Astra的公开API价格计算，3000亿个输出标记将花费1,500万美元：https://www.llm-prices.com/#ot=300000000000&sel=gpt-6-astra。）","这里是他们对Tristan和Levent工作的看法（重点为原文所加）：","我们的工作始于9月1日，在听到一个传言之后，我们后来意识到这与Anthropic员工Levent Alpöge和纽约大学数学教授Tristan Buckmaster有关。在我们完成整个项目和Lean验证（9月6日）之后，基于传言认为他们也有纳维–斯托克斯问题的解决方案，我们联系了他们，提出同时发布我们的结果并在联合公告中承认他们的优先权。[...]","在他们公开发布之前，我们（研究人员和智能代理）没有通过任何途径看到他们的工作——尤其是，没有访问任何特定用户数据来解决这个问题。虽然不太可能，但我们不能排除从他们使用我们产品中产生的去标识化数据可能有助于改进我们的模型：https://openai.com/policies/how-your-data-is-used-to-improve-model-performance/。然而，我们的证明有显著不同，即便在欧拉问题中，准确证明的结果也不同（强迫与非强迫）。","我对这里发生的事情的理解是，OpenAI 听说一些千禧年大奖问题已被使用大型语言模型（LLMs）解决，并将此视为展示其最新模型实力的机会，而没有过多考虑抢先一个已经使用 OpenAI 自己模型解决这个问题接近一年的团队的舆论影响。","这种情况似乎与目前计算机安全领域的状况相呼应。Anil Madhavapeddy 最近指出，如今只要有漏洞的传言就足以找到安全漏洞：https://anil.recoil.org/notes/rumour-is-the-exploit，因为如果有人知道某些软件存在未修补的漏洞，他们就可以让自己的代理去寻找它。数学领域现在也是这样吗？仅仅知道一个问题有未发表的解决方案，就可能引发数百万美元的 LLM 支出以抢先解决它。","这也凸显了我对这一切如何运作的持续困扰之一。当一个 AI 实验室说“我的数据被用来提升模型性能”时，那到底意味着什么？","我过去最喜欢的两个假设性问题是：","我现在对此最喜欢的假设性问题是：","这是 Simon Willison 发布的一篇链接文章，发布于 2026 年 9 月 8 日：/2026/Sep/8/。","每月赞助我 10 美元，即可获得一份经过策划的电子邮件摘要，内容涵盖本月最重要的 LLM 发展。"]},"en":{"title":"Simon Willison comments on the OpenAI-Anthropic controversy behind Navi-Stokes' Millennium Problem","summary":"Simon Willison commented that OpenAI solved the Navi-Stokes existence and smoothness problem in about 88 hours using an unpublished model, and completed a 17-hour Lean formal validation with GPT-6 Astra.","category":"Industry","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison comments on the OpenAI-Anthropic controversy behind Navi-Stokes' Millennium Problem - Aioga AI News","description":"Simon Willison commented that OpenAI solved the Navi-Stokes existence and smoothness problem in about 88 hours using an unpublished model, and completed a 17-hour Lean formal valid...","url":"https://www.aioga.com/en/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:20.385Z"},"ja":{"title":"サイモン・ウィリソンが、Navi-Stokesのミレニアム問題をめぐるOpenAIとAnthropicの論争についてコメント","summary":"サイモン・ウィリソンは、OpenAIが未発表モデルを用いてNavi-Stokesの存在と滑らかさの問題を約88時間で解決し、GPT-6 Astraを用いた17時間に及ぶリーン形式検証を完了したとコメントしました。","category":"業界動向","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"サイモン・ウィリソンが、Navi-Stokesのミレニアム問題をめぐるOpenAIとAnthropicの論争についてコメント - Aioga AIニュース","description":"サイモン・ウィリソンは、OpenAIが未発表モデルを用いてNavi-Stokesの存在と滑らかさの問題を約88時間で解決し、GPT-6 Astraを用いた17時間に及ぶリーン形式検証を完了したとコメントしました。","url":"https://www.aioga.com/ja/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:21.213Z"},"ko":{"title":"사이먼 윌리슨이 Navi-Stokes의 밀레니엄 문제를 둘러싼 OpenAI-Anthropic 논란에 대해 언급하다","summary":"사이먼 윌리슨은 OpenAI가 미공개 모델을 사용해 약 88시간 만에 Navi-Stokes 존재 및 부드러움 문제를 해결했으며, GPT-6 Astra로 17시간에 걸친 린 형식 검증을 완료했다고 언급했습니다.","category":"업계 동향","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"사이먼 윌리슨이 Navi-Stokes의 밀레니엄 문제를 둘러싼 OpenAI-Anthropic 논란에 대해 언급하다 - Aioga AI 뉴스","description":"사이먼 윌리슨은 OpenAI가 미공개 모델을 사용해 약 88시간 만에 Navi-Stokes 존재 및 부드러움 문제를 해결했으며, GPT-6 Astra로 17시간에 걸친 린 형식 검증을 완료했다고 언급했습니다.","url":"https://www.aioga.com/ko/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:30.336Z"},"es":{"title":"Simon Willison comenta sobre la controversia OpenAI-Anthropic detrás del Problema del Milenio de Navi-Stokes","summary":"Simon Willison comentó que OpenAI resolvió el problema de existencia y suavidad de Navi-Stokes en unas 88 horas usando un modelo no publicado, y completó una validación formal Lean de 17 horas con GPT-6 Astra.","category":"Industria","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison comenta sobre la controversia OpenAI-Anthropic detrás del Problema del Milenio de Navi-Stokes - Aioga Noticias de IA","description":"Simon Willison comentó que OpenAI resolvió el problema de existencia y suavidad de Navi-Stokes en unas 88 horas usando un modelo no publicado, y completó una validación formal Lean...","url":"https://www.aioga.com/es/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:30.351Z"},"fr":{"title":"Simon Willison commente la controverse OpenAI-Anthropic entourant le problème du millénaire de Navi-Stokes","summary":"Simon Willison a commenté qu’OpenAI a résolu le problème d’existence et de fluidité de Navi-Stokes en environ 88 heures à l’aide d’un modèle non publié, et a réalisé une validation formelle Lean de 17 heures avec GPT-6 Astra.","category":"Industrie","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison commente la controverse OpenAI-Anthropic entourant le problème du millénaire de Navi-Stokes - Aioga Actualités IA","description":"Simon Willison a commenté qu’OpenAI a résolu le problème d’existence et de fluidité de Navi-Stokes en environ 88 heures à l’aide d’un modèle non publié, et a réalisé une validation...","url":"https://www.aioga.com/fr/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:39.798Z"},"de":{"title":"Simon Willison kommentiert die OpenAI-Anthropic-Kontroverse hinter Navi-Stokes' Millennium Problem","summary":"Simon Willison kommentierte, dass OpenAI das Navi-Stokes-Existenz- und Smoothness-Problem in etwa 88 Stunden mit einem unveröffentlichten Modell gelöst und eine 17-stündige Lean-formale Validierung mit GPT-6 Astra abgeschlossen habe.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison kommentiert die OpenAI-Anthropic-Kontroverse hinter Navi-Stokes' Millennium Problem - Aioga KI-News","description":"Simon Willison kommentierte, dass OpenAI das Navi-Stokes-Existenz- und Smoothness-Problem in etwa 88 Stunden mit einem unveröffentlichten Modell gelöst und eine 17-stündige Lean-fo...","url":"https://www.aioga.com/de/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:39.337Z"},"pt-BR":{"title":"Simon Willison comenta sobre a controvérsia OpenAI-Anthropic por trás do Problema do Milênio de Navi-Stokes","summary":"Simon Willison comentou que a OpenAI resolveu o problema de existência e fluidez do Navi-Stokes em cerca de 88 horas usando um modelo não publicado, e completou uma validação formal Lean de 17 horas com o GPT-6 Astra.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison comenta sobre a controvérsia OpenAI-Anthropic por trás do Problema do Milênio de Navi-Stokes - Aioga Notícias de IA","description":"Simon Willison comentou que a OpenAI resolveu o problema de existência e fluidez do Navi-Stokes em cerca de 88 horas usando um modelo não publicado, e completou uma validação forma...","url":"https://www.aioga.com/pt-BR/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:48.762Z"},"ru":{"title":"Саймон Уиллисон комментирует спор между OpenAI и Anthropic, связанный с проблемой тысячелетия Navi-Stokes","summary":"Саймон Уиллисон отметил, что OpenAI решил проблему существования и гладкости Нави-Стокса примерно за 88 часов с использованием неопубликованной модели и завершил 17-часовую формальную валидацию Lean с помощью GPT-6 Astra.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Саймон Уиллисон комментирует спор между OpenAI и Anthropic, связанный с проблемой тысячелетия Navi-Stokes - Aioga Новости ИИ","description":"Саймон Уиллисон отметил, что OpenAI решил проблему существования и гладкости Нави-Стокса примерно за 88 часов с использованием неопубликованной модели и завершил 17-часовую формаль...","url":"https://www.aioga.com/ru/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:49.072Z"},"ar":{"title":"تعليق سايمون ويليسون على الجدل حول OpenAI-Anthropic وراء مشكلة الألفية التي طرحتها نافي-ستوكس","summary":"علق سايمون ويليسون بأن OpenAI حلت مشكلة وجود نافي-ستوكس ونعومتها في حوالي 88 ساعة باستخدام نموذج غير منشور، وأكملت تحققا رسميا Lean لمدة 17 ساعة باستخدام GPT-6 Astra.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"تعليق سايمون ويليسون على الجدل حول OpenAI-Anthropic وراء مشكلة الألفية التي طرحتها نافي-ستوكس - Aioga أخبار الذكاء الاصطناعي","description":"علق سايمون ويليسون بأن OpenAI حلت مشكلة وجود نافي-ستوكس ونعومتها في حوالي 88 ساعة باستخدام نموذج غير منشور، وأكملت تحققا رسميا Lean لمدة 17 ساعة باستخدام GPT-6 Astra.","url":"https://www.aioga.com/ar/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:58.366Z"},"hi":{"title":"साइमन विलिसन ने नवी-स्टोक्स की मिलेनियम समस्या के पीछे ओपनएआई-एंथ्रोपिक विवाद पर टिप्पणी की","summary":"साइमन विलिसन ने टिप्पणी की कि OpenAI ने एक अप्रकाशित मॉडल का उपयोग करके लगभग 88 घंटों में नेवी-स्टोक्स के अस्तित्व और चिकनाई की समस्या को हल कर दिया, और GPT-17 एस्ट्रा के साथ 6 घंटे का लीन औपचारिक सत्यापन पूरा किया।","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"साइमन विलिसन ने नवी-स्टोक्स की मिलेनियम समस्या के पीछे ओपनएआई-एंथ्रोपिक विवाद पर टिप्पणी की - Aioga AI समाचार","description":"साइमन विलिसन ने टिप्पणी की कि OpenAI ने एक अप्रकाशित मॉडल का उपयोग करके लगभग 88 घंटों में नेवी-स्टोक्स के अस्तित्व और चिकनाई की समस्या को हल कर दिया, और GPT-17 एस्ट्रा के साथ 6 घंट...","url":"https://www.aioga.com/hi/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:41:58.303Z"},"it":{"title":"Simon Willison commenta la controversia OpenAI-Anthropic dietro il Millennium Problem di Navi-Stokes","summary":"Simon Willison ha commentato che OpenAI ha risolto il problema di esistenza e fluidità di Navi-Stokes in circa 88 ore utilizzando un modello non pubblicato, completando una validazione formale Lean di 17 ore con GPT-6 Astra.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison commenta la controversia OpenAI-Anthropic dietro il Millennium Problem di Navi-Stokes - Aioga Notizie IA","description":"Simon Willison ha commentato che OpenAI ha risolto il problema di esistenza e fluidità di Navi-Stokes in circa 88 ore utilizzando un modello non pubblicato, completando una validaz...","url":"https://www.aioga.com/it/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:42:07.224Z"},"nl":{"title":"Simon Willison geeft commentaar op de OpenAI-Anthropic-controverse achter Navi-Stokes' Millenniumprobleem","summary":"Simon Willison merkte op dat OpenAI het Navi-Stokes-bestaans- en soepelheidsprobleem in ongeveer 88 uur oploste met een ongepubliceerd model, en een formele Lean-validatie van 17 uur met GPT-6 Astra voltooide.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison geeft commentaar op de OpenAI-Anthropic-controverse achter Navi-Stokes' Millenniumprobleem - Aioga AI-nieuws","description":"Simon Willison merkte op dat OpenAI het Navi-Stokes-bestaans- en soepelheidsprobleem in ongeveer 88 uur oploste met een ongepubliceerd model, en een formele Lean-validatie van 17 u...","url":"https://www.aioga.com/nl/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:42:07.576Z"},"tr":{"title":"Simon Willison, Navi-Stokes'un Millennium Problemi arkasındaki OpenAI-Anthropic tartışması hakkında yorum yapıyor","summary":"Simon Willison, OpenAI'nin Navi-Stokes varlık ve düzgünlülük sorununu yayımlanmamış bir model kullanarak yaklaşık 88 saatte çözdüğünü ve GPT-6 Astra ile 17 saatlik Lean resmi doğrulamasını tamamladığını belirtti.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison, Navi-Stokes'un Millennium Problemi arkasındaki OpenAI-Anthropic tartışması hakkında yorum yapıyor - Aioga AI Haberleri","description":"Simon Willison, OpenAI'nin Navi-Stokes varlık ve düzgünlülük sorununu yayımlanmamış bir model kullanarak yaklaşık 88 saatte çözdüğünü ve GPT-6 Astra ile 17 saatlik Lean resmi doğru...","url":"https://www.aioga.com/tr/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:42:16.719Z"},"vi":{"title":"Simon Willison bình luận về tranh cãi OpenAI-Anthropic đằng sau Vấn đề Thiên niên kỷ của Navi-Stokes","summary":"Simon Willison nhận xét rằng OpenAI đã giải được vấn đề tồn tại và mượt mà của Navi-Stokes trong khoảng 88 giờ sử dụng một mô hình chưa công bố, và hoàn thành một quá trình xác thực chính thức Lean kéo dài 17 giờ với GPT-6 Astra.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison bình luận về tranh cãi OpenAI-Anthropic đằng sau Vấn đề Thiên niên kỷ của Navi-Stokes - Tin tức AI Aioga","description":"Simon Willison nhận xét rằng OpenAI đã giải được vấn đề tồn tại và mượt mà của Navi-Stokes trong khoảng 88 giờ sử dụng một mô hình chưa công bố, và hoàn thành một quá trình xác thự...","url":"https://www.aioga.com/vi/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:42:16.801Z"},"id":{"title":"Simon Willison berkomentar tentang kontroversi OpenAI-Anthropic di balik Masalah Milenium Navi-Stokes","summary":"Simon Willison berkomentar bahwa OpenAI menyelesaikan masalah keberadaan dan kelancaran Navi-Stokes dalam waktu sekitar 88 jam menggunakan model yang belum dipublikasikan, dan menyelesaikan validasi formal Lean selama 17 jam dengan GPT-6 Astra.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison berkomentar tentang kontroversi OpenAI-Anthropic di balik Masalah Milenium Navi-Stokes - Berita AI Aioga","description":"Simon Willison berkomentar bahwa OpenAI menyelesaikan masalah keberadaan dan kelancaran Navi-Stokes dalam waktu sekitar 88 jam menggunakan model yang belum dipublikasikan, dan meny...","url":"https://www.aioga.com/id/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:42:25.808Z"},"th":{"title":"ไซมอน วิลลิสัน แสดงความคิดเห็นเกี่ยวกับข้อถกเถียงระหว่าง OpenAI กับมานุษยศาสตร์เบื้องหลังปัญหามิลเลนเนียมของนาวี-สโต๊คส์","summary":"Simon Willison แสดงความคิดเห็นว่า OpenAI แก้ปัญหาการมีอยู่และความลื่นไหลของ Navi-Stokes ได้ภายในเวลาประมาณ 88 ชั่วโมงโดยใช้โมเดลที่ยังไม่ได้เผยแพร่ และเสร็จสิ้นการตรวจสอบความถูกต้องแบบ Lean อย่างเป็นทางการเป็นเวลา 17 ชั่วโมงด้วย GPT-6 Astra","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"ไซมอน วิลลิสัน แสดงความคิดเห็นเกี่ยวกับข้อถกเถียงระหว่าง OpenAI กับมานุษยศาสตร์เบื้องหลังปัญหามิลเลนเนียมของนาวี-สโต๊คส์ - ข่าว AI Aioga","description":"Simon Willison แสดงความคิดเห็นว่า OpenAI แก้ปัญหาการมีอยู่และความลื่นไหลของ Navi-Stokes ได้ภายในเวลาประมาณ 88 ชั่วโมงโดยใช้โมเดลที่ยังไม่ได้เผยแพร่ และเสร็จสิ้นการตรวจสอบความถูกต้อ...","url":"https://www.aioga.com/th/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:42:26.118Z"},"pl":{"title":"Simon Willison komentuje kontrowersje OpenAI i Antropic stojące za problemem Milenijnym Navi-Stokesa","summary":"Simon Willison skomentował, że OpenAI rozwiązało problem istnienia i płynności Navi-Stokesa w około 88 godzin, korzystając z nieopublikowanego modelu, oraz przeprowadziło 17-godzinną formalną walidację Lean za pomocą GPT-6 Astry.","category":"行业动态","source":"Hacker News 热门（buzzing.cc 中文翻译）","aggregationSource":"Simon Willison 博客","pageTitle":"Simon Willison komentuje kontrowersje OpenAI i Antropic stojące za problemem Milenijnym Navi-Stokesa - Aioga Wiadomości AI","description":"Simon Willison skomentował, że OpenAI rozwiązało problem istnienia i płynności Navi-Stokesa w około 88 godzin, korzystając z nieopublikowanego modelu, oraz przeprowadziło 17-godzin...","url":"https://www.aioga.com/pl/news/cmtts0bi50l1frofpe39el7a1/","contentTranslated":true,"sourceHash":"2ad0879a56a2b952","translatedAt":"2026-09-09T07:42:35.159Z"}},"evidenceTier":"verified-news","reviewStatus":"editorial-selected","indexable":true,"editorialCover":"/page-visuals/topic-timeline.png"}}