Les grands modèles de langage affichent d'excellents résultats dans de nombreuses tâches, mais leurs capacités de raisonnement restent controversées. Des chercheurs de Meta ont récemment publié un article présentant la manière dont ils ont utilisé un modèle de transformateur pour résoudre un problème de longue date en mathématiques : la découverte de fonctions de Lyapunov globales pour les systèmes dynamiques. Les fonctions de Lyapunov permettent de déterminer la stabilité d'un système dynamique. Par exemple, elles peuvent être utilisées pour prédire la stabilité à long terme du problème à trois corps, c'est-à-dire la trajectoire de mouvement à long terme de trois corps célestes sous l'effet de la gravitation. Cependant, il n'existe pas encore de méthode universelle pour …

Récemment, le célèbre mathématicien Terence Tao a déclaré lors d'un entretien accordé à l'Atlantic Monthly que l'intelligence artificielle ne pourrait probablement jamais remplacer les mathématiciens humains. Considéré comme « le plus grand mathématicien vivant au monde », Tao estime qu'il existe une différence fondamentale entre l'intelligence artificielle et les mathématiciens humains. Note sur l'image : Image générée par IA, fournisseur de services d'autorisation d'images Midjourney. Tao souligne que la différence essentielle entre un étudiant et une IA réside dans le fait que l'étudiant apprend et progresse. L'IA peut parfois corriger son approche face à l'échec, mais parfois elle revient...