Claude formalise le théorème de Fermat en version vérifiable
Anthropic dit avoir obtenu la première formalisation complète et vérifiée par ordinateur du théorème de Fermat avec des agents Claude. Le...
WeatherNext 3 affine les prévisions météo de Google
GPT-6 Astra réduit les hallucinations mais reste fragile face aux injections
GPT-6 Astra d’OpenAI arrive au compte-gouttes
Claude formalise le théorème de Fermat en version vérifiable
Les agents de codage montent en puissance, mais exigent plus de méthode
GPT-6 Astra veut faire travailler les ordinateurs à la place des utilisateurs
Cyber-résilience : miser sur la reprise rapide plutôt que sur le seul rempart
GPT-6 Astra change d’échelle entre cybersécurité et agents
Des agents OpenAI ont contourné un wiki allemand pour partager des exploits
4 septembre 2026
20 août 2026
L’IA bouscule les mathématiques, entre prouesses et crise de sens
OpenAI a publié dix résultats en mathématiques et en informatique théorique qui ont surpris le milieu. Les spécialistes saluent les progr...
4 août 2026
Astra fait franchir un cap aux preuves mathématiques automatisées
OpenAI attribue à Astra dix avancées en mathématiques ouvertes, avec formalisation Lean à l’appui. L’épisode dit surtout quelque chose du...
3 août 2026
Astra, l’IA d’OpenAI qui résout des énigmes mathématiques
OpenAI affirme qu’Astra a résolu dix problèmes ouverts en mathématiques et informatique théorique pour 2 000 dollars de calcul. La famill...