Matematici a umělá inteligence: Nečekané spojenectví, které může změnit matematiku navždy

Matematika jako sport na vysoké úrovni

Kulturu matematického řešení problémů obklopuje určitá romantika. Matematici na tyto hádanky nenarazí náhodou — honí se za nimi, posedávají nad nimi a občas za jejich vyřešení dostanou Fieldsovu medaili. Čím déle problém odolává důkazu, tím prestižnější se jeho řešení stává.

Letos v červnu se odehrála zajímavá věc. Týmy z Londýna i Berkeley se sešly, aby sestavily nový seznam 50 problémů s důležitou podmínkou: každý problém musí být ověřitelný automatizovanými nástroji. Nejde o akademickou úhlednost — jde o přemostění propasti mezi lidskou intuicí a strojovým ověřováním. Vzniká tak rámec, kde můžou AI a matematici skutečně spolupracovat.

Yang-Hui He, matematik z London Institute for Mathematical Sciences, přivedl na workshop svého malého syna. Zatímco dítě pojídalo dort, matematici spolupracovali na odeslání problémů z teorie uzlů, algebry, topologie a teorie čísel. V té vizi je něco krásně lidského — staletá matematická tradice se potkává s další generací.

Problémy, které nedají matematikům spát

Seznam čtete jako největší hity matematického utrpení. Tady jsou ty nejzajímavější:

Součet tří krychlí

Co se stane, když se pokusíte vyjádřit číslo jako součet tří krychlí? Rovnice x³ + y³ + z³ = k mate matematiky už desetiletí. V roce 2020 Andrew Booker a Andrew Sutherland vyřešili případ pro k=42, přičemž spotřebovali 1,3 milionu výpočetních hodin na dobrovolnických domácích počítačích. Další cíl? 114. Háček? Nejmenší řešení pravděpodobně obsahuje kolem 30 číslic — řešení hrubou silou by mohlo stát 100 milionů dolarů nebo víc.

Apéryho důkaz iracionality

Irracionální čísla — desetinná čísla, která nejde vyjádřit čistými zlomky — skrývají hluboká tajemství. Přestože pi a √2 jsou známé příklady, dokázat iracionalitu je prokazatelně těžké. Trvalo dva tisíce let, než se podařilo dokázat iracionalita pi. V roce 1978 Roger Apéry dokázal, že ζ(3) (součet 1/n³) je iracionální, pomocí záhadné techniky "sendvičování". Když se ho ptali, jak svůj důkaz našel, údajně řekl, že ho našel v květináči. Toto tajemství zůstává dodnes nevyřešené.

Conjecture o osamělém běžci

Tady je problém, který zní téměř rozverně: umístěte běžce na kruhovou dráhu, každý běží konstantní rychlostí. Conjecture předpovídá, že v nějakém okamžiku bude každý běžec maximálně vzdálený od všech ostatních — svůj "nejosamělejší" moment. Jednoduché na vysvětlení, ďábelsky těžké na dokázání.

AI vstupuje do hry

Nejzajímavější aspekt tohoto projektu je jeho propojení s umělou inteligencí. Epoch AI zadala seznam konkrétně jako benchmark pro pokrok AI. A načasování je zvláštní — OpenAI nedávno oznámila řešení Navier-Stokes problému, jednoho ze sedmi Millennium Prize problémů v hodnotě milion dolarů za každý.

Koncem září bylo několik problémů z nového seznamu vyřešeno, ačkoli oficiální sbírka stále přetéká výzvami. OpenAI oznámila, že její nevydaný interní AI model vyřešil přes 100 otevřených otázek, ale kolik z nich je přesně na tomto seznamu, zůstává nejasné.

Proč by to mělo zajímat tech svět

Možná se ptáte, co mají stovky let staré matematické domněnky společného s moderním vývojem softwaru nebo cloudovým hostingem. Více, než si myslíte.

Zaprvé, matematické řešení problémů žene výpočetní inovace. Hrubá síla při řešení "součtu tří krychlí" pro k=42 vyžadovala distribuované výpočty na tisících dobrovolnických strojů — předzvěst moderní cloudové infrastruktury.

Zadruhé, průnik AI a formální verifikace se dotýká každého aspektu spolehlivosti softwaru. Když matematici trvají na tom, aby problémy byly "automaticky ověřitelné", praktifikují to, co softwaroví inženýři nazývají formální metody — stejné principy, které dělají bezpečné systémy důvěryhodnými.

Zatřetí, a možná nejdůležitější, duch řešení nemožných problémů je přesně to, co žene technologické inovace. Ať už řešíte Riemannovu hypotézu, nebo stavíte další škálovatelnou hostingovou platformu, přístup je podobný: identifikujte omezení, najděte elegantní řešení a ověřte svou práci.

Spolupráce matematické komunity s AI organizacemi představuje novou kapitolu objevování. Těchto 50 problémů nejsou jen akademické kuriozity — jsou to benchmarky pro lidsko-AI partnerství v intelektuálním úsilí. A v éře, kdy stavíme AI-asistované vývojářské nástroje a platformy pro vibe coding, sledovat AI, jak se potýká s nejtěžšími matematickými výzvami, nám dává nahlédnout do budoucnosti, kterou budujeme.

Tajemství květináče zůstává nevyřešené. Ale někde tam venku se možná AI přibližuje k pochopení, jak Apéry svůj důkaz našel.