Autorom domnienky je nemecký matematik Ott-Heinrich Keller.
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.
Sledujte Televízne noviny vo full HD a bez reklám na Voyo
