OpenAI oznamuje tři nové vědecké důkazy a zapojuje externí recenzenty

Společnost OpenAI v pondělí 26. října oznámila, že její interní modely přinesly tři nové výsledky. Jedním z nich je důkaz domněnky o lokálním vyhlazování ve všech dimenzích, který by také vyřešil Kakeyaovu a Steinovu domněnku o restrikci. Druhým je vyvrácení hypotézy o exponenciálním čase a třetím je rigorózní důkaz existence pro kvantovou chromodynamiku. Místo aby společnost žádala o akademické uznání, pozvala externí odborníky, aby působili jako „pastiři“ a organizovali skupiny, které práci prověří a vysvětlí.theverge.com+1

Tři výsledky, tři plány zveřejnění

Matematické tvrzení vychází z domněnky Christophera Soggeho o lokálním vyhlazování z roku 1991. Matematici ji dokázali ve dvou prostorových dimenzích v roce 2019 a Kakeyaova domněnka byla dokázána ve třech dimenzích v roce 2025. OpenAI uvádí, že její důkaz spočívá na „nové pomocné parciální diferenciální rovnici“. Odborník doporučil zveřejnit surový výstup, takže OpenAI umístila zápis modelu a důkaz v jazyce Lean na GitHub, stejně jako při vydání 6. října.openai.com+1

Výsledek v oblasti informatiky popisuje deterministický algoritmus, který počítá splňující přiřazení pro CNF formule s pevnou šířkou v subexponenciálním čase. Aplikováno na 3-SAT by to vyvrátilo hypotézu používanou ve stovkách důkazů obtížnosti. Russell Impagliazzo a Ramamohan Paturi z Kalifornské univerzity v San Diegu, kteří hypotézu poprvé navrhli, povedou recenzi společně s Ryanem Williamsem z MIT. Varovali, že „naše zapojení by nemělo být bráno jako certifikace tvrzení“. OpenAI také souhlasila s jejich žádostí o financování konference o tom, co výsledek znamená pro daný obor.thenextweb.com+1

Fyzikální materiály byly zadrženy. Skupina vedená nositelem Nobelovy ceny Davidem Grossem, spolu s Michaelem Douglasem, Arthurem Jaffem, Igorem Klebanovem a Nikitou Nekrasovem, se rozhodla výsledek sepsat sama. Práce zahrnuje důkaz existence pro čistou Yang-Millsovu teorii, což je součást problémů Clay Millennium Prize.openai.com

Otázky kolem modelu pastýřů

OpenAI uvádí, že pastýři nebudou podepisovat dohody o mlčenlivosti a nebudou placeni. Dále uvádí, že „nevyžaduje akademické uznání“ za objevy svých modelů. Společnost uznala, že výběr prvních pastýřů „vytváří informační asymetrii“. Toto uspořádání doplňuje nedávný příspěvek OpenAI ve výši 5 milionů dolarů nadaci Simons Foundation, která bude financovat workshopy o výsledcích vytvořených umělou inteligencí.openai.com

Ne všichni s tímto přístupem souhlasí. Den před oznámením doporučil vlastní panel matematických poradců OpenAI, aby společnosti zabývající se umělou inteligencí nepřijímaly praxi poskytování přednostního přístupu k výstupům modelů vybraným osobám. Panel citoval nerovný přístup, vypůjčenou reputaci a předpojatý výběr. Server Gizmodo poznamenal, že ověřování v jazyce Lean již v minulosti způsobilo problémy. Čtenáři dřívějšího tvrzení OpenAI o Navierových-Stokesových rovnicích se obávali, že důkaz v jazyce Lean ověřil slabší tvrzení, než jaké společnost publikovala. OpenAI popisuje nové rukopisy jako „surová výzkumná data“, která vědecká komunita musí teprve přetavit v porozumění.gizmodo.com+1