AI od OpenAI rozluštila 80 let starou geometrickou hádanku: Odhalila nečekané spojení s teorií čísel

Matematici po téměř 80 let věřili, že plně rozumí limitům slavné geometrické hádanky, kterou poprvé představil maďarský matematik Paul Erdős.

Matematici po téměř 80 let věřili, že plně rozumí limitům slavné geometrické hádanky, kterou poprvé představil maďarský matematik Paul Erdős. Nyní však model umělé inteligence vyvinutý společností OpenAI tuto domněnku vyvrátil a vyřešil jeden z nejtvrdohlavějších otevřených problémů v oboru.

Jádrem průlomu je takzvaný „problém jednotkové vzdálenosti“, zdánlivě jednoduchá otázka, která se ptá, kolik párů bodů může ležet přesně jednu jednotku od sebe na rovné ploše. Navzdory své jednoduchosti problém trápil matematiky od roku 1946 a stal se jednou z nejznámějších otázek v kombinatorické geometrii. Po desetiletí se matematici domnívali, že nejlepší řešení nabízejí vzory čtvercových mřížek, a Erdős sám navrhoval, že počet párů s jednotkovou vzdáleností může růst jen o něco rychleji než lineárně s přidáváním dalších bodů.

Model OpenAI nyní objevil nekonečnou rodinu uspořádání bodů, která vytvářejí výrazně více párů s jednotkovou vzdáleností než klasický přístup čtvercové mřížky. Matematik Will Sawin z Princetonu později výsledek upřesnil a ukázal, že zlepšení lze vyjádřit s pevným exponentem. Co vědce nejvíce překvapilo, byla metoda, která za důkazem stála. Namísto spoléhání se na tradiční geometrické triky propojila umělá inteligence problém s algebraickou teorií čísel, hlubokou větví matematiky, která studuje číselné systémy rozšiřující běžná celá čísla. Důkaz využil pokročilé koncepty, jako jsou nekonečné věže třídních polí a Golod-Shafarevichova teorie, nástroje zřídka spojované s geometrickými hádankami.

Tento objev ukazuje, jak umělá inteligence dokázala využít skryté symetrie v exotických číselných systémech k vytvoření mnohem více jednotkových vzdáleností mezi body, což experty ohromilo. Důkaz prošel externím přezkumem matematiků a držitel Fieldsovy medaile Tim Gowers označil tento úspěch za „milník v matematice AI“. Teoretik čísel Arul Shankar uvedl, že práce ukazuje, že systémy umělé inteligence se mohou posunout za hranice pouhé asistence matematikům a začít generovat skutečně originální myšlenky. Výsledek může ovlivnit i další geometrické problémy, které byly dlouho považovány za nesouvisející s teorií čísel, a naznačuje, že hluboká teorie čísel může skrývat odpovědi na několik nevyřešených otázek v diskrétní geometrii.

Tento průlom také zdůrazňuje rychlý vývoj systémů umělé inteligence. OpenAI uvedla, že tento důkaz pochází z univerzálního modelu pro uvažování, který nebyl specificky trénován na problém jednotkové vzdálenosti ani pro něj nebyly vytvořeny specializované vyhledávací nástroje. Tento detail je důležitý, protože naznačuje širší vědecké aplikace. Vědci věří, že systémy schopné řídit dlouhé řetězce uvažování by mohly nakonec pomáhat v oborech, jako je fyzika, biologie, inženýrství a medicína. Prozatím je průlom v problému jednotkové vzdálenosti považován za přelomový okamžik, kdy problém, který odolával lidskému úsilí téměř osm desetiletí, padl před systémem umělé inteligence, který k geometrii přistoupil zcela nečekaným směrem.