Podczas gdy OpenAI przedstawiło wynik jedynie podczas rozmowy z reporterami, matematycy opublikowali dowody możliwe do sprawdzenia maszynowo.
2026-09-08
The mathematicians published machine-checkable proofs. OpenAI announced its result on a call with reporters.
↗Source — direct link to the articlehttps://thenextweb.com/news/openai-navier-stokes-claim-verification-creditoffice@freenetmedia.pl