Terence Tao alerte sur une crise des normes mathématiques face à l’IA
Le brief IA que les pros lisent chaque soir
Les 7 actus IA du jour, décryptées en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
Dans un essai récent, Terence Tao avertit que l’IA pourrait entraîner une crise majeure pour la discipline. Il met l’accent non sur la véracité des théorèmes, mais sur les modalités du fonctionnement : contribution, récompenses et répartition du crédit. Il propose une règle empirique : toute démonstration qu’aucun humain n’est en mesure d’expliquer doit être considérée comme incomplète.
Une règle : une preuve inexpliquée par un humain est incomplète
Terence Tao propose un critère pratique pour juger une preuve. Selon lui, si aucun humain n’est capable d’en donner une explication, cette preuve doit être considérée comme incomplète.
Selon Tao, l’IA éprouve les valeurs du métier, pas la vérité
Tao estime que l’IA ne remet pas en cause la vérité mathématique elle-même. Il soutient qu’elle met surtout à l’épreuve les valeurs de la communauté : ce qui est reconnu comme contribution, ce qui est récompensé, et l’identification de qui a réellement accompli le travail.
Il compare le risque à 1900 et l’érige « depuis Gödel »
Tao soutient que l’IA serait susceptible de provoquer la crise la plus importante des mathématiques depuis Gödel. Il compare ce danger aux profonds bouleversements qui ont eu lieu aux alentours de 1900. Ces prises de position sont formulées dans un nouvel essai.
Brief IA — L'actualité IA en français
L'essentiel de l'actualité de l'intelligence artificielle, décrypté et expliqué chaque jour.