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
16/10/2026 13h28 : Keysight lance un générateur de signaux analogiques à deux canaux pour les tests avancés de composants
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
