Jsem naprosto přesvědčen, že nejchytřejší modely umělé inteligence, které jsou nyní k dispozici, GPT-5 Pro a Grok4 Heavy, jsou již dostatečně chytré a jistě dostatečně informované o matematice a umělé inteligenci, aby vymyslely a rozvinuly důležité teoretické a praktické objevy, pokud dostanou správný druh chytrého pobídnutí.