Sono assolutamente convinto che i modelli di intelligenza artificiale più intelligenti attualmente disponibili, GPT-5 Pro e Grok4 Heavy, siano già abbastanza intelligenti e sicuramente sufficientemente informati su matematica e intelligenza artificiale per concepire e sviluppare importanti scoperte teoriche e pratiche, data la giusta forma di sollecitazione.