Dans un nouvel essai, Terence Tao a prévenu que l'intelligence artificielle pourrait pousser les mathématiques vers une crise comparable aux bouleversements fondamentaux survenus vers 1900. Selon The Decoder, il ne s'agit pas de la vérité mathématique en tant que telle, mais des valeurs de la discipline.
Au cœur de son avertissement se trouvent des questions sur ce qu'il faut considérer comme une contribution, quels résultats encourager et à qui appartient le travail accompli. Tao propose une règle pratique: une preuve qu'aucun humain ne peut expliquer devrait être considérée comme inachevée.
La portée de cette position réside dans un déplacement potentiel du débat, passant des capacités de l'IA aux règles du travail scientifique. Toutefois, les informations disponibles se limitent au synopsis de The Decoder; le texte intégral de l'essai et la réaction de la communauté mathématique ne sont pas présentés dans le paquet source.
commentaire éditorial
Pourquoi c’est important
Une conséquence probable est un renforcement des exigences concernant l'explication humaine et la fixation de la paternité des résultats mathématiques. Le signal observable le plus proche sera la publication de l'essai complet et la réaction publique des mathématiciens. Une incertitude substantielle subsiste car la conclusion repose sur un seul synopsis, sans le texte intégral ni confirmation supplémentaire.