@nile11.bsky.socialOpenAI Drops 370 AI Math Proofs, Forcing a Field Reckoning
..................
https://nile1.com/openai-drops-370-ai-math-proofs-forcing-a-field-reckoning/
..................
#aiGeneratedProofs #danLitt #formalVerification #github #instituteForAdvancedStudy #millenniumPrizeProblems #navier-stokesEqua
@kaltweis.bsky.socialIf you're interested in whom to trust in the priority dispute about 'solving' the Navier-Stokes equations, #OpenAI or Tristan #Buckmaster, maybe start from this @quantamagazine.org article of 𝐉𝐚𝐧𝐮𝐚𝐫𝐲 𝟗, 𝟐𝟎𝟐𝟔, which also explains in readable language what all the fuss is about: #Navier-Stokes
@jcponcemath.bsky.social
@nocrash.wsocial.euMoin ☕
"Eine #KI soll das #Navier-Stokes Problem gelöst haben, eines der berühmten sieben #Millennium Probleme. Doch die Sensation wird von einem Streit überschattet."
@dmi.unibas.chSolving mathematical problems has never been the ultimate goal of mathematics. But what happens when AI turns problem-solving into an end in itself? 👉 mathandai.org
#navier-stokes #ai #mathematics #MillenniumPrizeProblem
@rbelward.bsky.social#Navier-Stokes 😸
@yvandasilva.hachyderm.io.ap.brid.gyWhat a massive ad for "on-prem llms".
@kaumudi.bsky.socialMore insightful: www.nytimes.com/2026/09/10/s...
1. It cost an estimated $15 million for Open AI to solve this problem. Two mathematicians (with help from others) were also able to solve it, most probably for a lot less, although they did use AI tools. (Who doesn't, these days?)
#navier-stokes #AI
@navarroalb.bsky.socialHow an AI math breakthrough ignited a controversy
OpenAI spent millions to solve the Navier-Stokes problem, but who should get credit?
www.science.org/content/arti... #ArtificialIntelligence #AI #mathematics #Navier-Stokes #problem
@globalvisibility.bsky.social@globalvisibility.bsky.social
@mueritz98.bsky.social
@jcponcemath.bsky.social
@global-news-2024.bsky.social📰 What's going on with OpenAI and the Navier-Stokes controversy?
Artificial intelligence has solved a major mathematics problem, but credit for the accomplishment is murky.
Source: Engadget | Read story
💬 What's your take on this tech shift?
@neuroskeptic.bsky.socialThis #navier-stokes news is a really remarkable story on two levels - it shows the power of AI, but it also shows the scumminess of (some of!) the humans behind AI.
@haerterich.bsky.socialKrasse Entwicklungen gerade in Mathematik bezüglich #Navier-Stokes (eines der Millenium-Probleme)
mathstodon.xyz/@tao/1172335...
Dazu
wo gerade mal noch nicht die Behauptung aufgestellt wird, dass OpenAI die Arbeit geklaut und weiterverwertet hat