https://www.live-feeds.com/feed/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-everContinuously updated, source-cited coverage. https://www.live-feeds.com/feed/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-everhttps://www.live-feeds.com/feed/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-ever#u63914Thu, 10 Sep 2026 11:56:48 +0000OpenAI announced Tuesday that an artificial intelligence model solved the Navier-Stokes equations, one of the seven Millennium Problems in mathematics, after deploying thousands of agents for 88 hours. The milestone is shadowed by an academic dispute. A rival professor accuses OpenAI of improperly using his research team's work, attempting to strongarm him into helping, and threatening him. OpenAI denies these allegations. Independent mathematicians will now review the paper to verify the proof. Meanwhile, Fields Medalist Terence Tao warns that artificial intelligence is solving mathemati https://www.live-feeds.com/feed/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-everhttps://www.live-feeds.com/feed/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-ever#u61898Tue, 08 Sep 2026 21:50:40 +0000OpenAI announced Tuesday that an unreleased AI model solved a Millennium Prize Problem involving the Navier-Stokes equations. The model demonstrated that these fluid flow equations can sometimes blow up. This follows a separate achievement by Anthropic's Claude, which spent 11 days formalizing Fermat's Last Theorem into a machine-checkable proof of 13 million lines of code. While some compare the Navier-Stokes result to Deep Blue's 1997 victory over Garry Kasparov, the claim is contested by a rival mathematician who asserts he reached the solution first.Why it mattersMillennium https://www.live-feeds.com/feed/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-everhttps://www.live-feeds.com/feed/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-ever#u59741Mon, 07 Sep 2026 09:56:16 +0000Artificial intelligence agents have solved a 350-year-old mathematical problem by formalizing Fermat's Last Theorem. The process took 11 days to complete, a task that would normally take human mathematicians years. Anthropic utilized its Claude system to accomplish the feat, generating a proof that totals over 13 million lines of code. This achievement represents the longest proof ever written.Why it mattersFermat's Last Theorem is a famous mathematical problem dating back centuries. Formalizing such a massive proof through AI demonstrates a massive leap in computational mathematics.