AlphaProof y AlphaGeometry: formalización como músculo
DeepMind acopló modelos de lenguaje a Lean y a geometría sintética para resolver problemas olímpicos con pruebas chequeables.
1 artículos
AlphaGeometry
Índice de etiquetas editoriales y cobertura filtrada.