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
17/08/2026 12h15 : Quels atouts les serveurs virtuels offrent-ils au quotidien des makers ?
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
