conv.

All stories
ScienceQuiet 9d · day 15

AI solves a Millennium Prize math problem, rattling mathematicians

OpenAI's AI agents cracked the decades-old Navier-Stokes blow-up problem, capping a summer of AI math breakthroughs that left mathematicians questioning their field's future.

What to know

  • AI agents from OpenAI solved the Navier-Stokes 'blow-up' problem, a Millennium Prize Problem unsolved for over a century, in 88 hours—the first such prize problem cracked in 20 years.
  • The solve follows Anthropic's Claude Fable AI disproving the Jacobian conjecture and ChatGPT solving two other major open problems within weeks of each other.
  • Terence Tao told the International Congress of Mathematicians the developments have caused 'a crisis in our mathematical values and practices,' questioning what role human mathematicians retain.
  • Commentators note AI proofs tend to be convoluted and hard to interpret even when formally verified, raising the question of whether AI math replaces or merely supplements human insight.

“substantial progress”

OpenAI, AI developer · New Scientist ↗ · Sep 10

Terence Tao Mathematician (UCLA, Fields medalist)Andrew Sutherland Mathematician, MITOpenAI AI developerAnthropic AI developer

AI solves a Millennium Prize math problem, rattling mathematicians
scientificamerican.com

How it unfolded 2 developments, newest first · click a bar or a number to jump articlespostscomments

Peak 14 pieces in 4h at Sep 12, 3 AM; 70 pieces over 16 days (20 articles · 26 posts · 24 comments) Sep 8, 7 PM — 1 piece · 1 article — Google News 1Sep 8, 11 PM — 1 piece · 1 article — Google News 1Sep 9, 3 AM — quietSep 9, 7 AM — quietSep 9, 11 AM — quietSep 9, 3 PM — quietSep 9, 7 PM — quietSep 9, 11 PM — quietSep 10, 3 AM — quietSep 10, 7 AM — 1 piece · 1 article — Newswires 1Sep 10, 11 AM — quietSep 10, 3 PM — 1 piece · 1 post — Hacker News 1Sep 10, 7 PM — quietSep 10, 11 PM — quietSep 11, 3 AM — 1 piece · 1 article — Newswires 1Sep 11, 7 AM — 1 piece · 1 article — Newswires 1Sep 11, 11 AM — 4 pieces · 2 articles · 2 posts — Newswires 2, Mastodon 2Sep 11, 3 PM — 8 pieces · 3 articles · 5 posts — X 4, Newswires 3, Bluesky 1Sep 11, 7 PM — 6 pieces · 3 articles · 3 posts — Newswires 3, Mastodon 2, Hacker News 1Sep 11, 11 PM — 1 piece · 1 post — Mastodon 1Sep 12, 3 AM — 14 pieces · 3 articles · 4 posts · 7 comments — Hacker News 8, Mastodon 2, Newswires 2, +2 moreSep 12, 7 AM — 6 pieces · 2 posts · 4 comments — Reddit 5, Hacker News 1Sep 12, 11 AM — 6 pieces · 2 articles · 1 post · 3 comments — Reddit 3, Hacker News 1, Newswires 1, +1 moreSep 12, 3 PM — 2 pieces · 1 post · 1 comment — Hacker News 1, Reddit 1Sep 12, 7 PM — 4 pieces · 1 article · 1 post · 2 comments — Reddit 2, Hacker News 1, Newswires 1Sep 12, 11 PM — 2 pieces · 1 post · 1 comment — Mastodon 1, Reddit 1Sep 13, 3 AM — 4 pieces · 4 comments — Reddit 4Sep 13, 7 AM — 1 piece · 1 post — Mastodon 1Sep 13, 11 AM — quietSep 13, 3 PM — 1 piece · 1 comment — Reddit 1Sep 13, 7 PM — quietSep 13, 11 PM — quietSep 14, 3 AM — quietSep 14, 7 AM — quietSep 14, 11 AM — quietSep 14, 3 PM — 1 piece · 1 post — Mastodon 1Sep 14, 7 PM — quietSep 14, 11 PM — quietSep 15, 3 AM — 1 piece · 1 comment — Reddit 1Sep 15, 7 AM — quietSep 15, 11 AM — 2 pieces · 1 article · 1 post — Mastodon 1, Newswires 1Sep 15, 3 PM — 1 piece · 1 post — Hacker News 1Sep 15, 7 PM — quietSep 15, 11 PM — quietSep 16, 3 AM — quietSep 16, 7 AM — quietSep 16, 11 AM — quietSep 16, 3 PM — quietSep 16, 7 PM — quietSep 16, 11 PM — quietSep 17, 3 AM — quietSep 17, 7 AM — quietSep 17, 11 AM — quietSep 17, 3 PM — quietSep 17, 7 PM — quietSep 17, 11 PM — quietSep 18, 3 AM — quietSep 18, 7 AM — quietSep 18, 11 AM — quietSep 18, 3 PM — quietSep 18, 7 PM — quietSep 18, 11 PM — quietSep 19, 3 AM — quietSep 19, 7 AM — quietSep 19, 11 AM — quietSep 19, 3 PM — quietSep 19, 7 PM — quietSep 19, 11 PM — quietSep 20, 3 AM — quietSep 20, 7 AM — quietSep 20, 11 AM — quietSep 20, 3 PM — quietSep 20, 7 PM — quietSep 20, 11 PM — quietSep 21, 3 AM — quietSep 21, 7 AM — quietSep 21, 11 AM — quietSep 21, 3 PM — quietSep 21, 7 PM — quietSep 21, 11 PM — quietSep 22, 3 AM — quietSep 22, 7 AM — quietSep 22, 11 AM — quietSep 22, 3 PM — quietSep 22, 7 PM — quietSep 22, 11 PM — quietYesterday, 3 AM — quietYesterday, 7 AM — quietYesterday, 11 AM — quietYesterday, 3 PM — quietYesterday, 7 PM — quietYesterday, 11 PM — quietToday, 3 AM — quiet 12
Sep 10Sep 12Sep 14Sep 16Sep 18Sep 20Sep 22now · 7:47 AM ET
  1. 2

    Scientific American surveys mathematicians' anxiety over AI

    A feature recapped the summer's AI math breakthroughs and Tao's ICM warning, describing a field grappling with what role humans will play as AI companies race to conquer mathematics to prove progress toward superintelligence.

    “mathematicians may be the canary in the coal mine for a lot of other professions…”
    — Andrew Sutherland
    • AeonCypher@lgbtqia.space

      So, turns out # AI actually did plagiarize its solution to a # math problem. I don't like their characterizations as plagiarism machines, but in this case it applies.

      AeonCypher@lgbtqia.spaceMastodon9d ago8▲view on Mastodon ↗
    2 more of the top 3 · 30 posts in this stretch
    • A lot of them probably thought they were “too smart” and the AI would never come for their jobs. Gives a bit of a “first they came for the Jews and I was no Jew so I said nothing…” vibe. It's this and worse: people are pissed about it being their turn while people that they perceive as their lessers aren't suffering more. My entire life, people…

      Bakoror/MachineLearning11d agoview on r/MachineLearning ↗
    • Isn't the "kill us all" concern met by keeping nukes & essential infrastructure airgapped? This is something that should be the case already, and is certainly urgent if not the case. Instead of doomerism and calls to slow down the development of AI (not gonna happen), the conversation could be pivoted towards thorough threat analysis /…

      smallerfishHacker News12d agoview on Hacker News ↗
    all of them →
  2. 1

    WSJ ties the math breakthrough to AI safety fears

    The Wall Street Journal published an analysis arguing the Millennium Prize breakthrough demonstrates AI's accelerating and potentially dangerous capability growth.

    “It is a very confusing mess right now.”
    — Terence Tao, Mathematician, UCLA · source
    • A heated dispute is brewing in the scientific community: 24 Fields Medalists are speaking out regarding a severe misalignment of AI in mathematics.

      @kimmonismusX12d ago320▲view on X ↗
    2 more of the top 3 · 7 posts in this stretch
    • cwebber@social.coop

      A Severe Misalignment of AI in Mathematics https:// mathandai.org/ A very powerful open letter, signed by 25 leading mathematicians (all Fields Medalists), on the ways AI corporations rushing to complete problems has been harmful, and the way LLM usage threatens the fruit from the work that grows out mathematical research.

      cwebber@social.coopMastodon12d ago44▲view on Mastodon ↗
    • I am endorsing this declaration about the misalignment between AI and mathematics: — mathandai.org

      @thserraBluesky12d agoview on Bluesky ↗
    all of them →
  3. background

    OpenAI's AI agents solve a Millennium Prize Problem — OpenAI announced its AI agents proved that the Navier-Stokes equations can 'blow up,' resolving a question open since the 1800s and marking the first Millennium Prize Problem solved in 20 years; the agents reached the answer in 88 hours after learning of unpublished progress by human mathematicians.

  4. background

    Terence Tao warns of a 'crisis' in mathematics at ICM — In a keynote lecture titled 'Mathematics in the Age of AI' at the International Congress of Mathematicians in Philadelphia, Tao struck an unusually grave tone about AI's rapid takeover of math research.

  5. background

    AI systems solve major open problems ahead of math congress — Anthropic's Claude Fable AI disproved the longstanding Jacobian conjecture with a tweet-length equation, coming right after ChatGPT solved two other major open problems.

Also covered reported alongside — the timeline has no entry for these yet

  1. first by New Scientist, 12d ago · also HN Best, HN Frontpage

    1 more headline
  2. first by HN Frontpage, 12d ago · also WSJ Tech

  3. first by The Asia Business Daily, 12d ago · also Straits Times

    1 more headline

and 9 smaller pieces

What people are saying 18 voices from 4 sites · best of 37 · verbatim