OpenAI naznačuje druhý průlom v matematických úlohách Millennium Prize

Méně než dva týdny poté, co OpenAI oznámila vyřešení problému existence a hladkosti Navierových-Stokesových rovnic, naznačila, že může být blízko vyřešení dalšího ze sedmi matematických problémů Millennium Prize, přičemž spekulace se soustředí na Hodgeovu domněnku. Tento krok přichází v době, kdy společnost čelí organizované kritice ze strany matematické komunity, včetně dopisu podepsaného 25 držiteli Fieldsovy medaile, kteří varují před „závažným nesouladem“ mezi společnostmi zabývajícími se AI a disciplínou, kterou přetvářejí.

Dopady kauzy Navier-Stokes

8. září OpenAI oznámila, že přibližně 10 000 koordinovaných agentů AI, poháněných nevydaným interním modelem, vytvořilo 166stránkový důkaz a formální zápis v jazyce Lean, který ukazuje, že Navierovy-Stokesovy rovnice mohou „explodovat“ – což vede k nekonečným rychlostem tekutin z hladkých počátečních podmínek – během 88hodinového výpočtu, který začal 1. září. Oznámení okamžitě vyvolalo obvinění od matematika z NYU Tristana Buckmastera, který tvrdil, že OpenAI s řešením problému spěchala poté, co se dozvěděla, že on a výzkumník z Anthropic Levent Alpöge dosahují pokroku pomocí podobného přístupu. OpenAI tato tvrzení popřela s tím, že je „kategoricky“ nemožné, aby Buckmasterova práce ovlivnila její interní model.nytimes+3

Kontroverze rychle eskalovala. 11. září Terence Tao a 24 dalších držitelů Fieldsovy medaile zveřejnili prohlášení s názvem „Závažný nesoulad AI v matematice“, v němž argumentují, že společnosti zabývající se AI zacházejí se slavnými problémy jako s benchmarky pro hrubou sílu, nikoliv jako s prostředky pro skutečné porozumění. „Tato řešení jsou často oznamována ve spěchu, aniž by zbyl čas na řádný zápis, izolaci nových metod a nápadů a citování relevantní předchozí práce ostatních,“ uvádí se v dopise. Od té doby jej podpořilo téměř 6 000 dalších matematiků.science+2

Nezávisle na tom více než 1 000 matematiků podepsalo otevřený dopis proti plánovanému „mathathonu“ na Caltechu, který měl spojit výzkumníky s výpočetními kredity AI od OpenAI a Anthropic, a označili to za korporátní vykořisťování začínajících vědců. OpenAI následně od akce odstoupila.science

Druhý problém Millennium

Zatímco matematici pracují na hustém důkazu Navierových-Stokesových rovnic, OpenAI naznačila, že může být blízko vyřešení druhého problému Millennium Prize, uvádí zprávy The Information a Science. Společnost nepotvrdila, na který problém se zaměřuje, ale spekulace se ustálily na Hodgeově domněnce, problému v algebraické geometrii, který je tak abstraktní, že i jeho formulace vyžaduje odbornost na úrovni absolventa vysoké školy. Pověsti také poukazují na Birchovu a Swinnerton-Dyerovu domněnku jako na možný cíl pro OpenAI nebo Anthropic.theinformation+4

Načasování vyvolalo ostrou kritiku. Javier Gómez-Serrano z Brownovy univerzity, který 11. září přednášel o důkazu Navierových-Stokesových rovnic na Harvardu, popsal 166stránkový dokument jako „nesrozumitelný“ a uvedl, že matematická komunita zažívá „existenciální krizi“. Sergej Gukov z Caltechu přirovnal tento okamžik k „zemětřesení“.science

Zda další tvrzení OpenAI, pokud se uskuteční, prohloubí rozkol s matematiky, nebo bude znamenat bod obratu směrem ke spolupráci, zůstává otevřenou otázkou. Jak napsali držitelé Fieldsovy medaile: výzva, které nyní matematika čelí, „ukazuje na problémy, kterým může čelit celé lidstvo: jak zajistit, aby se při změně způsobu práce pomocí AI neztratilo ze zřetele to, čeho měla tato práce původně dosáhnout“.terrytao.wordpress