Tu suis la course aux modèles IA ?
Chaque sortie (GPT, Claude, Gemini, Mistral…) décryptée le soir même, 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
Le célèbre mathématicien Terence Tao propose une vision novatrice de l'avenir des mathématiques grâce à l'intelligence artificielle (IA). Selon lui, l'IA pourrait introduire pour la première fois une véritable division du travail dans ce domaine, traditionnellement marqué par l'individualité des chercheurs.
Jusqu'à présent, les mathématiciens devaient gérer toutes les étapes de leur recherche, de la définition des problèmes à la vérification des résultats. Contrairement aux sciences naturelles ou à l'industrie, la spécialisation n'a jamais été une option viable en mathématiques, explique Tao.
L'introduction de l'IA et de la vérification formelle pourrait transformer cette dynamique. Tao affirme que ces technologies peuvent combler les lacunes de compétences dans les collaborations mathématiques. Cependant, il met en garde contre les risques d'un flot d'idées non testées si l'IA génère des stratégies sans les vérifier.
Pour Tao, l'automatisation doit progresser dans plusieurs domaines simultanément pour être efficace. Il souligne également que les humains restent essentiels dans ce processus, car l'IA présente des performances inégales, un principe applicable à de nombreux autres secteurs.
La vision de Tao, qu'il appelle "mathématique industrielle", pourrait voir de grandes équipes, soutenues par l'IA, mener des recherches plus larges mais moins approfondies. Tandis que l'IA traiterait des milliards de points de données, les humains continueraient à formuler des "hypothèses inspirées" à partir d'un nombre restreint d'observations.
Tao précise que le niveau d'automatisation et de puissance de l'IA utilisable de manière rentable est proportionnel à la rigueur de la vérification mise en place, afin d'éviter le désordre.
