vigilar
anthropics/fermats-last-theorem
(465★ · último push 2026-09-04 · Lean · Apache-2.0) — Prueba completa del Teorema de Fermat en Lean 4 sobre Mathlib v4.33.0, verificada por el kernel oficial y por nanoda (segundo kernel en Rust). README honesto: "research artifact, not maintained". Tema central: Anthropic enseña a sus modelos a formalizar matemáticas y publica el artefacto.
Estrellas
—
Forks
—
Lenguaje
—
Licencia
—
Issues
—
Estado
—
Cómo funciona
Implementa sin concepto declarado
Núcleo
anthropics/fermats-last-theorem sin señales de build declaradas
Se cruza con relevante para formal math lean
Diagrama derivado de madurez_senales (lenguaje, licencia, estado y topics) y de las relaciones que este repo tiene en el grafo de conocimiento. No es una arquitectura del proyecto: es su posición funcional tal como la registran los boletines.
Posición en el ecosistema
anthropics/fermats-last-theorem
relevante para
formal math lean