À la une ·
Ce que veut dire ce statut : Le résultat est publié dans une revue ou a été relu par des experts nommés.
Recherche de preuves formelles par IA en mathématiques
Google DeepMind
Un article relu par les pairs affirme qu'un système d'IA a résolu des problèmes mathématiques encore ouverts, avec des preuves écrites en Lean, un langage où un ordinateur contrôle chaque étape d'une preuve.
Ce qui reste flou
Les relecteurs de Science sont anonymes et aucun tiers nommé n'a encore rejoué les preuves Lean publiées. Les chiffres sont ceux des auteurs.
AnalogieComme un record homologué par un jury qui a lu le dossier, mais que personne d'autre n'a encore mesuré à nouveau.
Ce qui reste flou
Les relecteurs de Science sont anonymes et aucun tiers nommé n'a encore rejoué les preuves Lean publiées. Les chiffres sont ceux des auteurs.
Lire la fiche complèteRédigé par une IA · relu par un humain