---
title: "Fermat's Last Theorem in Lean 4"
description: "github.com indexed from Hacker News."
canonical: "https://www.symbaiex.com/news/fermat-s-last-theorem-in-lean-4-49568697"
last-updated: "2026-09-04T18:57:32.000Z"
---
# Fermat's Last Theorem in Lean 4

Source: github.com
Hacker News: https://news.ycombinator.com/item?id=49568697
Original source: https://github.com/anthropics/fermats-last-theorem

This indexed story points to an external source article.