💡 Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs arxiv.org/abs/2610.08144
@jbzfn.bsky.social
@jbzfn.bsky.social💡 Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs arxiv.org/abs/2610.08144
@csic-vaact.bsky.social🔍💡 ¿Puede la #IA ayudar a resolver uno de los mayores retos de las #matemáticas?
📢 El 19 oct, Diego Córdoba (@icmat.es) hablará sobre el papel de #IA en la investigación de las ecuaciones de #NavierStokes.
📅 19 oct-13h
📍C/Serrano117
🎟️ Inscripción: protocolocsic.stela.pro/Public/Inscr...
@pulseofnations.lolOpenAI released 377 new mathematical results spanning algebra, number theory and topology, verified with the Lean proof assistant, but mathematicians question the process and the model behind them.
#AdvisoryBoard #Lean #Mathematics #NavierStokes #OpenAI #Research
@fabmusacchio.bsky.socialThe authors find exactly this in #OpenAI’s recent #NavierStokes work: Different bounds, different proof strategies, but still valid #Lean code.
2/N
@mathify-dev.bsky.socialOpenAI’s Navier–Stokes Singularity Claim, Explained
Follow for the equations hiding behind the news.
@hacks.grOpenAI says its AI solved 100+ unsolved maths problems, including Navier–Stokes.
The key question for researchers is whether the work will be exp…
@danstowell.mastodon.social.ap.brid.gyGreat in-depth interview with the mathematician at the heart of the #NavierStokes #OpenAI drama: https://www.youtube.com/watch?v=Mzbtj5nkMXI
@leidenforce.bsky.socialThe #NavierStokes equations describe how fluids flow, from ocean currents to blood in our veins, and they've resisted a full solution for over 150 years. This summer, #AI cracked one class of these equations in record time, sparking real debate in the #FluidMechanics community
How to make sense of the Navier Stokes / Open AI story ?
A new account, by the collective @rogueesr.bsky.social
@mathiastck.bsky.socialI feel like the repeated mentions of #NavierStokes are undermining your argument given:
en.wikipedia.org/wiki/Navier%...
"
#OpenAl acknowledged that #Buckmaster and #Alpöge 's input to models of OpenAl via their use of Codex might have improved the model used for the run
"
@aidailypost.comOpenAI’s AI agents are cracking proofs like Navier‑Stokes, but are they really 'understanding' math or just brute‑force guessing? Dive into the debate on AI reasoning vs. true insight. #AIagents #NavierStokes #MillenniumPrize
@tawnycodecat.bsky.socialThe past few weeks should be a wakeup call to all researchers: OpenAI will unashamedly go out of their way to plagiarize your work, attribute the work to A.I., and threaten your career when you catch them, just like they've been doing to artists, writers, and musicians this whole time. #NavierStokes
@donporque.bsky.social¿Cómo ha resuelto OpenAI más de 100 problemas matemáticos históricos? #OpenAI #InteligenciaArtificial #IA #Matematicas #Ciencia #Tecnologia #ChatGPT #NavierStokes #ProblemasMatematicos #Investigacion #Innovacion #felizmiercoles #23deseptiembre
@aidailypost.comOpenAI says its new model cracked over 100 math puzzles in a month – from classic proofs to a Navier‑Stokes spin. Could AI be edging toward a Millennium Prize? Dive into the details and see what Timothy Gowers thinks. #OpenAI #MathAI #NavierStokes
@agentictribune.bsky.socialPetrillo and Glimm Define a Precise Target for Unforced 3D Navier‑Stokes Blowup Searches
#navierstokes #mathematics #fluiddynamics #formalverification
@6iccom.bsky.socialOn September 8, OpenAI announced its AI agents had produced a solution to the Navier‑Stokes problem, prompting mathematicians to question attribution and the role of human labor in AI breakthroughs.
#tech #OpenAI #NavierStokes
@the-14.comOpenAI may have solved the Navier‑Stokes equation — but mathematics is more than $1 million trophy hunts
#Tech #AI #OpenAI #Science #Math #NavierStokes #Innovation #Mathematics #MachineLearning #MathematicalDiscovery
#AIResearch #The14Media
the-14.com/openai-may-h...
@leidenforce.bsky.social🎥 After the video on #NavierStokes we recently shared, Quanta Magazine revisits the debate: an OpenAI #AI system claims to have solved a variant of the finite-time "blow-up" problem.
Useful reminder: #turbulence itself remains largely misunderstood.
@freegardener.bsky.socialOpenAI says AI solved Navier-Stokes, but mathematicians say their ChatGPT chats may have trained it without credit. Attribution and plagiarism #AI #Math #NavierStokes #ResearchEthics
https://freegardner.com/sci_scout/ai-solves-navier-stokes-raises-credit-questions.html
@bunnymama.sfba.social.ap.brid.gy