OpenAI vyřešila 80 let starý problém diskrétní geometrie

OpenAI oznámila průlom v matematice: jeden z jejích univerzálních modelů umělé inteligence vyřešil slavný problém diskrétní geometrie, který před téměř 80 lety položil maďarský matematik Paul Erdős. Podle společnosti výsledek již prošel nezávislým odborným posouzením matematickou komunitou.

Problémem je takzvaná úloha o jednotkových vzdálenostech v rovině. Zkoumá maximální počet dvojic bodů, které lze uspořádat tak, že vzdálenost mezi nimi je přesně jedna jednotka. Od poloviny 20. století se předpokládalo, že nejefektivnější konfigurace se budou blížit klasické čtvercové síti, ale definitivní důkaz nikdy nebyl nalezen.

OpenAI uvádí, že model přistoupil k problému nečekaným způsobem, místo obvyklých geometrických metod použil myšlenky z algebraické teorie čísel. Výsledkem bylo navržení nové rodiny konfigurací bodů, které poskytují více platných kombinací, než naznačovaly dřívější odhady.

Dalším pozoruhodným aspektem je, že model nebyl speciálně navržen pro řešení matematických problémů. Společnost zdůrazňuje, že byl použit obecný systém uvažování, nikoli specializovaný matematický nástroj.

Několik nezávislých matematiků posoudilo důkaz a potvrdilo platnost základní myšlenky. Výzkumníci poznamenávají, že by to mohl být důležitý příklad toho, jak umělá inteligence dokáže nejen urychlit analýzu stávajících řešení, ale také navrhovat nové směry vědeckého bádání. Samotný problém však není považován za zcela vyřešený – další otázky týkající se přesných hranic výsledku zůstávají otevřené.

Zajímavé je, že podobná tvrzení v minulosti vyvolala kontroverzi: byly hlášeny případy, kdy umělá inteligence nalezla známá řešení, místo aby vytvořila nová. Tentokrát OpenAI výslovně zdůraznila, že prošla externím ověřením a že výzkumné materiály byly zveřejněny.