#millenniumprize — Public Fediverse posts

In The Wake Of The Latest Unprecedented AI Proofs, What Now For Mathematics And Mathematicians?

https://fed.brid.gy/r/https://www.techdirt.com/2026/09/30/in-the-wake-of-the-latest-unprecedented-ai-proofs-what-now-for-mathematics-and-mathematicians/

In The Wake Of The Latest Unprecedented AI Proofs, What Now For Mathematics And Mathematicians?

https://web.brid.gy/r/https://www.techdirt.com/2026/09/30/in-the-wake-of-the-latest-unprecedented-ai-proofs-what-now-for-mathematics-and-mathematicians/

In The Wake Of The Latest Unprecedented AI Proofs, What Now For Mathematics And Mathematicians?

https://fed.brid.gy/r/https://www.techdirt.com/2026/09/30/in-the-wake-of-the-latest-unprecedented-ai-proofs-what-now-for-mathematics-and-mathematicians/

In The Wake Of The Latest Unprecedented AI Proofs, What Now For Mathematics And Mathematicians?

https://web.brid.gy/r/https://www.techdirt.com/2026/09/30/in-the-wake-of-the-latest-unprecedented-ai-proofs-what-now-for-mathematics-and-mathematicians/

🚨🚨 Breaking news: Infinite recursion found at the Clay Mathematics Institute's site, where the Navier-Stokes Problem is buried under layer upon layer of "About" pages. 🌀🔍 Meanwhile, mathematicians gather to discuss the real question: which millennium will the Millennium Prize actually be awarded in? 🤔📜
https://www.claymath.org/news/navier-stokes-announcement/ #InfiniteRecursion #NavierStokes #MillenniumPrize #MathCommunity #BreakingNews #HackerNews #ngated

🚨🚨 Breaking news: Infinite recursion found at the Clay Mathematics Institute's site, where the Navier-Stokes Problem is buried under layer upon layer of "About" pages. 🌀🔍 Meanwhile, mathematicians gather to discuss the real question: which millennium will the Millennium Prize actually be awarded in? 🤔📜
https://www.claymath.org/news/navier-stokes-announcement/ #InfiniteRecursion #NavierStokes #MillenniumPrize #MathCommunity #BreakingNews #HackerNews #ngated

🚨🚨 Breaking news: Infinite recursion found at the Clay Mathematics Institute's site, where the Navier-Stokes Problem is buried under layer upon layer of "About" pages. 🌀🔍 Meanwhile, mathematicians gather to discuss the real question: which millennium will the Millennium Prize actually be awarded in? 🤔📜
https://www.claymath.org/news/navier-stokes-announcement/ #InfiniteRecursion #NavierStokes #MillenniumPrize #MathCommunity #BreakingNews #HackerNews #ngated

🚨🚨 Breaking news: Infinite recursion found at the Clay Mathematics Institute's site, where the Navier-Stokes Problem is buried under layer upon layer of "About" pages. 🌀🔍 Meanwhile, mathematicians gather to discuss the real question: which millennium will the Millennium Prize actually be awarded in? 🤔📜
https://www.claymath.org/news/navier-stokes-announcement/ #InfiniteRecursion #NavierStokes #MillenniumPrize #MathCommunity #BreakingNews #HackerNews #ngated

Racing to solve maths problems now ‘pointless’, says Australian at centre of OpenAI controversy

Artificial intelligence has made the race to publish mathematical breakthroughs pointless, according to the Australian professor at the…
#NewsBeep #News #Artificialintelligence #AI #ArtificialIntelligence #AU #Australia #ChatGPT #Mathematics #maths #millenniumprize #Navier–Stokes #openai #Technology #TristanBuckmaster #unsolvedmathsproblems
https://www.newsbeep.com/au/887878/

https://www.europesays.com/si/223360/ Umetna inteligenca v 88 urah rešila desetletja star matematični problem #ClayMathematicsInstitute #LeventAlpöge #MatematičniDokaz #matematika #MillenniumPrize #NavierStokesoveEnačbe #OpenAI #SI #Slovene #Slovenia #Slovenija #Slovenščina #Technology #Tehnologija #TristanBuckmaster #UmetnaInteligenca

OpenAI Claims Navier-Stokes Proof, and Math Pushes Back

An unreleased OpenAI model produced a claimed proof of a Millennium Prize problem in 88 hours. Mathematicians question the credit and the proof itself.

https://pulseofnations.lol/openai-claims-navier/

#AiResearch #Buckmaster #Mathematics #MillenniumPrize #NavierStokes #OpenAI

OpenAI Claims Navier-Stokes Proof, and Math Pushes Back

An unreleased OpenAI model produced a claimed proof of a Millennium Prize problem in 88 hours. Mathematicians question the credit and the proof itself.

https://pulseofnations.lol/openai-claims-navier/

#AiResearch #Buckmaster #Mathematics #MillenniumPrize #NavierStokes #OpenAI

OpenAI Claims Navier-Stokes Proof, and Math Pushes Back

An unreleased OpenAI model produced a claimed proof of a Millennium Prize problem in 88 hours. Mathematicians question the credit and the proof itself.

https://pulseofnations.lol/openai-claims-navier/

#AiResearch #Buckmaster #Mathematics #MillenniumPrize #NavierStokes #OpenAI

OpenAI Claims Navier-Stokes Proof, and Math Pushes Back

An unreleased OpenAI model produced a claimed proof of a Millennium Prize problem in 88 hours. Mathematicians question the credit and the proof itself.

https://pulseofnations.lol/openai-claims-navier/

#AiResearch #Buckmaster #Mathematics #MillenniumPrize #NavierStokes #OpenAI

https://www.europesays.com/sk/175813/ OpenAI tvrdí, že AI vyriešila problém Navierových-Stokesových rovníc. Matematici si s ním nevedeli rady takmer 90 rokov | Vosveteit.sk #AI #ClayMathematicsInstitute #EuleroveRovnice #Headlines #HlavnéSprávy #Lean #Matematika #MillenniumPrize #NavieroveStokesoveRovnice #News #OpenAi #singularita #SK #Slovak #Slovakia #Slovenčina #Slovensko #Správy #Titulky #TopStories #UmeláInteligencia

#navierstokes : "this entire staged event serves a #desperate financial agenda in a pre ipo panic facing the slowdown of scaling laws and growing investor skepticism over the profitability of foundational models #openai needs to manufacture an #artificialsputnikmoment claiming to solve a #millenniumprize without immediately submitting the proof to traditional #peerreview means using the prestige of fundamental #mathematics as cheap marketing fuel to inflate a #delusionalvaluation!!!

https://x.com/bettercallmedhi/status/2097472336257863722?s=46

#navierstokes : "this entire staged event serves a #desperate financial agenda in a pre ipo panic facing the slowdown of scaling laws and growing investor skepticism over the profitability of foundational models #openai needs to manufacture an #artificialsputnikmoment claiming to solve a #millenniumprize without immediately submitting the proof to traditional #peerreview means using the prestige of fundamental #mathematics as cheap marketing fuel to inflate a #delusionalvaluation!!!

https://x.com/bettercallmedhi/status/2097472336257863722?s=46

#navierstokes : "this entire staged event serves a #desperate financial agenda in a pre ipo panic facing the slowdown of scaling laws and growing investor skepticism over the profitability of foundational models #openai needs to manufacture an #artificialsputnikmoment claiming to solve a #millenniumprize without immediately submitting the proof to traditional #peerreview means using the prestige of fundamental #mathematics as cheap marketing fuel to inflate a #delusionalvaluation!!!

https://x.com/bettercallmedhi/status/2097472336257863722?s=46

#navierstokes : "this entire staged event serves a #desperate financial agenda in a pre ipo panic facing the slowdown of scaling laws and growing investor skepticism over the profitability of foundational models #openai needs to manufacture an #artificialsputnikmoment claiming to solve a #millenniumprize without immediately submitting the proof to traditional #peerreview means using the prestige of fundamental #mathematics as cheap marketing fuel to inflate a #delusionalvaluation!!!

https://x.com/bettercallmedhi/status/2097472336257863722?s=46

AI · OpenAI says it solved a $1M math problem. Rivals object

OpenAI's unreleased model reportedly proved part of the Navier-Stokes puzzle, but two mathematicians say the company used their unpublished work first.

Read the rest at: https://thedailyfathom.com/ai/2026-09-09/

#AI #OpenAI #NavierStokes #MillenniumPrize #TheDailyFathom

AI · OpenAI says it solved a $1M math problem. Rivals object

OpenAI's unreleased model reportedly proved part of the Navier-Stokes puzzle, but two mathematicians say the company used their unpublished work first.

Read the rest at: https://thedailyfathom.com/ai/2026-09-09/

#AI #OpenAI #NavierStokes #MillenniumPrize #TheDailyFathom

AI · OpenAI says it solved a $1M math problem. Rivals object

OpenAI's unreleased model reportedly proved part of the Navier-Stokes puzzle, but two mathematicians say the company used their unpublished work first.

Read the rest at: https://thedailyfathom.com/ai/2026-09-09/

#AI #OpenAI #NavierStokes #MillenniumPrize #TheDailyFathom

AI · OpenAI says it solved a $1M math problem. Rivals object

OpenAI's unreleased model reportedly proved part of the Navier-Stokes puzzle, but two mathematicians say the company used their unpublished work first.

Read the rest at: https://thedailyfathom.com/ai/2026-09-09/

#AI #OpenAI #NavierStokes #MillenniumPrize #TheDailyFathom

The Navier–Stokes Millennium Prize Problem

https://simonwillison.net/2026/Sep/8/on-navier-stokes/

Comments: https://news.ycombinator.com/item?id=49621697

#HackerNews #NavierStokes #MillenniumPrize #MathProblems #FluidDynamics #Mathematics

The Navier–Stokes Millennium Prize Problem

https://simonwillison.net/2026/Sep/8/on-navier-stokes/

Comments: https://news.ycombinator.com/item?id=49621697

#HackerNews #NavierStokes #MillenniumPrize #MathProblems #FluidDynamics #Mathematics

The Navier–Stokes Millennium Prize Problem

https://simonwillison.net/2026/Sep/8/on-navier-stokes/

Comments: https://news.ycombinator.com/item?id=49621697

#HackerNews #NavierStokes #MillenniumPrize #MathProblems #FluidDynamics #Mathematics

The Navier–Stokes Millennium Prize Problem

https://simonwillison.net/2026/Sep/8/on-navier-stokes/

Comments: https://news.ycombinator.com/item?id=49621697

#HackerNews #NavierStokes #MillenniumPrize #MathProblems #FluidDynamics #Mathematics

#OpenAI claims it has solved the existence and smoothness problem for the Navier–Stokes equations, one of the seven million-dollar Millennium Prize problems. The proof hasn’t been verified and there’s apparently some drama surrounding who gets the credit if the proof is proven true.

https://www.bbc.com/news/articles/cy7zygy3rl2o

https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness

#AI #math #maths #mathematics #NavierStokes #MillenniumPrize

#OpenAI claims it has solved the existence and smoothness problem for the Navier–Stokes equations, one of the seven million-dollar Millennium Prize problems. The proof hasn’t been verified and there’s apparently some drama surrounding who gets the credit if the proof is proven true.

https://www.bbc.com/news/articles/cy7zygy3rl2o

https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness

#AI #math #maths #mathematics #NavierStokes #MillenniumPrize

#OpenAI claims it has solved the existence and smoothness problem for the Navier–Stokes equations, one of the seven million-dollar Millennium Prize problems. The proof hasn’t been verified and there’s apparently some drama surrounding who gets the credit if the proof is proven true.

https://www.bbc.com/news/articles/cy7zygy3rl2o

https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness

#AI #math #maths #mathematics #NavierStokes #MillenniumPrize

#OpenAI claims it has solved the existence and smoothness problem for the Navier–Stokes equations, one of the seven million-dollar Millennium Prize problems. The proof hasn’t been verified and there’s apparently some drama surrounding who gets the credit if the proof is proven true.

https://www.bbc.com/news/articles/cy7zygy3rl2o

https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness

#AI #math #maths #mathematics #NavierStokes #MillenniumPrize

¿Ha resuelto OpenAI el problema de Navier-Stokes con IA? Qué se sabe #OpenAI #NavierStokes #InteligenciaArtificial #IA #Matematicas #Ciencia #Tecnologia #ProblemasDelMilenio #MillenniumPrize #Investigacion #Innovacion #AI #felizmartes #8deseptiembre

https://donporque.com/openai-resuelve-navier-stokes-con-inteligencia-artificial/

¿Ha resuelto OpenAI el problema de Navier-Stokes con IA? Qué se sabe #OpenAI #NavierStokes #InteligenciaArtificial #IA #Matematicas #Ciencia #Tecnologia #ProblemasDelMilenio #MillenniumPrize #Investigacion #Innovacion #AI #felizmartes #8deseptiembre

https://donporque.com/openai-resuelve-navier-stokes-con-inteligencia-artificial/

¿Ha resuelto OpenAI el problema de Navier-Stokes con IA? Qué se sabe #OpenAI #NavierStokes #InteligenciaArtificial #IA #Matematicas #Ciencia #Tecnologia #ProblemasDelMilenio #MillenniumPrize #Investigacion #Innovacion #AI #felizmartes #8deseptiembre

https://donporque.com/openai-resuelve-navier-stokes-con-inteligencia-artificial/

¿Ha resuelto OpenAI el problema de Navier-Stokes con IA? Qué se sabe #OpenAI #NavierStokes #InteligenciaArtificial #IA #Matematicas #Ciencia #Tecnologia #ProblemasDelMilenio #MillenniumPrize #Investigacion #Innovacion #AI #felizmartes #8deseptiembre

https://donporque.com/openai-resuelve-navier-stokes-con-inteligencia-artificial/

On the Navier–Stokes Millennium Prize Problem

https://openai.com/index/navier-stokes-solution/

Comments: https://news.ycombinator.com/item?id=49613262

#HackerNews #NavierStokes #MillenniumPrize #Mathematics #FluidDynamics #ProblemSolving #Research

On the Navier–Stokes Millennium Prize Problem

https://openai.com/index/navier-stokes-solution/

Comments: https://news.ycombinator.com/item?id=49613262

#HackerNews #NavierStokes #MillenniumPrize #Mathematics #FluidDynamics #ProblemSolving #Research

On the Navier–Stokes Millennium Prize Problem

https://openai.com/index/navier-stokes-solution/

Comments: https://news.ycombinator.com/item?id=49613262

#HackerNews #NavierStokes #MillenniumPrize #Mathematics #FluidDynamics #ProblemSolving #Research

On the Navier–Stokes Millennium Prize Problem

https://openai.com/index/navier-stokes-solution/

Comments: https://news.ycombinator.com/item?id=49613262

#HackerNews #NavierStokes #MillenniumPrize #Mathematics #FluidDynamics #ProblemSolving #Research

Difficulty of proving the Generalized Poincaré Conjecture as a function of dimension:

n=1: Trivial

n=2: Easy (19th century)

n=3: Perelman (2003), declined Fields Medal

n=4: Freedman (1982), won Fields Medal

n≥5: Smale (1961), won Fields Medal

The difficulty of the generalized Poincaré conjecture is non-monotonic in dimension!

#Poincaré #PoincaréConjecture #Perelman #FieldsMedal #Geometry #MillenniumPrize #GrigoriPerelman #HenriPoincaré #Freedman #Smale #Conjecture

Difficulty of proving the Generalized Poincaré Conjecture as a function of dimension:

n=1: Trivial

n=2: Easy (19th century)

n=3: Perelman (2003), declined Fields Medal

n=4: Freedman (1982), won Fields Medal

n≥5: Smale (1961), won Fields Medal

The difficulty of the generalized Poincaré conjecture is non-monotonic in dimension!

#Poincaré #PoincaréConjecture #Perelman #FieldsMedal #Geometry #MillenniumPrize #GrigoriPerelman #HenriPoincaré #Freedman #Smale #Conjecture

Difficulty of proving the Generalized Poincaré Conjecture as a function of dimension:

n=1: Trivial

n=2: Easy (19th century)

n=3: Perelman (2003), declined Fields Medal

n=4: Freedman (1982), won Fields Medal

n≥5: Smale (1961), won Fields Medal

The difficulty of the generalized Poincaré conjecture is non-monotonic in dimension!

#Poincaré #PoincaréConjecture #Perelman #FieldsMedal #Geometry #MillenniumPrize #GrigoriPerelman #HenriPoincaré #Freedman #Smale #Conjecture

Difficulty of proving the Generalized Poincaré Conjecture as a function of dimension:

n=1: Trivial

n=2: Easy (19th century)

n=3: Perelman (2003), declined Fields Medal

n=4: Freedman (1982), won Fields Medal

n≥5: Smale (1961), won Fields Medal

The difficulty of the generalized Poincaré conjecture is non-monotonic in dimension!

#Poincaré #PoincaréConjecture #Perelman #FieldsMedal #Geometry #MillenniumPrize #GrigoriPerelman #HenriPoincaré #Freedman #Smale #Conjecture

MillenniumPrizeProblemBench: Thử thách AI với những bài toán khó nhất lịch sử

Một hệ thống benchmark mới vừa ra đời nhằm đánh giá khả năng giải toán của AI thông qua các Bài toán Thiên niên kỷ (Millennium Prize Problems). Đây là những đề bài toán học chưa có lời giải với phần thưởng 1 triệu USD mỗi bài. Liệu AI có thể vượt qua giới hạn tư duy của con người để giải quyết những bí ẩn này?

#AI #Mathematics #MillenniumPrize #MachineLearning #Toanhoc #Congnghe #TriTueNhanTao #MPPBench

https://www.

Nine years ago on a defunct platform I wrote this (and I made a big statement, now-deleted, more below)

==== (start quote)
What do you think of this explanation of the Hodge conjecture by Melbourne mathematician Arun Ram?

https://theconversation.com/millennium-prize-the-hodge-conjecture-4243

I think it's great: the right level of metaphor and concrete examples that arise from simple cases of the problem.

[...]

#mathematics #millenniumprize #hodge #algebraicgeometry
==== (end quote)

Last week I was asked to explain off the cuff the Hodge conjecture by a colleague who is an engineer of some kind. I had recalled from a more recent peep into a certain pop-maths book (mentioned in the [...] above) that the author kinda wimped out, leaving the Hodge conjecture for last and then admitting it was rather complicated. I think I was a bit harsh in what I said in the redacted bit. But that may have been because I don't have the expertise in writing for a popular audience, and this certain person very much did, and held themselves to a higher standard of exposition in both detail and clarity than I would have, nine years ago.

I'm also slightly cooler on the metaphor in the linked post — it's still a good metaphor, but it doesn't work so well for me now as when I first wrote the above.

Nine years ago on a defunct platform I wrote this (and I made a big statement, now-deleted, more below)

==== (start quote)
What do you think of this explanation of the Hodge conjecture by Melbourne mathematician Arun Ram?

https://theconversation.com/millennium-prize-the-hodge-conjecture-4243

I think it's great: the right level of metaphor and concrete examples that arise from simple cases of the problem.

[...]

#mathematics #millenniumprize #hodge #algebraicgeometry
==== (end quote)

Last week I was asked to explain off the cuff the Hodge conjecture by a colleague who is an engineer of some kind. I had recalled from a more recent peep into a certain pop-maths book (mentioned in the [...] above) that the author kinda wimped out, leaving the Hodge conjecture for last and then admitting it was rather complicated. I think I was a bit harsh in what I said in the redacted bit. But that may have been because I don't have the expertise in writing for a popular audience, and this certain person very much did, and held themselves to a higher standard of exposition in both detail and clarity than I would have, nine years ago.

I'm also slightly cooler on the metaphor in the linked post — it's still a good metaphor, but it doesn't work so well for me now as when I first wrote the above.

Nine years ago on a defunct platform I wrote this (and I made a big statement, now-deleted, more below)

==== (start quote)
What do you think of this explanation of the Hodge conjecture by Melbourne mathematician Arun Ram?

https://theconversation.com/millennium-prize-the-hodge-conjecture-4243

I think it's great: the right level of metaphor and concrete examples that arise from simple cases of the problem.

[...]

#mathematics #millenniumprize #hodge #algebraicgeometry
==== (end quote)

Last week I was asked to explain off the cuff the Hodge conjecture by a colleague who is an engineer of some kind. I had recalled from a more recent peep into a certain pop-maths book (mentioned in the [...] above) that the author kinda wimped out, leaving the Hodge conjecture for last and then admitting it was rather complicated. I think I was a bit harsh in what I said in the redacted bit. But that may have been because I don't have the expertise in writing for a popular audience, and this certain person very much did, and held themselves to a higher standard of exposition in both detail and clarity than I would have, nine years ago.

I'm also slightly cooler on the metaphor in the linked post — it's still a good metaphor, but it doesn't work so well for me now as when I first wrote the above.

Nine years ago on a defunct platform I wrote this (and I made a big statement, now-deleted, more below)

==== (start quote)
What do you think of this explanation of the Hodge conjecture by Melbourne mathematician Arun Ram?

https://theconversation.com/millennium-prize-the-hodge-conjecture-4243

I think it's great: the right level of metaphor and concrete examples that arise from simple cases of the problem.

[...]

#mathematics #millenniumprize #hodge #algebraicgeometry
==== (end quote)

Last week I was asked to explain off the cuff the Hodge conjecture by a colleague who is an engineer of some kind. I had recalled from a more recent peep into a certain pop-maths book (mentioned in the [...] above) that the author kinda wimped out, leaving the Hodge conjecture for last and then admitting it was rather complicated. I think I was a bit harsh in what I said in the redacted bit. But that may have been because I don't have the expertise in writing for a popular audience, and this certain person very much did, and held themselves to a higher standard of exposition in both detail and clarity than I would have, nine years ago.

I'm also slightly cooler on the metaphor in the linked post — it's still a good metaphor, but it doesn't work so well for me now as when I first wrote the above.