Antropický matematik použil vlastní velký jazykový model společnosti k vyvrácení matematického dohadu, který odolával řešení po dobu 87 let, a přinesl jeden z dosud nejpozoruhodnějších příkladů umělé inteligence, která pokročila v čisté matematice.

Levent Alpöge, matematik ve společnosti AI Anthropic, oznámil, že našel protipříklad k jakobiánské domněnce, slavnému a dlouhodobému problému v algebraické geometrii. K výsledku došel pomocí modelu Claude Fable 5 od Anthropic, který byl veřejnosti vydán jen před týdny. Objev, o kterém poprvé informovaly ScienceDaily a SciTechDaily a čerpaný z článku původně publikovaného v The Conversation, vyvolal vlnu nadšení v matematické komunitě. Pro čtenáře sledující nejnovější vývoj AI výsledek podtrhuje, jak rychle se hraniční modely přesouvají z triků v salonu do skutečně produktivní vědecké práce.

Formule dostatečně malá pro jeden příspěvek

Co dělá tento průlom tak překvapivým, je jeho kompaktnost. Podle SciTechDaily je protipříklad pozoruhodně jednoduchá trojrozměrná funkce — vzorec dostatečně krátký, aby se vešel do jediného příspěvku na X. Protipříklad s pomocí AI vyvrací jakobiánskou domněnku nad dvěma rozměry, zatímco původní dvourozměrnou formu domněnky nechává otevřenou.

Na té nuanci záleží. Výsledek neřeší celý problém, který trvá od 19. století. Namísto toho odhaluje neočekávaný limit: zobecněná, vícedimenzionální verze domněnky je nepravdivá, i když případ, o který se matematici původně zajímali nejvíce, zůstává nevyřešen.

Historie za problémem

Jacobiánský dohad se týká polynomiálních funkcí — matematických strojů, které přijímají čísla a vytvářejí nová čísla podle určitého pravidla. V tomto nastavení mohou čísla představovat body v prostoru, jako jsou souřadnice na mapě. Funkce vezme tyto souřadnice a transformuje je a přesune body do různých pozic. Matematici mohou zkoumat, jak hladce funkce přeskupuje prostor, výpočtem svého jakobiánského determinantu. Dohad se v podstatě ptá: pokud je tento determinant nenulová konstanta, má funkce nutně polynomiální inverzi?

Problém má dlouhou historii. Poprvé ji vyslovil český matematik Ludwig Kraus v roce 1884, poté ji zobecnil na libovolný počet dimenzí německý matematik Ott-Heinrich Keller v roce 1939. Považovala ji za tak důležitou, že ji Fieldsov medailista Stephen Smale v roce 1998 zařadil do svého vlivného seznamu matematických problémů pro příští století.

Během svého dlouhého života tato domněnka přilákala mnoho požadovaných důkazů, včetně pokusů Beniamina Segreho a Wolfganga Gröbnera, dvou slavných matematiků 20. století. Žádný nevydržel. Skutečnost, že se nyní objevil protipříklad – s pomocí modelu ve stylu chatbota – ilustruje, jak se umělá inteligence ukazuje jako užitečná pro objevování neočekávaných matematických objektů jako pro vytváření důkazů.

Proč padl případ Vyšší dimenze

Klíčový rozdíl je mezi dvěma a třemi (nebo více) rozměry. Původní dvourozměrná jakobiánská domněnka, verze, která zaměstnávala algebraické geometry po generace, je stále otevřená. To, co našli Alpöge a Claude Fable 5, je protipříklad ve třech rozměrech, což stačí k vyvrácení zobecněných domněnek, které Keller formuloval v roce 1939.

To je sám o sobě smysluplný výsledek. Mnoho badatelů předpokládalo, že pokud je tato domněnka vůbec pravdivá, bude platit všude. Čistý protipříklad v dimenzi tři zužuje prostor možností a přerámovává zbývající otázku: jsou dvě dimenze skutečně speciální, nebo se tam skrývá i protipříklad?

Stručnost protipříkladu je sama o sobě pozoruhodná. Fortune oznámilo, že matematici se potýkají s „velmi rychlou a velmi znepokojivou změnou“, protože nástroje umělé inteligence řeší jeden po druhém stoleté problémy. Malý vzorec, který svrhává problém podporovaný Fieldsovým medailistou, je přesně ten druh vývoje, který podněcuje ten neklid – a to vzrušení.

Rostoucí role umělé inteligence v matematice

Matematici pracující s velkými jazykovými modely nedávno přinesli několik pozoruhodných výsledků a protipříklad jakobiánských domněnek stojí stranou mnoha dřívějších pokroků. Spolupráce mezi Alpöge a Claudem Fableem 5, místo aby se probírala hrubou silou, přinesla stručnou, člověkem ověřitelnou odpověď – druh výstupu, který mohou matematici ověřit a na kterém mohou stavět.

Objev také zdůrazňuje širší vzorec. Hraniční modely jsou stále schopnější prozkoumávat obrovské kombinační prostory a navrhovat kandidátské objekty, o které by člověk nikdy nenarazil. Když jsou tito kandidáti dostatečně malí na to, aby je mohli ověřit ručně, kombinace šířky AI a lidského úsudku se stane mocnou.

Co to znamená pro budoucnost

Co to znamená pro budoucnost matematiky – a pro lidské matematiky – se teprve uvidí, jak poznamenal SciTechDaily. Protipříklad nečiní matematiky zastaralými; pokud něco, vyostřuje otevřenou otázku a dává výzkumníkům přesný nový cíl. Potvrzuje to však, že umělá inteligence se posunula za hranice shrnutí učebnic a do srdce kreativní matematické práce.

Výsledkem je také vysoce profilovaná validace pro Anthropic. Claude Fable 5, vydaný veřejnosti jen několik týdnů před objevem, byl použit jedním z vlastních matematiků společnosti k vyřešení problému, který zmařil některé z největších mozků minulého století. Pro společnost, která se snaží prokázat, že její modely dokážou uvažovat na hranici, je jen málo doporučení věrohodnějších než domněnka z roku 1939, která konečně praskla.

Udržujte si náskok před AI

Tempo objevů řízených umělou inteligencí se ve vědě, matematice a průmyslu zrychluje. Přidejte si do záložek naše nejnovější zprávy o AI, abyste mohli průběžně informovat o vydáních modelů, průlomových objevech ve výzkumu a změnách zásad.

Přečtěte si další zprávy o AI →