AI Just Solved One of the Hardest Problems in Mathematics

人工智能刚刚解决了数学中最难的问题之一

New Scientist Podcasts

2026-09-11

32 分钟
PDF

单集简介 ...

Episode 398 OpenAI says it has just solved one of the hardest problems in mathematics. The Navier-Stokes existence and smoothness problem has been unsolved for more than 200 years. Now AI has cracked it, some claim we’ve finally reached “AGI” - artificial general intelligence. Navier-Stokes is one of the Millennium Prize Problems, chosen for being famously challenging. And as OpenAI sets its sights on solving more of these problems, what does it mean for the future of mathematics and even for the future of humanity? This comes as fear mounts over the safety of AI - supercharged by the resignation of a researcher from Anthrophic who believes AI companies are “gambling with our lives.”  So have we really reached AGI? Is this new solution a good thing for humanity? To discuss all of this, Rowan Hooper and Penny Sarchet are joined by Matthew Sparkes and Timothy Revell. To read more about these stories, visit https://www.newscientist.com/ Learn more about your ad choices. Visit megaphone.fm/adchoices
更多

单集文稿 ...

  • When you need to build up your team to handle the growing chaos at work, use Indeed Sponsored Jobs.

  • It gives your job post the boost it needs to be seen and helps reach people with the right skills, certifications,

  • and more.

  • Spend less time searching and more time actually interviewing candidates who check all your boxes.

  • Listeners of this show will get a $75 sponsored job credit at Indeed.com slash podcast.

  • That's Indeed.com slash podcast.

  • Terms and conditions apply.

  • Need a hiring hero?

  • This is a job for Indeed Sponsored Jobs.

  • AI has solved one of the most difficult problems in mathematics,

  • the Navier-Stokes problem that has remained unsolved for 200 years.

  • Yeah, I'm just going to read some quotes out about this.

  • So here's one.

  • This is a deep blue Kasparov moment.

  • That was mathematician Tristan Buckmaster.

  • And that's obviously referring to the first time a computer beat a human grandmaster in 1997. Massive landmark.

  • Massive landmark.

  • Another one.

  • This feels like one of those moments when the future arrives all at once.

  • That's a German computational biologist called Fabian Thies.