Anthropic tvrdí: Naše AI zvládla polovinu matematických průlomů OpenAI za 24 hodin

Společnost OpenAI v sobotu oznámila, že interní verze jejího dalšího hlavního modelu AI s názvem Astra vyřešila nebo výrazně posunula 10 dlouho nevyřešených problémů v matematice a teoretické informatice. Během 24 hodin zareagoval výzkumník společnosti Anthropic Levent Alpöge s tvrzením, že pomocí veřejně dostupného modelu Claude Fable samostatně vyřešil pět z těchto samých problémů.

Tato přestřelka představuje nejnovější a možná nejvýraznější eskalaci rivality mezi dvěma předními firmami v oblasti AI, přičemž pokročilé matematické uvažování se stává novým bojištěm.

Matematické úspěchy modelu Astra

V blogovém příspěvku s názvem „Ten advances in mathematics and theoretical computer science“ společnost OpenAI uvedla, že u těchto problémů „nedošlo k žádnému posunu v hlavním výsledku nejméně po jedno desetiletí“. Výsledky pokrývají vícerozměrnou geometrii, teorii kódování, složitost aritmetických obvodů, teorii grup, operátorové algebry, kvantovou složitost, kryptografii na mřížkách a extrémální kombinatoriku.indianexpress+1

Mezi uváděnými úspěchy Astra dokázala, že existují nesofické grupy, což byla otázka otevřená od roku 1999, a vyřešila hypotézu rigidity Alaina Connese i Ehrhartovu hypotézu objemu. OpenAI uvedla, že důkazy byly formalizovány v jazyce Lean 4 a že zveřejní záznam myšlenkového postupu modelu. Společnost odhaduje, že reprodukce této práce by při cenách rozhraní API GPT-5.6 Sol stála přibližně 2 000 dolarů.openai+3

Společnost OpenAI neposkytla žádné technické podrobnosti o architektuře modelu Astra ani o harmonogramu jeho vydání. Matematik Terence Tao poznamenal, že dané problémy, i když byly těžké, byly „řešitelné pomocí známých technik“ a nejednalo se o nejhlubší nevyřešené otázky matematiky.instagram

Rychlá reakce společnosti Anthropic

Krátce po oznámení Alpöge na síti X napsal, že Claude Fable vyřešil pět ze stejných problémů za méně než 24 hodin, přičemž pracoval autonomně pouze na základě obecných zadání a bez přístupu k internetu. Problémy, které zmínil, zahrnují složitost aritmetických obvodů, kvantovou paralelní opakovatelnost a problém nejbližšího vektoru.moneycontrol+2

Alpöge není v oblasti matematiky podporované umělou inteligencí žádným nováčkem. V červenci tento bývalý nejlepší absolvent Harvardu použil model Claude Fable 5 k vyvrácení 87 let staré Jacobiho hypotézy během finále Mistrovství světa, což je výsledek, který byl od té doby nezávisle ověřen. Anthropic dosud nezveřejnil žádnou oficiální studii potvrdzující nejnovější tvrzení a OpenAI veřejně nereagovala.fortune+2

Nová fronta v závodě o AI

Společnost OpenAI přiznala, že systémy AI schopné přispívat k matematickému výzkumu vyvolávají nevyřešené otázky ohledně autorství. „Rovnat lidské autorství s důkazem vygenerovaným zcela systémem AI by zkreslovalo jak přínos systému, tak lidskou duševní práci,“ napsala společnost. Vyzvala širší akademickou obec, aby pomohla vytvořit normy pro uvádění autorství.indianexpress

Tato výměna názorů naznačuje, že špičkové modely AI od různých společností se přibližují k matematickým schopnostem na úrovni vědeckého výzkumu, a že další fáze souboje se možná nebude měřit srovnávacími testy chatbotů, ale dokázanými teorémy.