L'IA fait des progrès en mathématiques : le modèle o3 d'OpenAI obtient un score remarquable sur l'ensemble de données FrontierMath
Le nouveau modèle linguistique d'OpenAI, o3, a atteint un taux de précision de 25 % sur l'ensemble de données FrontierMath, ce qui a déclenché un débat au sein de la communauté mathématique sur les capacités mathématiques de l'IA. FrontierMath est un ensemble de données secret contenant des centaines de problèmes mathématiques complexes qui nécessitent le calcul de valeurs numériques spécifiques plutôt que de simplement prouver des théorèmes. La performance de o3 est surprenante, car elle dépasse les limites précédentes de l'IA, qui ne pouvait résoudre que des problèmes au niveau des olympiades mathématiques ou des études de premier cycle. Bien que la difficulté et la représentativité de l'échantillon de l'ensemble de données soient encore débattues, cette réalisation représente un progrès significatif pour l'IA en mathématiques, ce qui incite à réfléchir à l'avenir du développement de l'IA et à l'orientation de la recherche mathématique.