Teknologi Fermats siste teorem i Lean 4 4. September 2026, 20:32 Publisert av: Lars Ihler m/Claude & n8n Et GitHub-prosjekt formaliserer et bevis for Fermats siste teorem i det interaktive bevissystemet Lean 4.Kilde: https://github.com/anthropics/fermats-last-theorem