O sistema Lemma AI formalizou autonomamente 1.019 provas de computação quântica do livro-texto de Nielsen-Chuang usando Lean, alcançando uma escala sem precedentes em raciocínio científico verificável por máquina.
@informaq-pt.bsky.socialExplore
@informaq-pt.bsky.social@informaq-pt.bsky.socialConheça AxQM: 1.019 provas de computação quântica formalmente verificadas do livro de Nielsen & Chuang. O maior benchmark de provas focado em física até agora, avançando a prova de teoremas assistida por IA na teoria da informação quântica.