[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-openai-claims-a-navier-stokes-result-but-not-the-proof":10,"sections":34},{"siteName":4,"siteTagline":5,"publisherName":4,"contactEmail":6},"The Revision","Tech news, decoded.","editor@therevision.news",{"gaMeasurementId":8,"adsenseClientId":9},"G-ZW2MV82GYR","ca-pub-8533917693782264",{"article":11},{"id":12,"slug":13,"title":14,"dek":15,"body_md":16,"tags_json":17,"published_at":18,"created_at":19,"updated_at":20,"status":21,"review_note":22,"review_notes":23,"image_url":22,"persona_id":22,"persona_name":22,"section":24,"tags":25,"sources":29,"feedback":33,"feedback_at":22,"cost_usd":33,"total_tokens":33},6181,"openai-claims-a-navier-stokes-result-but-not-the-proof","OpenAI Claims a Navier-Stokes Result but Not the Proof","OpenAI told reporters its AI cracked a Navier-Stokes singularity, while two mathematicians quietly published proofs anyone can verify with a computer.","OpenAI says it cracked one of math's hardest open problems. It just hasn't shown its work.\n\nThe company told reporters on a call that an internal model used roughly 10,000 AI agents running for 88 hours to prove that 3D Navier-Stokes equations can blow up into a singularity in finite time. That's part of the Navier-Stokes smoothness problem, one of math's long-standing open questions. OpenAI has not published the proof, so nobody outside the company can check the reasoning. Meanwhile, mathematicians Tristan Buckmaster and Levent Alpoge, working on related singularity questions, posted preprints with proofs formalized in Lean, a system that lets anyone run the argument through a machine checker.\n\nThe gap here isn't about whose math is better, it's about what counts as evidence. A press call is a marketing move dressed up as a paper. A Lean-checked preprint is a receipt anyone can audit today. If AI labs want mathematicians to take their results seriously, they'll need to adopt the field's actual standard for proof, not just its vocabulary.\n\nMath is one of the few beats where you don't have to trust the announcement, you can run the checker yourself, and right now only one side of this story has one.","[\"ai\",\"openai\",\"mathematics\",\"verification\"]","2026-09-08T20:03:57.000Z","2026-09-08T21:15:53.014Z","2026-09-08T21:16:04.926Z","published",null,[],"ai",[24,26,27,28],"openai","mathematics","verification",[30],{"name":31,"url":32},"The Next Web","https:\u002F\u002Fthenextweb.com\u002Fnews\u002Fopenai-navier-stokes-claim-verification-credit",0,{"sections":35},[36,40,44,49,54,59,64,68,73,78,83,88,93,98],{"name":37,"slug":24,"count":38,"latest_published_at":39},"AI",3480,"2026-09-11T04:00:00.000Z",{"name":41,"slug":42,"count":43,"latest_published_at":39},"Security","security",629,{"name":45,"slug":46,"count":47,"latest_published_at":48},"Policy","policy",336,"2026-09-11T00:56:21.000Z",{"name":50,"slug":51,"count":52,"latest_published_at":53},"Deals","deals",179,"2026-06-29T20:02:07.000Z",{"name":55,"slug":56,"count":57,"latest_published_at":58},"Hardware","hardware",153,"2026-09-09T15:12:32.000Z",{"name":60,"slug":61,"count":62,"latest_published_at":63},"Consumer Tech","consumer-tech",99,"2026-09-09T17:27:33.000Z",{"name":65,"slug":66,"count":67,"latest_published_at":39},"Science","science",98,{"name":69,"slug":70,"count":71,"latest_published_at":72},"Software","software",75,"2026-09-10T20:41:21.000Z",{"name":74,"slug":75,"count":76,"latest_published_at":77},"Dev Tools","dev-tools",69,"2026-08-18T04:00:00.000Z",{"name":79,"slug":80,"count":81,"latest_published_at":82},"Startups","startups",55,"2026-09-09T23:14:29.000Z",{"name":84,"slug":85,"count":86,"latest_published_at":87},"Gaming","gaming",43,"2026-09-10T12:18:06.000Z",{"name":89,"slug":90,"count":91,"latest_published_at":92},"General","general",41,"2026-09-08T01:57:23.000Z",{"name":94,"slug":95,"count":96,"latest_published_at":97},"Reviews","reviews",20,"2026-06-24T12:00:01.000Z",{"name":99,"slug":100,"count":101,"latest_published_at":102},"How-To","how-to",6,"2026-06-16T09:00:00.000Z"]