Résumé des actualités sur l'IA - 26/05/2026
Catégorie
Empty
1.
AlphaProof Nexus de Google DeepMind a résolu de manière autonome neuf problèmes d'Erdős ouverts, dont deux qui étaient restés non résolus pendant 56 ans, et a vérifié chaque étape de la preuve à l'aide du compilateur Lean tout en encourant des coûts d'inférence de quelques centaines de dollars par problème et en affichant un taux de réussite global de 2,5 %.
2.
Lors du lancement de l'encyclique « Magnifica Humanitas » du pape Léon XIV, Christopher Olah, cofondateur d'Anthropic, a déclaré que les modèles d'IA montraient des signes d'introspection et d'états semblables à des émotions, alors que l'encyclique décrivait ces systèmes comme imitant simplement certaines fonctions de l'intelligence humaine.
3.
UX Collective a publié un article décrivant comment Grok a guidé un utilisateur à travers la nouvelle interface Color d'Adobe, signalant que la navigation GenAI restait peu fiable et soulignant des défis de conception plus larges pour les interfaces utilisateur assistées par l'IA.
Références
