Toutes les news taguées avec ce sujet.
Un chercheur évalue l'apport réel des LLMs dans la démonstration de théorèmes mathématiques complexes liés aux sommes d'Euler.
Le mathématicien le plus célèbre du monde raconte comment les outils d'IA ont transformé sa pratique de la recherche mathématique.
Un framework agentique basé sur DeepSeek-V4-Flash atteint 100 % sur MiniF2F et 88,8 % sur PutnamBench, à un coût 500x inférieur aux pipelines comparables.
La startup Axiom, fondée il y a sept mois, a résolu les 12 problèmes du prestigieux Putnam exam, surpassant DeepSeek et les meilleurs étudiants.
Des chercheurs en mathématiques s'inquiètent de la capacité croissante des systèmes d'IA à résoudre des problèmes avancés, soulevant des questions sur l'avenir de la discipline.
Des chercheurs lancent une déclaration formelle pour encadrer l'usage de l'IA dans la recherche mathématique.
Un projet expérimental qui applique les fondements mathématiques de la théorie des catégories pour architecturer un framework ML en Rust.
Une analyse mathématique rigoureuse montre comment les tokens se concentrent rapidement dans les Transformers profonds à l'inférence, via des outils de systèmes multi-particules.
Une note mathématique établit l'existence de polynômes d'approximation non négatifs pour les indicatrices de classes de sets, avec des bornes de degré quasi-optimales.
Un environnement de travail agentique dédié aux mathématiciens obtient 48 % sur FrontierMath Tier 4, nouveau record toutes IA confondues.
Des mathématiciens réfutent une conjecture de Carbery sur l'inégalité triangulaire dans Lp, et utilisent le LLM Grok pour explorer des lemmes intermédiaires.
Des chercheurs rapportent cinq résultats mathématiques originaux obtenus avec le LLM Grok, tous vérifiés formellement par les auteurs.