Lors d’un congrès mathématique en janvier, un professeur a partagé ses difficultés à résoudre un problème complexe depuis cinq ans, et à sa grande surprise, une intelligence artificielle a apporté la solution le lendemain. En l’espace d’une semaine, la startup Axiom a réussi à publier quatre démonstrations mathématiques innovantes, entièrement conçues par l’IA. Cette prouesse marque une avancée significative dans le domaine de l’intelligence artificielle et des mathématiques, posant des questions sur le futur de la recherche et la collaboration entre humains et machines.