OpenAI påstår sig ha knäckt ett av matematikens sju heliga problem

Navier-Stokes-ekvationerna beskriver hur vätskor och gaser rör sig. De är centrala för alltifrån flygplanskonstruktion till klimatmodellering, och de har stått olösta som formella matematiska problem i ungefär 90 år. Nu hävdar OpenAI att de har en lösning, framtagen med en intern modell som de uppger är kraftfullare än det nyss lanserade GPT-6 Astra, körande med 10 000 agenter parallellt. Träningen påbörjades den 28 augusti.
Det är ett extraordinärt påstående — och det vet OpenAI om. Millennium-problemen, utlysta av Clay Mathematics Institute år 2000, är kända för att just vara de problem som verkar lösbara men aldrig riktigt går att knäcka. Hittills har bara ett av sju lösts formellt, Poincaré-förmodan, och det tog matematikern Grigori Perelman ett decennium av ensamt arbete att göra. Priset vägrade han sedan ta emot.
Vad som gör detta annorlunda, om det håller, är inte bara att ett AI-system löst problemet, utan hur: massivt parallella agenter som arbetar under en träningsperiod på veckor snarare än år. Det vore en konkret demonstration av att AI-system kan göra matematik som inte bara är snabb replikering av mänskliga bevis utan faktisk ny matematik.
Sagt det, dramatiken kring AI-claims på vetenskapliga genombrott har en historia av att pysa ut vid peer review. OpenAIs bloggpost är inte ett publicerat bevis. Oberoende matematiker har ännu inte granskat det. Millennium Prize kräver att lösningen publiceras i en referentgranskad tidskrift och hålls öppen för granskning i minst två år innan priset delas ut. Vi är inte i närheten av det steget.
Parallellt med Navier-Stokes-nyheten lanserade OpenAI även ChatGPT Images 2.5 med en ny funktion kallad Sketch, där användare kan klottra direkt i chatten och låta AI:n generera en bild från doodeln. Det är en genuint praktisk funktion för alla som vet vad de vill men saknar ord för det. Aktiveras via @Sketch i chattrutan.
Och om man undrar vad den interna modellen som löste ett millennieproblem kostar att bygga: Microsoft sätter rekord på Patch Tuesday för tredje månaden i rad, drivet av att AI-modeller som Anthropics Mythos hittar säkerhetshål snabbare än mänskliga team hinner lappa dem. AI förändrar tempot i säkerhetsarbetet i båda riktningarna. Det är värt att ha i bakhuvudet nästa gång någon argumenterar för att AI-agenter enbart är ett produktivitetsverktyg.



