OpenAI 8. září zveřejnila matematickou práci a formalizaci v systému Lean. Tvrdí, že její interní AI nalezla příklad vzniku singularity v rovnicích popisujících proudění viskózní tekutiny.

Repozitář vymezuje výsledek pro hladká počáteční data s hladkým vnějším působením. Nejde o tvrzení, že každé proudění selže. Clay Mathematics Institute při naší kontrole stále vedl problém jako nevyřešený; redakce důkaz samostatně nepřepočítala.

Možné využití vidíme především v matematickém výzkumu: návrh argumentu doprovázený kontrolovatelným kódem může odborníkům usnadnit hledání chyb i dalších souvislostí. Sám o sobě však nevytváří lepší předpověď počasí ani hotový technický návrh.

Rozhodující bude ověřit důkaz a shodu jeho formálních předpokladů se zadáním problému. Dostupný zdrojový kód je důležitý podklad, nikoli náhrada takové odborné kontroly.

Optimistický redakční horizont: první podrobné rozbory mohou přijít během týdnů až měsíců. Termín odborného konsenzu ani případného praktického využití zatím nelze spolehlivě odhadnout.