Matematický problém, ktorý vedcov trápil 90 rokov, rozlúskla umelá inteligencia. Za 30 minút

Medzinárodný tím matematikov dokončil riešenie matematického problému, ktorý zamestnával vedcov 90 rokov. Pomohla im pri tom umelá inteligencia. „Kellerova domnienka", ktorej autorom je nemecký matematik Ott-Heinrich Keller, rieši pokrývanie priestoru rovnako veľkými dlaždicami. Hovorí, že v dvojrozmernom priestore musia mať štvorcové dlaždice vždy spoločnú aspoň jednu stranu.

Počas výskumu, ktorý trval desiatky rokov, sa podarilo dokázať, že rovnaké pravidlo platí alebo neplatí aj vo viacerých rozmeroch - od troch až po dvanásť. Píše o tom portál ČT24.

Má to však výnimku, pri siedmych rozmeroch sa doteraz na riešenie nedalo prísť. Matematická operácia, ktorá by získala odpoveď totiž obsahovala až 39-tisíc premenných. Aj najrýchlejším počítačom súčasnosti by vypočítanie trvalo dlhší čas, ako je vek vesmíru.

Tímu matematikov sa to napriek tomu podarilo s použitím 40 počítačov, ktorým to trvalo 30 minút. Stroje potvrdili, že Kellerova domnienka platí aj v sedemrozmernom prostredí. Vďačia za to použitiu geniálnej skratky. Zistili totiž, že v riešení sú niektoré opakujúce sa miesta, vďaka čomu mohli pri výpočte rýchlo vylúčiť množstvo hluchých miest.

Problém je ale v tom, že špeciálne trénovaná umelá inteligencia vychŕlila argumenty pre riešenie v súbore s veľkosťou 200 GB. Pre človeka sú tieto dôkazy také zložité a obsiahle, že zatiaľ nemá šancu ich pochopiť. Overiť správnosť riešenia zatiaľ dokáže iba ďalší program, do ktorého vložili súbor.