OpenAI tvrdí, že její model Astra vyřešil 10 otevřených matematických problémů

Společnost OpenAI 1. srpna oznámila, že interní verze modelu Astra, její nadcházející hlavní rodiny modelů, vygenerovala řešení deseti dlouho otevřených problémů v matematice a teoretické informatice při celkových nákladech na inferenci přibližně 2 000 dolarů v cenách Sol API.openai

Tyto problémy odolávaly pokroku nejméně jedno desetiletí a pokrývají vícerozměrnou geometrii, teorii kódování, složitost aritmetických obvodů, teorii grup, algebry operátorů, kvantovou složitost, mřížkovou kryptografii a extremální kombinatoriku. Lidští výzkumníci zpracovali argumenty do rukopisů za použití téhož modelu, který pak každý důkaz formalizoval v jazyce Lean určeném pro strojově ověřované věty. Společnost OpenAI veřejně publikovala všechny certifikáty a záznamy uvažování.forklog+1

Co Astra vyřešila

Mezi deseti výsledky jsou nové horní odhady hustoty uspořádání koulí až po Cohnovu-Elkiesovu hranici, konstrukce dokazující existenci nesofických grup, což byla ústřední otázka v teorii grup otevřená od roku 1999, a vyvrácení Connesovy hypotézy rigidity o von Neumannových algebrách. Astra také přinesla nové dolní odhady složitosti aritmetických obvodů pro výpočet permanentu, teorém o exponenciálním paralelním opakování pro kvantové hry dvou hráčů a polynomiální obtížnost aproximace problému nejbližšího vektoru, což má důsledky pro postkvantovou kryptografii.forklog+1

Model vyřešil Ehrhartovu hypotézu objemu ve všech dimenzích, vytvořil superexponenciální dolní odhad pro vícebarevná trojúhelníková Ramseyova čísla, čímž vyřešil Erdősův problém 183, a zabýval se hypotézami kompaktnosti a degenerace v extremální teorii grafů, čímž vyřešil Erdősovy problémy 146 a 180.openai

Thomas Bloom, matematik z Manchesterské univerzity, popsal výsledky jako „velkou zprávu“ a „významný krok“.forklog

Astra zůstává nevydaná

Astra nebyla veřejně vydána. Sam Altman model předvedl americkým senátorům a regulátorům ve Washingtonu koncem července a mohl by být prvním systémem předloženým v rámci plánovaného rámce Trumpovy administrativy pro hodnocení AI modelů před jejich vydáním. Podle serveru The Information News Corp ↘ 1.67% společnost OpenAI nerozhodla, zda Astra vyjde jako GPT-6, nebo jako varianta v řadě GPT-5, a dosud nebylo stanoveno žádné datum vydání.softonic+2

Noam Brown, spoluautor technologie uvažování modelu Astra, poznamenal, že model nedokázal vyřešit Problémy tisíciletí, sedm otázek stanovených Clayovým matematickým institutem v roce 2000 jako nejdůležitější v matematice. Společnost OpenAI jednoznačně uvedla, že „nárokování lidského autorství u důkazu vygenerovaného zcela systémem umělé inteligence by zkreslovalo jak přínos systému, tak povahu skutečné lidské duševní práce“.forklog+1