Matematik je „vyděšený“: AI převrátila matematický svět vzhůru nohama za jediný týden

Během jediného týdne oznámily dvě přední světové společnosti v oblasti AI výsledky, které otřásly matematickou komunitou. OpenAI tvrdí, že vyřešila 90 let starý matematický problém oceněný milionem dolarů, zatímco Anthropic prozradil, že jeho AI Claude formalizovala jeden z nejslavnějších důkazů v historii. Tyto bleskové zprávy zanechaly matematiky v rozpacích, kdy kolísají mezi úžasem a děsem.

Pád jednoho z problémů tisíciletí

V úterý 8. září společnost OpenAI oznámila, že přibližně 10 000 AI agentů běžících na dosud nevydaném modelu, který je výkonnější než GPT-6 Astra, vyřešilo za 88 hodin problém existence a hladkosti Navierových-Stokesových rovnic. Tento problém, jeden ze šesti zbývajících problémů tisíciletí vyhlášených Clayovým matematickým ústavem v roce 2000, se ptá, zda rovnice popisující pohyb tekutin mohou vést k náhlým nekonečnům, neboli k „explozi“ řešení. Agenti OpenAI dospěli k závěru, že ano.cnbc+2

Řešení, které čeká na nezávislé ověření, staví na práci španělských matematiků Diega Córdoby a Luise Martíneze-Zoroy, kteří základní techniku vyvíjeli během ročního výzkumu. Oznámení však okamžitě zastínil spor. Několik hodin před zveřejněním ze strany OpenAI zveřejnil matematik Tristan Buckmaster z Newyorské univerzity (NYU) prohlášení, v němž tvrdí, že on a výzkumník z Anthropicu Levent Alpöge pracovali na stejném problému s využitím přístupu Córdoby a Martíneze-Zoroy a že OpenAI přistoupila k publikaci poté, co se dozvěděla o jejich pokroku. Buckmaster tvrdí, že se OpenAI pokusila ovlivnit to, komu bude zásluha za práci připsána.techcrunch+4

Formalizace Velké Fermatovy věty

O několik dní dříve společnost Anthropic prozradila, že Claude vytvořil první kompletní, počítačem ověřenou formalizaci Velké Fermatovy věty v asistentu důkazů Lean. Systém pracoval převážně autonomně po dobu 11 dnů, vygeneroval přibližně 13 milionů řádků kódu a během procesu dokázal 29 500 pomocných vět. Kevin Buzzard z Imperial College London, který vede paralelní víceleté úsilí o formalizaci stejného důkazu, to označil za „mimořádný úspěch v oblasti autoformalizace“.aitechdaily+2

Výsledek nepředstavuje nový důkaz, větu dokázal Andrew Wiles již v roce 1995, ale spíše strojem ověřené zakódování stávajícího důkazu, což je úkol, o němž se matematici domnívali, že potrvá roky.letsdatascience+1

„Jsem skutečně vyděšený“

Tyto průlomy přiměly vědce k hlubokému zamyšlení. V rozhovoru pro Wired News Corp ↗ 0.61% zveřejněném v sobotu popsal matematik z Cornellovy univerzity Steven Strogatz sám sebe jako „skutečně vyděšeného“ tempem změn. „Ta věda je vzrušující,“ řekl, „ale přináší s sebou spoustu lidských neshod.“ Strogatz, spoluautor připravované knihy „Big Math“ o matematice, která přesahuje lidské chápání, popsal závod mezi korporátními laboratořemi jako částečně hnaný vyhlídkou na lukrativní IPO. Upozornil, že s tím, jak AI urychluje matematické objevy, zůstávají důsledky pro vědce, kteří těmto problémům zasvětili celou svou kariéru, nejisté.wired