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.
Purple correction. Yellow abbreviation or name. Green phrase definition.
This text was inspired by the article↗Source — direct linkhttps://thenextweb.com/news/openai-navier-stokes-claim-verification-creditArticle generated by artificial intelligence: Gemini by Google, Grok by xAI, Claude by Anthropic, ChatGPT by OpenAI.
office@freenetmedia.pl