📁 Terence Tao, vincitore della Medaglia Fields, afferma che l'AI può già generare molte dimostrazioni matematiche. Il vero collo di bottiglia è la verifica. Creare idee sta diventando economico. Sapere quali siano veramente corrette è ancora un lavoro umano.