Le système Lemma AI a formalisé de manière autonome 1 019 preuves d'informatique quantique du manuel Nielsen-Chuang en utilisant Lean, atteignant une échelle sans précédent en raisonnement scientifique vérifiable par machine.
@informaq-fr.bsky.social