Il y a trois ans, l'IA ne pouvait pas additionner deux nombres. Il y a un an, des modèles d'Open AI et de Deep Mind ont obtenu un niveau de médaille d'or à l'IMO. Aujourd'hui, ils résolvent autonomement des questions ouvertes majeures. Cette tendance va probablement se poursuivre, exigeant une refonte radicale des mathématiques.

Une conférence intitulée La fin des mathématiques a averti d'un avenir sombre où l'IA est surhumaine mais les institutions freinent la compréhension humaine. Je crois que nous pouvons l'éviter si les mathématiques académiques s'adaptent.

Il n'y a pas de consensus sur les objectifs : résoudre des problèmes, jouer, pénétrer le royaume platonicien ou transmettre l'amour des mathématiques. Mes réponses : produire et comprendre des mathématiques de haute qualité, et produire des mathématiciens de haute qualité.

Nous opérationnalisons les objectifs par la démonstration de théorèmes. Mais si c'était l'objectif, il serait trivial de l'automatiser—un ordinateur pourrait énumérer les preuves ZFC. L'objectif n'est pas de prouver des théorèmes ; c'est de comprendre.

Entités clés : Entreprises : Open AI, Deep Mind

FAQ : Dans combien de temps l'IA sera-t-elle surhumaine en mathématiques ?

D'après les progrès récents—de l'échec en arithmétique de base à une performance de médaille d'or à l'IMO en un an—une IA robustement surhumaine dans la plupart des aspects des mathématiques pourrait arriver bientôt.

FAQ Q : Dans combien de temps l'IA sera-t-elle surhumaine en mathématiques ?

FAQ A : D'après les progrès récents—de l'échec en arithmétique de base à une performance de médaille d'or à l'IMO en un an—une IA robustement surhumaine dans la plupart des aspects des mathématiques pourrait arriver bientôt.