Lu sur le web
03/08/2026 15h51, par clubic.com
OpenAI attribue à une version interne de sa prochaine IA dix résultats 'inédits' en mathématiques et en informatique théorique. Ils sont accompagnés de certificats formalisés dans Lean 4, mais la communauté scientifique doit encore en apprécier la nouveauté et la portée.
A lire aussi
Les dernières infos électronique
09/07/2026 15h05 : Comment reconnaître un installateur d'alarme sans fil fiable avant de signer un devis ?
lelectronique.com, tout le nécessaire pour apprendre, comprendre, et dépanner vos montages électroniques pour les débutants et les confirmés.
Suivez-nous
