OpenAI vydal velkou sbírku matematického výzkumu vyrobené vnitřní hranice modelu AI, včetně práce na problémy, které zpochybňují profesionální matematici po celá léta.
Společnost oznámila vydání 6. října, říká, že výsledky pokrývají širokou škálu matematiky a jsou zveřejněny otevřeně pro kontrolu výzkumníků.
Veřejná sbírka obsahuje 722 rukopisů organizovaných do 372 souvisejících výsledkových rodin, podle komunity vývojářů OpenAI. Práce vzešla z hodnocení zahrnující zhruba 4000 matematických problémů.
Verge hlásí, že sbírka zahrnuje stovky matematických výsledků generovaných neuvolněným hraničním modelem. Ale zveřejnění neznamená, že by se s každým tvrzením mělo okamžitě zacházet jako se zavedeným matematickým faktem. Výzkumníci budou muset prozkoumat důkazy a určit význam a novost jednotlivých výsledků.
Jedním z zvláště významných rysů je, že OpenAI poskytuje formalizace mnoha dokladů pomocí Lean, programovací jazyk, který umožňuje matematické důkazy, které mají být kontrolovány počítačem. Společnost říká, že další formalizace budou přidány v průběhu času.
OpenAI také odhalila pozoruhodnou míru příslušných výpočtů. V průměru, každý výsledek vyžadoval výpočetní ekvivalent zhruba tři hodiny ChatGPT Pro myšlení pomocí interního modelu.
Uvolnění následuje stále dramatičtější tvrzení o AI schopnost přispět k matematice. V září, OpenAI řekl, že stejné širší výzkumné úsilí bylo vyřešeno více než 100 dlouholetých otevřených problémů, nabádat společnost k práci s nezávislou skupinou prominentní matematici na tom, jak takové objevy by měly být přezkoumány a sděleny.
Tato poradní skupina zahrnuje matematici z institucí, včetně Stanford, Harvard, Oxford, Cambridge, Berkeley a Institut pro vyšší studia. Jeho úlohou není pouze podporovat práci OpenAI, ale nezávisle radit o významu, výzkumných normách a zodpovědném zveřejnění.
Větší otázka nyní přesahuje to, zda AI dokáže odpovědět na složité otázky matematiky.
Pokud nezávislí matematici nakonec ověřit významné části této práce, nová hranice může být, zda AI může běžně objevovat matematiku, že lidé ještě neví.