La buena noticia del día
Aube
.
IA
Según Anthropic: el último teorema de Fermat, formalizado en Lean
La demostración comprende 13 millones de líneas de código Lean y unas 29.500 teorías intermedias.
Leer en Aube →
Redactado por IA