L'IA peut-elle inventer de nouvelles mathématiques ? Un nouvel article de DeepMind et du mathématicien renommé Terence Tao montre comment. En utilisant AlphaEvolve, l'équipe fusionne des idées générées par des LLM avec une évaluation automatisée pour proposer, tester et affiner des algorithmes mathématiques. Lors de tests sur 67 problèmes d'analyse, de géométrie et de théorie des nombres, AlphaEvolve a non seulement redécouvert des résultats connus, mais les a souvent améliorés—généralisant même des cas finis en formules universelles. Associé à DeepThink et AlphaProof, cela ouvre la voie à un avenir où l'IA n'assiste pas seulement les mathématiciens, mais collabore avec eux dans la découverte.