Navier-Stokesov dôkaz od OpenAI pod drobnohľadom matematikov

Začiatkom septembra OpenAI publikovala 166-stranové potenciálne riešenie problému Navier-Stokes, ktorý je dlhodobou výzvou v matematike. Spoločnosť tvrdila, že jej dôkaz nasledoval prístup španielskych matematikov Diega Córdobu a Luisa Martíneza-Zoroa. Niekoľko skupín odborníkov však teraz vyjadrilo obavy o platnosť tohto tvrdenia.

Podľa Gonzala Cao-Laboru z EPFL, hoci riešenie OpenAI môže mať povrchnú podobnosť s prácou Córdoby a Martíneza-Zoroa, bližšie preskúmanie odhaľuje významné rozdiely v prístupe. Potenciálny dôkaz je napísaný v jazyku Lean, formálnom overovacom jazyku, ktorý kontroluje každý logický krok, ale sťažuje ľuďom jeho pochopenie samostatne.

Clay Mathematics Institute od jeho zverejnenia prehodnocuje podanie OpenAI, zatiaľ čo matematik z NYU Tristan Buckmaster predtým obvinil spoločnosť, že nadväzuje na prácu vykonanú verejne dostupnými modelmi jeho a Leventom Alpögem z Anthropic. OpenAI poprela použitie údajov od Buckmastera, ale definitívna odpoveď je nepravdepodobná vzhľadom na nepriehľadnosť jazykových modelov.

Začiatkom októbra OpenAI zverejnila približne 400 ďalších výsledkov vo voľnej zbierke na GitHube, ktorú mnohí matematici považovali za znehodnocujúcu ich odbor tým, že ich prezentovala bez správneho kontextu alebo vysvetlenia. Navyše zostáva nejasné, aký príspevok mal masívny agent roj približne 10 000 modelových inštancií k potenciálnemu riešeniu.