Terence Tao e ricercatori IBM mostrano come AI avanzate ora comprendano e completino teoremi complessi usando sistemi ibridi che uniscono ragionamento simbolico e apprendimento automatico. Questa collaborazione apre vie per accelerare la matematica e garantire verifiche rigorose, pur mantenendo il ruolo umano nella creatività e nella bellezza della disciplina.
