Vue lecture

Cette IA a résolu un problème mathématique ouvert depuis 45 ans

Le modèle d’IA GPT-5.2 Pro a résolu plusieurs problèmes de mathématiques, dont l’un, le 11 janvier 2026, était resté ouvert depuis 45 ans. Plus que le résultat, c’est la méthode — associant humains, assistant de preuve Lean et système d’IA Aristotle — qui pourrait transformer la pratique de la démonstration mathématique.

  •  

C’est gagné pour Netflix : Warner Bros rejette encore les avances de Paramount

Le conseil d’administration de Warner Bros. Discovery a de nouveau rejeté l’offre publique d’achat hostile présentée le 22 décembre par Paramount, à l’issue d’un vote tenu le 7 janvier 2025. Le groupe juge cette proposition « inférieure à l’accord de fusion avec Netflix » et estime qu’elle est « insuffisante » au regard des coûts, des risques et des incertitudes qu’impliquerait un tel accord.

  •  
❌