{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-09-28T06:03:00.468Z","headline":"Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明","description":"Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。","url":"https://www.aioga.com/news/cmttwq6oy0pybrofphae4ykhb/","mainEntityOfPage":"https://www.aioga.com/news/cmttwq6oy0pybrofphae4ykhb/","datePublished":"2026-09-09T09:17:53.000Z","dateModified":"2026-09-09T09:17:53.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://x.com/Thom_Wolf/status/2097615465698713666","https://aihot.news/items/cmttwq6oy0pybrofphae4ykhb"],"canonicalUrl":"https://www.aioga.com/news/cmttwq6oy0pybrofphae4ykhb/","directAnswer":{"@type":"Answer","text":"公开材料显示，Thomas Wolf 对 OpenAI 下一代模型 agent 群组关于 Navier-Stokes 千禧年问题猜想为假的结果表示印象深刻；标题同时称 AI 数学尚未被解决。","url":"https://www.aioga.com/news/cmttwq6oy0pybrofphae4ykhb/","dateCreated":"2026-09-09T09:17:53.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":"@Thom_Wolf) source article","url":"https://x.com/Thom_Wolf/status/2097615465698713666","datePublished":"2026-09-09T09:17:53.000Z","provider":{"@type":"Organization","name":"@Thom_Wolf)","url":"https://x.com/Thom_Wolf/status/2097615465698713666"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.news/items/cmttwq6oy0pybrofphae4ykhb","datePublished":"2026-09-09T09:17:53.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.news/items/cmttwq6oy0pybrofphae4ykhb"}}],"aggregationSource":"@Thom_Wolf)","originalPublisher":{"name":"@Thom_Wolf)","url":"https://x.com/Thom_Wolf/status/2097615465698713666"},"geoDeepAnswer":null,"article":{"id":"cmttwq6oy0pybrofphae4ykhb","slug":"cmttwq6oy0pybrofphae4ykhb","url":"https://www.aioga.com/news/cmttwq6oy0pybrofphae4ykhb/","title":"Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明","title_en":"","summary":"Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。","source":"@Thom_Wolf)","sourceUrl":"https://x.com/Thom_Wolf/status/2097615465698713666","aiHotUrl":"https://aihot.news/items/cmttwq6oy0pybrofphae4ykhb","publishedAt":"2026-09-09T09:17:53.000Z","category":"行业动态","score":72,"selected":true,"articleBody":["Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。"],"articleImages":[],"mediaStatus":"none","articleBodyZh":["Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明 这条更新来自 x.com，发布时间为 2026-09-09，Aioga 保留原文入口以便核验。","摘要：Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。","背景：材料将该结果描述为对 Navier-Stokes 猜想的否定性结论，并称所涉模型强于 GPT-6 Astra。标题进一步指出，这一结果更接近反例搜索，而非完整证明。","Aioga 观察：Aioga 判断：来源同时包含积极评价与性质限定，表明“令人印象深刻”不等于完成完整证明。仅凭现有摘录，不能将该事件概括为 AI 已经解决数学问题。","影响与后续：可能影响：该案例可能促使外界区分反例搜索、猜想为假与完整证明。现有材料不足以确认具体推导、验证方式或结果是否可复现，因此不代表 AI 数学能力已经得到确定性证明。 后续观察：应继续关注相关方是否公开反例内容、推导过程及验证信息；在来源补充这些材料前，报道需要保留“反例搜索”与“完整证明”之间的区别。"],"translationStatus":"","bodyOrigin":"social-summary","editorial":{"summary":"公开材料显示，Thomas Wolf 对 OpenAI 下一代模型 agent 群组关于 Navier-Stokes 千禧年问题猜想为假的结果表示印象深刻；标题同时称 AI 数学尚未被解决。","background":"材料将该结果描述为对 Navier-Stokes 猜想的否定性结论，并称所涉模型强于 GPT-6 Astra。标题进一步指出，这一结果更接近反例搜索，而非完整证明。","viewpoint":"Aioga 判断：来源同时包含积极评价与性质限定，表明“令人印象深刻”不等于完成完整证明。仅凭现有摘录，不能将该事件概括为 AI 已经解决数学问题。","implications":"可能影响：该案例可能促使外界区分反例搜索、猜想为假与完整证明。现有材料不足以确认具体推导、验证方式或结果是否可复现，因此不代表 AI 数学能力已经得到确定性证明。","nextStep":"后续观察：应继续关注相关方是否公开反例内容、推导过程及验证信息；在来源补充这些材料前，报道需要保留“反例搜索”与“完整证明”之间的区别。","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-09T10:07:15.203Z","sourceHash":"9871fa3345cf5cdc","review":{"approved":true,"groundedness":91,"clarity":86,"duplicationRisk":18,"blockingIssues":[],"notes":["“Aioga 判断”属于编辑归纳，可考虑改为更中性的表述以减少主体混淆。","“Navier-Stokes 千禧年问题猜想”等表述略显生硬，但属于措辞优化，不影响事实准确性。"]},"validation":{"passed":true,"mode":"ai-auto","revisions":1,"checks":["schema","length","source-attribution","editorial-labels","inference-boundary","low-source-overlap","no-html","independent-ai-review"]}},"tags":["行业动态","@Thom_Wolf)"],"translations":{"zh-CN":{"title":"Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明","summary":"Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明 - Aioga AI资讯","description":"Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。","url":"https://www.aioga.com/news/cmttwq6oy0pybrofphae4ykhb/","articleBody":["Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明 这条更新来自 x.com，发布时间为 2026-09-09，Aioga 保留原文入口以便核验。","摘要：Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。","背景：材料将该结果描述为对 Navier-Stokes 猜想的否定性结论，并称所涉模型强于 GPT-6 Astra。标题进一步指出，这一结果更接近反例搜索，而非完整证明。","Aioga 观察：Aioga 判断：来源同时包含积极评价与性质限定，表明“令人印象深刻”不等于完成完整证明。仅凭现有摘录，不能将该事件概括为 AI 已经解决数学问题。","影响与后续：可能影响：该案例可能促使外界区分反例搜索、猜想为假与完整证明。现有材料不足以确认具体推导、验证方式或结果是否可复现，因此不代表 AI 数学能力已经得到确定性证明。 后续观察：应继续关注相关方是否公开反例内容、推导过程及验证信息；在来源补充这些材料前，报道需要保留“反例搜索”与“完整证明”之间的区别。"]},"en":{"title":"Thomas Wolf believes AI mathematics has not yet been solved, and Navier-Stokes results are more like counterexample searches than complete proofs","summary":"Hugging Face co-founder Thomas Wolf responded to OpenAI's claim that its next-generation models (stronger than GPT-6 Astra) agent group proved the Navier-Stokes Millennium Problem conjecture false, calling the result impressive.","category":"Industry","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf believes AI mathematics has not yet been solved, and Navier-Stokes results are more like counterexample searches than complete proofs - Aioga AI News","description":"Hugging Face co-founder Thomas Wolf responded to OpenAI's claim that its next-generation models (stronger than GPT-6 Astra) agent group proved the Navier-Stokes Millennium Problem...","url":"https://www.aioga.com/en/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:21.933Z"},"ja":{"title":"トーマス・ウルフは AI 数学はまだ解決されておらず、ナビエ–ストークスの結果は完全な証明ではなく反例探索に近いと考えている","summary":"Hugging Face の共同創業者トーマス・ウルフは、OpenAI が次世代モデル（GPT-6 Astra より強力）を使ったエージェント群でナビエ–ストークスのミレニアム問題の予想が偽であることを証明した結果に対して、これは印象的だとコメントした。","category":"業界動向","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"トーマス・ウルフは AI 数学はまだ解決されておらず、ナビエ–ストークスの結果は完全な証明ではなく反例探索に近いと考えている - Aioga AIニュース","description":"Hugging Face の共同創業者トーマス・ウルフは、OpenAI が次世代モデル（GPT-6 Astra より強力）を使ったエージェント群でナビエ–ストークスのミレニアム問題の予想が偽であることを証明した結果に対して、これは印象的だとコメントした。","url":"https://www.aioga.com/ja/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:24.847Z"},"ko":{"title":"Thomas Wolf, AI 수학은 아직 해결되지 않았으며 Navier-Stokes 결과는 완전한 증명보다는 반례 검색에 더 가깝다고 평가","summary":"Hugging Face 공동 창립자 Thomas Wolf는 OpenAI가 차세대 모델(GPT-6 Astra보다 강력)의 에이전트 그룹으로 Navier-Stokes 밀레니엄 문제 추측이 잘못되었음을 증명한 결과에 대해 인상적이라고 평가했습니다.","category":"업계 동향","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf, AI 수학은 아직 해결되지 않았으며 Navier-Stokes 결과는 완전한 증명보다는 반례 검색에 더 가깝다고 평가 - Aioga AI 뉴스","description":"Hugging Face 공동 창립자 Thomas Wolf는 OpenAI가 차세대 모델(GPT-6 Astra보다 강력)의 에이전트 그룹으로 Navier-Stokes 밀레니엄 문제 추측이 잘못되었음을 증명한 결과에 대해 인상적이라고 평가했습니다.","url":"https://www.aioga.com/ko/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:31.173Z"},"es":{"title":"Thomas Wolf considera que la IA en matemáticas aún no está resuelta, y que los resultados de Navier-Stokes se parecen más a una búsqueda de contraejemplos que a una prueba completa","summary":"Thomas Wolf, cofundador de Hugging Face, respondió respecto a los resultados de OpenAI usando un grupo de agentes del modelo de próxima generación (más fuerte que GPT-6 Astra) que demostró que la conjetura del milenio de Navier-Stokes es falsa, calificándolo de impresionante.","category":"Industria","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf considera que la IA en matemáticas aún no está resuelta, y que los resultados de Navier-Stokes se parecen más a una búsqueda de contraejemplos que a una prueba completa - Aioga Noticias de IA","description":"Thomas Wolf, cofundador de Hugging Face, respondió respecto a los resultados de OpenAI usando un grupo de agentes del modelo de próxima generación (más fuerte que GPT-6 Astra) que...","url":"https://www.aioga.com/es/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:31.376Z"},"fr":{"title":"Thomas Wolf estime que les mathématiques de l’IA ne sont pas encore résolues, les résultats de Navier-Stokes ressemblant davantage à une recherche de contre-exemples qu’à une démonstration complète","summary":"Thomas Wolf, co-fondateur de Hugging Face, a réagi aux résultats d’OpenAI utilisant une génération suivante de modèles (plus puissants que GPT-6 Astra) avec un groupe d’agents qui prouverait que la conjecture du millénaire de Navier-Stokes est fausse, jugeant le résultat impressionnant.","category":"Industrie","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf estime que les mathématiques de l’IA ne sont pas encore résolues, les résultats de Navier-Stokes ressemblant davantage à une recherche de contre-exemples qu’à une démonstration complète - Aioga Actualités IA","description":"Thomas Wolf, co-fondateur de Hugging Face, a réagi aux résultats d’OpenAI utilisant une génération suivante de modèles (plus puissants que GPT-6 Astra) avec un groupe d’agents qui...","url":"https://www.aioga.com/fr/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:37.500Z"},"de":{"title":"Thomas Wolf ist der Ansicht, dass die KI-Mathematik noch nicht gelöst ist, und das Navier-Stokes-Ergebnis ist eher eine Gegenbeispielsuche als ein vollständiger Beweis","summary":"Thomas Wolf, Mitbegründer von Hugging Face, reagierte auf OpenAIs Beweis der Navier-Stokes-Millennium-Problem-Hypothese mit einem Next-Generation-Modell (stärker als GPT-6 Astra) Agentengruppen und bezeichnete es als beeindruckend.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf ist der Ansicht, dass die KI-Mathematik noch nicht gelöst ist, und das Navier-Stokes-Ergebnis ist eher eine Gegenbeispielsuche als ein vollständiger Beweis - Aioga KI-News","description":"Thomas Wolf, Mitbegründer von Hugging Face, reagierte auf OpenAIs Beweis der Navier-Stokes-Millennium-Problem-Hypothese mit einem Next-Generation-Modell (stärker als GPT-6 Astra) A...","url":"https://www.aioga.com/de/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:40.528Z"},"pt-BR":{"title":"Thomas Wolf considera que a matemática da IA ainda não foi resolvida e que os resultados de Navier-Stokes se parecem mais com buscas por contraexemplos do que com provas completas","summary":"Thomas Wolf, cofundador da Hugging Face, respondeu aos resultados da OpenAI usando a próxima geração de modelos (mais forte que o GPT-6 Astra), em que grupos de agentes provaram que a conjectura do milênio Navier-Stokes é falsa, dizendo que os resultados são impressionantes.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf considera que a matemática da IA ainda não foi resolvida e que os resultados de Navier-Stokes se parecem mais com buscas por contraexemplos do que com provas completas - Aioga Notícias de IA","description":"Thomas Wolf, cofundador da Hugging Face, respondeu aos resultados da OpenAI usando a próxima geração de modelos (mais forte que o GPT-6 Astra), em que grupos de agentes provaram qu...","url":"https://www.aioga.com/pt-BR/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:47.639Z"},"ru":{"title":"Томас Вольф считает, что математика ИИ ещё не решена, а результаты по уравнениям Навье–Стокса больше похожи на поиск контрпримеров, а не полноценное доказательство","summary":"Сооснователь Hugging Face Томас Вольф прокомментировал результат OpenAI, где группа агентов с использованием следующего поколения моделей (мощнее GPT-6 Astra) доказала ложность гипотезы тысячелетнего уравнения Навье–Стокса, назвав это впечатляющим.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Томас Вольф считает, что математика ИИ ещё не решена, а результаты по уравнениям Навье–Стокса больше похожи на поиск контрпримеров, а не полноценное доказательство - Aioga Новости ИИ","description":"Сооснователь Hugging Face Томас Вольф прокомментировал результат OpenAI, где группа агентов с использованием следующего поколения моделей (мощнее GPT-6 Astra) доказала ложность гип...","url":"https://www.aioga.com/ru/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:47.643Z"},"ar":{"title":"يعتقد توماس وولف أن رياضيات الذكاء الاصطناعي لم تحل بعد، ونتيجة نافير-ستوكس أشبه ببحث عن أمثلة مضادة أكثر منها برهان كامل","summary":"رد توماس وولف، المؤسس المشارك ل Hugging Face، على إثبات OpenAI لفرضية مشكلة الألفية نافير-ستوكس باستخدام نموذج الجيل القادم (أقوى من GPT-6 Astra)، واصفا إياه بأنه مثير للإعجاب.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"يعتقد توماس وولف أن رياضيات الذكاء الاصطناعي لم تحل بعد، ونتيجة نافير-ستوكس أشبه ببحث عن أمثلة مضادة أكثر منها برهان كامل - Aioga أخبار الذكاء الاصطناعي","description":"رد توماس وولف، المؤسس المشارك ل Hugging Face، على إثبات OpenAI لفرضية مشكلة الألفية نافير-ستوكس باستخدام نموذج الجيل القادم (أقوى من GPT-6 Astra)، واصفا إياه بأنه مثير للإعجاب.","url":"https://www.aioga.com/ar/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:56.771Z"},"hi":{"title":"थॉमस वुल्फ का मानना है कि एआई गणित अभी तक हल नहीं हुआ है, और नेवियर-स्टोक्स परिणाम एक पूर्ण प्रमाण की तुलना में एक प्रति-उदाहरण खोज की तरह अधिक है","summary":"हगिंग फेस के सह-संस्थापक थॉमस वुल्फ ने अगली पीढ़ी के मॉडल (GPT-6 एस्ट्रा से मजबूत) एजेंट समूहों के साथ नेवियर-स्टोक्स मिलेनियम समस्या परिकल्पना को साबित करने के लिए OpenAI का जवाब दिया, इसे प्रभावशाली कहा।","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"थॉमस वुल्फ का मानना है कि एआई गणित अभी तक हल नहीं हुआ है, और नेवियर-स्टोक्स परिणाम एक पूर्ण प्रमाण की तुलना में एक प्रति-उदाहरण खोज की तरह अधिक है - Aioga AI समाचार","description":"हगिंग फेस के सह-संस्थापक थॉमस वुल्फ ने अगली पीढ़ी के मॉडल (GPT-6 एस्ट्रा से मजबूत) एजेंट समूहों के साथ नेवियर-स्टोक्स मिलेनियम समस्या परिकल्पना को साबित करने के लिए OpenAI का जवाब...","url":"https://www.aioga.com/hi/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:01:56.794Z"},"it":{"title":"Thomas Wolf ritiene che la matematica dell'IA debba ancora essere risolta, e il risultato di Navier-Stokes sia più simile a una ricerca controesempi che a una dimostrazione completa","summary":"Thomas Wolf, cofondatore di Hugging Face, ha risposto alla dimostrazione da parte di OpenAI dell'ipotesi del Problema del Millennio di Navier-Stokes con un modello di nuova generazione (più forte di GPT-6 Astra), definendolo impressionante.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf ritiene che la matematica dell'IA debba ancora essere risolta, e il risultato di Navier-Stokes sia più simile a una ricerca controesempi che a una dimostrazione completa - Aioga Notizie IA","description":"Thomas Wolf, cofondatore di Hugging Face, ha risposto alla dimostrazione da parte di OpenAI dell'ipotesi del Problema del Millennio di Navier-Stokes con un modello di nuova generaz...","url":"https://www.aioga.com/it/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:02:05.920Z"},"nl":{"title":"Thomas Wolf stelt dat AI-wiskunde nog niet is opgelost, Navier-Stokes-resultaten lijken meer op tegenvoorbeelden zoeken dan op volledige bewijsvoering","summary":"Hugging Face mede-oprichter Thomas Wolf reageert op de resultaten van OpenAI waarbij een groep agenten van het volgende generatie model (sterker dan GPT-6 Astra) de millenniumprobleemconjectuur van Navier-Stokes weerlegt, en noemt het indrukwekkend.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf stelt dat AI-wiskunde nog niet is opgelost, Navier-Stokes-resultaten lijken meer op tegenvoorbeelden zoeken dan op volledige bewijsvoering - Aioga AI-nieuws","description":"Hugging Face mede-oprichter Thomas Wolf reageert op de resultaten van OpenAI waarbij een groep agenten van het volgende generatie model (sterker dan GPT-6 Astra) de millenniumprobl...","url":"https://www.aioga.com/nl/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:02:04.680Z"},"tr":{"title":"Thomas Wolf, AI matematiğinin henüz çözülmediğini ve Navier-Stokes sonuçlarının tam bir kanıttan ziyade karşıt örnek aramaya benzediğini düşünüyor","summary":"Hugging Face kurucu ortağı Thomas Wolf, OpenAI'in bir sonraki nesil model (GPT-6 Astra'dan güçlü) ajan grubunun Navier-Stokes binyıl problemi varsayımını yanlış olarak kanıtlamasına verdiği yanıtı etkileyici buldu.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf, AI matematiğinin henüz çözülmediğini ve Navier-Stokes sonuçlarının tam bir kanıttan ziyade karşıt örnek aramaya benzediğini düşünüyor - Aioga AI Haberleri","description":"Hugging Face kurucu ortağı Thomas Wolf, OpenAI'in bir sonraki nesil model (GPT-6 Astra'dan güçlü) ajan grubunun Navier-Stokes binyıl problemi varsayımını yanlış olarak kanıtlamasın...","url":"https://www.aioga.com/tr/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:02:12.834Z"},"vi":{"title":"Thomas Wolf tin rằng toán học AI vẫn chưa được giải quyết, và kết quả Navier-Stokes giống như một tìm kiếm đối ví dụ hơn là một chứng minh hoàn chỉnh","summary":"Thomas Wolf, đồng sáng lập Hugging Face, đã phản hồi trước việc OpenAI chứng minh giả thuyết Vấn đề Thiên niên kỷ Navier-Stokes bằng một mô hình thế hệ tiếp theo (mạnh hơn GPT-6 Astra), gọi đó là ấn tượng.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf tin rằng toán học AI vẫn chưa được giải quyết, và kết quả Navier-Stokes giống như một tìm kiếm đối ví dụ hơn là một chứng minh hoàn chỉnh - Tin tức AI Aioga","description":"Thomas Wolf, đồng sáng lập Hugging Face, đã phản hồi trước việc OpenAI chứng minh giả thuyết Vấn đề Thiên niên kỷ Navier-Stokes bằng một mô hình thế hệ tiếp theo (mạnh hơn GPT-6 As...","url":"https://www.aioga.com/vi/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:02:15.099Z"},"id":{"title":"Thomas Wolf berpendapat bahwa matematika AI belum terselesaikan, hasil Navier-Stokes lebih mirip pencarian kontra contoh daripada bukti lengkap","summary":"Thomas Wolf, salah satu pendiri Hugging Face, menanggapi hasil OpenAI yang menggunakan kelompok agen model generasi berikutnya (lebih kuat dari GPT-6 Astra) untuk membuktikan dugaan masalah milenium Navier-Stokes adalah salah, menyebutnya mengesankan.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf berpendapat bahwa matematika AI belum terselesaikan, hasil Navier-Stokes lebih mirip pencarian kontra contoh daripada bukti lengkap - Berita AI Aioga","description":"Thomas Wolf, salah satu pendiri Hugging Face, menanggapi hasil OpenAI yang menggunakan kelompok agen model generasi berikutnya (lebih kuat dari GPT-6 Astra) untuk membuktikan dugaa...","url":"https://www.aioga.com/id/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:02:20.645Z"},"th":{"title":"โธมัส วูล์ฟเชื่อว่าคณิตศาสตร์ AI ยังไม่ได้รับการแก้ไข และผลลัพธ์ของ Navier-Stokes ก็คล้ายกับการค้นหาตัวอย่างโต้แย้งมากกว่าการพิสูจน์อย่างสมบูรณ์","summary":"โธมัส วูล์ฟ ผู้ร่วมก่อตั้ง Hugging Face ตอบโต้การพิสูจน์สมมติฐานปัญหาสหัสวรรษของ Navier-Stokes โดย OpenAI ด้วยโมเดลรุ่นถัดไป (แข็งแกร่งกว่า GPT-6 Astra) กลุ่มตัวแทน โดยกล่าวว่าน่าประทับใจ","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"โธมัส วูล์ฟเชื่อว่าคณิตศาสตร์ AI ยังไม่ได้รับการแก้ไข และผลลัพธ์ของ Navier-Stokes ก็คล้ายกับการค้นหาตัวอย่างโต้แย้งมากกว่าการพิสูจน์อย่างสมบูรณ์ - ข่าว AI Aioga","description":"โธมัส วูล์ฟ ผู้ร่วมก่อตั้ง Hugging Face ตอบโต้การพิสูจน์สมมติฐานปัญหาสหัสวรรษของ Navier-Stokes โดย OpenAI ด้วยโมเดลรุ่นถัดไป (แข็งแกร่งกว่า GPT-6 Astra) กลุ่มตัวแทน โดยกล่าวว่าน่าป...","url":"https://www.aioga.com/th/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:02:24.194Z"},"pl":{"title":"Thomas Wolf uważa, że matematyka AI nie została jeszcze rozwiązana, a wyniki Naviera-Stokesa bardziej przypominają wyszukiwanie kontrprzykładów niż pełny dowód","summary":"Thomas Wolf, współzałożyciel Hugging Face, skomentował wyniki OpenAI używającego grupy agentów następnej generacji modelu (lepszego od GPT-6 Astra), które dowodzą fałszywości hipotezy tysięcletniej dotyczącej równań Naviera-Stokesa, określając wyniki jako imponujące.","category":"行业动态","source":"@Thom_Wolf)","aggregationSource":"@Thom_Wolf)","pageTitle":"Thomas Wolf uważa, że matematyka AI nie została jeszcze rozwiązana, a wyniki Naviera-Stokesa bardziej przypominają wyszukiwanie kontrprzykładów niż pełny dowód - Aioga Wiadomości AI","description":"Thomas Wolf, współzałożyciel Hugging Face, skomentował wyniki OpenAI używającego grupy agentów następnej generacji modelu (lepszego od GPT-6 Astra), które dowodzą fałszywości hipot...","url":"https://www.aioga.com/pl/news/cmttwq6oy0pybrofphae4ykhb/","contentTranslated":true,"sourceHash":"5649807f746b7eef","translatedAt":"2026-09-09T10:02:31.235Z"}},"evidenceTier":"social-signal","reviewStatus":"editorial-selected","indexable":true,"editorialCover":"/page-visuals/topic-timeline.png"}}