Modèles17•03/10/2026, 05:18Meta : le modèle Muse Spark résout six problèmes mathématiques ouverts2 min de lectureLire
Modèles197•04/08/2026, 16:00Les problèmes d'Erdős pourraient tous être résolus d'ici 20281 min de lectureLire
Modèles15•02/10/2026, 13:17Un chercheur de Harvard propose de cibler des « problèmes façonnés pour Claude »3 min de lectureLire
Modèles233•01/08/2026, 15:30Le modèle Astra d'OpenAI résout dix problèmes mathématiques complexes restés ouverts1 min de lectureLire
Modèles332•03/08/2026, 16:30OpenAI Astra résout dix problèmes mathématiques ouverts2 min de lectureLire
Modèles13•07/10/2026, 08:17OpenAI publie 722 articles de recherche mathématique après avoir tenté de résoudre 4 000 problèmes ouverts1 min de lectureLire
Modèles247•01/08/2026, 09:15OpenAI Astra résout dix problèmes mathématiques ouverts2 min de lectureLire
Modèles6•12/10/2026, 07:22OpenAI publie 722 articles mathématiques générés par IA résolvant des problèmes ouverts3 min de lectureLire
Modèles270•12/09/2026, 14:42Terence Tao et 24 médaillés Fields publient une lettre ouverte pour défendre les mathématiques à l'ère de l'IA2 min de lectureLire
+1Modèles20•11/10/2026, 10:18Terence Tao lance le « Math 2.0 » : l’IA doit approfondir, et non remplacer, la compréhension mathématique3 min de lectureLire
Modèles344•12/09/2026, 14:40Yu Deng, médaillé Fields : l'IA et l'avenir des mathématiques1 min de lectureLire
Modèles312•22/09/2026, 07:33OpenAI : un modèle d'IA interne résout plus de 100 problèmes mathématiques ouverts en moins d'un mois2 min de lectureLire
Modèles12•07/10/2026, 05:34OpenAI publie 722 articles de mathématiques rédigés par IA en accès libre2 min de lectureLire
Modèles12•07/10/2026, 06:47Les mathématiciens exigent des preuves vérifiables des laboratoires d'IA — OpenAI publie 722 articles1 min de lectureLire
Modèles15•07/10/2026, 07:49OpenAI publie 722 articles de mathématiques générés par IA pour résoudre des problèmes ouverts1 min de lectureLire
Modèles276•20/08/2026, 16:00Terence Tao : Repenser les mathématiques à l'ère de l'IA2 min de lectureLire
Vibe Coding323•20/08/2026, 07:15Claude Code introduit le style de réponse « Concise »1 min de lectureLire
Modèles296•26/07/2026, 18:00Sam Altman se rend à Washington pour présenter le nouveau modèle d'OpenAI1 min de lectureLire
+1Modèles278•13/08/2026, 10:45Les modèles Claude résolvent l'hypothèse de Hadamard après 20 ans d'impasse1 min de lectureLire
GitHub14•11/10/2026, 07:19Dépôts GitHub qui transforment Opus 5.5 en studio de motion design3 min de lectureLire
Modèles175•04/09/2026, 10:45Astra établit une nouvelle borne pour les écarts entre nombres premiers2 min de lectureLire
Modèles164•12/09/2026, 16:30Dario Amodei appelle à ralentir le développement de l'IA2 min de lectureLire
Vibe Coding202•04/08/2026, 08:15Vibe Coding : Connectez GitHub à votre agent IA pour une efficacité accrue2 min de lectureLire
Modèles232•10/07/2026, 21:00GPT-5.6 Sol prouve une conjecture vieille de 50 ans sur les cycles à double recouvrement2 min de lectureLire
Modèles166•01/08/2026, 10:45OpenAI dévoile Astra : une nouvelle famille de modèles pour les tâches à long terme2 min de lectureLire
Modèles219•25/09/2026, 07:02CLM : La nouvelle vague des modèles « Système 1 » pour une vérification rapide2 min de lectureLire
Modèles245•12/09/2026, 15:15Terence Tao et 24 médaillés Fields publient une lettre ouverte pour défendre les mathématiques à l'ère de l'IA3 min de lectureLire
Agents331•24/07/2026, 15:00Le nouveau projet de Jack Dorsey – Buzz : un espace de travail décentralisé pour humains et agents3 min de lectureLire
Modèles247•09/07/2026, 11:15OpenAI : SWE-Bench Pro n'est plus adapté à l'évaluation des modèles3 min de lectureLire
Modèles28•26/09/2026, 10:35Claude calcule une amplitude à neuf boucles en théorie N=4 SYM3 min de lectureLire
Modèles271•14/09/2026, 06:25MIT publie un rapport sans complaisance sur l'impact de l'IA sur les étudiants3 min de lectureLire