Toutes les news taguées avec ce sujet.
Stephen Wolfram livre sa réflexion sur la manière dont l'IA pourrait transformer le travail des mathématiciens et la nature même de la recherche en mathématiques pures.
Une réflexion sur les précautions à prendre avant de diffuser des résultats mathématiques produits par des systèmes d'IA.
Une publication virale sur X prête à un modèle non confirmé nommé GPT-6 Astra une avancée mathématique majeure, sans source vérifiable.
Une critique scientifique suggère qu'OpenAI aurait formulé une version erronée des équations de Navier-Stokes dans son travail de recherche, soulevant des questions sur la validité de la preuve.
OpenAI s'appuie sur un groupe consultatif indépendant pour encadrer la vérification et la communication des nouveaux résultats mathématiques produits par l'IA.
L'intelligence artificielle accélère les démonstrations mathématiques, mais soulève des questions de fiabilité et de vérification qui divisent la communauté scientifique.
Un système multi-agents structure la production de preuves complexes et obtient de nouveaux résultats sur des problèmes ouverts issus de FOCS et JMLR.
Des chercheurs en mathématiques accusent OpenAI d'avoir utilisé leurs problèmes et échanges sans consentement clair pour entraîner ou tester ses modèles.
Le mathématicien Terence Tao décrit un décalage préoccupant entre les capacités affichées des IA et leur usage réel en recherche mathématique.
Un article de mathématiques pures construit des contre-exemples à une conjecture classique sur les opérateurs monotones maximaux, sans lien avec l'IA appliquée.
Le mathématicien Terence Tao alerte sur le risque de voir les problèmes ouverts en maths épuisés par des IA sans réel apport conceptuel.
OpenAI publie une solution générée par IA à l'un des sept problèmes du millénaire, avec preuve formelle en Lean.
Un projet open source combine plusieurs moteurs de calcul avec vérification des résultats, exposé via un serveur MCP.