Tao repense les critères du progrès mathématique
Original : “Math 2.0” will need to value mathematical progress more holistically
Pourquoi c'est important
L'IA et la vérification formelle transforment la façon dont les mathématiques sont produites et validées.
Le mathématicien Terence Tao plaide sur Mastodon pour un « Math 2.0 » qui valorise la collaboration et la reproductibilité, au-delà de la seule priorité de découverte.
Sur le réseau social Mastodon (instance Mathstodon), le lauréat de la médaille Fields Terence Tao a publié une réflexion sur ce qu'il appelle le passage du « Math 1.0 » au « Math 2.0 ». Selon lui, l'ancien modèle plaçait la prime à celui qui découvrait en premier — une logique de compétition individuelle. Le nouveau modèle, qu'il appelle de ses vœux, devrait évaluer le progrès mathématique de façon plus large : qualité de la preuve, accessibilité, vérifiabilité, et contribution collective. Ce post s'inscrit dans un débat plus large sur l'impact des outils d'IA et de vérification formelle (comme Lean) sur la pratique mathématique, qui rend la collaboration distribuée à grande échelle techniquement possible pour la première fois.