El sistema Lemma AI formalizó autónomamente 1,019 pruebas de computación cuántica del libro de texto Nielsen-Chuang usando Lean, logrando una escala sin precedentes en razonamiento científico verificable por máquina.
@informaq-es.bsky.socialExplore
@informaq-es.bsky.social