L'AI può inventare nuova matematica? Un nuovo articolo di DeepMind e del rinomato matematico Terence Tao mostra come. Utilizzando AlphaEvolve, il team unisce idee generate da LLM con valutazioni automatizzate per proporre, testare e perfezionare algoritmi matematici. Nei test su 67 problemi di analisi, geometria e teoria dei numeri, AlphaEvolve non solo ha riscoperto risultati noti, ma spesso li ha anche migliorati—generalizzando persino casi finiti in formule universali. Abbinato a DeepThink e AlphaProof, indica un futuro in cui l'AI non assiste solo i matematici, ma collabora con loro nella scoperta.