09/09/2026
PL below!
I really cant believe it’s happening- is it?
AI may have just solved a maths problem worth one million dollars.
The Navier–Stokes equations describe how fluids move; water, air, blood flow, the airflow around an aircraft.
Scientists couldn’t prove whether a perfectly smooth flow must always remain smooth… or whether the equations could suddenly break down.
Now, OpenAI claims that around 10,000 AI agents found a counterexample in just 88 hours.
Their proof shows that under specific smooth forcing, a fluid can develop a singularity: meaning its predicted velocity grows without limit in finite time.
No, this doesn’t mean real water will suddenly accelerate to infinity. It means the mathematical model itself can break down under certain conditions.
The proof has been formally checked in Lean, but it still needs wider mathematical scrutiny before we can call the Millennium Problem officially solved.
Are we watching AI changing the world AS MUCH?!
🇵🇱
AI być może właśnie rozwiązała problem matematyczny wart milion dolarów.
Równania Naviera–Stokesa opisują ruch płynów no. wody, powietrza i krwi, a nawet przepływ powietrza wokół samolotu.
Naukowcy nie potrafili udowodnić, czy przepływ, który początkowo jest idealnie gładki, zawsze taki pozostanie… czy może w pewnym momencie równania przestaną mieć sens.
Teraz OpenAI twierdzi, że około 10 000 agentów AI znalazło kontrprzykład w zaledwie 88 godzin.
Dowód pokazuje, że pod wpływem określonej, gładkiej siły zewnętrznej w płynie może powstać osobliwość. Oznacza to, że przewidywana przez równania prędkość rośnie bez ograniczeń w skończonym czasie.
To nie znaczy, że płyn - np. woda nagle osiągnie nieskończoną prędkość. Oznacza to, że w określonych warunkach sam model matematyczny może przestać prawidłowo opisywać rzeczywistość.
Dowód został formalnie zweryfikowany w systemie Lean, ale nadal musi przejść dokładną ocenę środowiska matematycznego, zanim oficjalnie uznamy problem milenijny za rozwiązany.
Czy właśnie obserwujemy, jak AI na zawsze zmienia świat matematyki? Ja cię… #