L’IA transforme les mathématiques : un lauréat de la médaille Fields s’interroge
Le mathématicien James Maynard, lauréat de la médaille Fields, s’interroge sur l’avenir de sa discipline face à l’intégration rapide de l’intelligence artificielle.
Mathématiques
Claude d’Anthropic explore la fonction zêta de Riemann
Anthropic a publié une recherche détaillant les avancées de son modèle Claude dans la compréhension et la manipulation de concepts mathématiques complexes, notamment la fonction zêta de Riemann.
OpenAI dévoile Astra, son prochain modèle d’IA, après des avancées en mathématiques
OpenAI a présenté Astra, un nouveau modèle d’IA conçu pour les tâches complexes, après qu’une version interne a résolu dix problèmes mathématiques de longue date.
L’IA résout des problèmes mathématiques complexes, suscitant des débats
L’intelligence artificielle continue de résoudre des problèmes mathématiques non résolus, provoquant des réactions partagées au sein de la communauté scientifique.
OpenAI annonce dix avancées en mathématiques et informatique théorique
OpenAI a dévoilé des avancées significatives sur dix problèmes ouverts en mathématiques et informatique théorique, touchant la géométrie, la cryptographie et la complexité.
L’IA, un outil et un sujet d’étude pour les mathématiques selon Terence Tao
Le mathématicien Terence Tao, lauréat de la médaille Fields, a analysé l’impact de l’intelligence artificielle sur les mathématiques, la considérant comme un outil et un domaine d’étude.
Les LLM à l’épreuve des Olympiades Internationales de Mathématiques
Des modèles de langage avancés ont été évalués sur des problèmes inédits des Olympiades Internationales de Mathématiques 2026, montrant des capacités de résolution complexes.
GPT-5.6 Sol Ultra d’OpenAI aurait résolu un problème mathématique cinquantenaire
Le modèle GPT-5.6 Sol Ultra d’OpenAI aurait [À VÉRIFIER] résolu la conjecture du double recouvrement cyclique, un problème mathématique non résolu depuis 50 ans.
L’IA propose des preuves inédites en mathématiques
Des intelligences artificielles commencent à générer des preuves mathématiques inédites, marquant une évolution significative dans ce domaine abstrait.
L’IA générative et la résolution d’un problème d’Erdős
Un modèle d’OpenAI a annoncé avoir résolu un problème d’Erdős, suscitant des questions sur l’impact de l’IA générative en mathématiques.