Egy egyszerű magyarázatot tudnál adni, hogyan tud az AI olyan matematikai sejtést bizonyítani, amire emberi bizonyítás eddig nem létezett (így leírva sem lehetett)?