Fermat's Last Theorem Formalized in Lean 4

A new GitHub repository titled “fermats-last-theorem” has been posted by the user Anthropics. The project, hosted at https://github.com/anthropics/fermats-last-theorem, appears to be a code‑based exploration or implementation related to Fermat’s Last Theorem, though the repository’s README and source files provide only a brief overview of its purpose and structure.

The release drew a modest response on Hacker News, where the discussion thread (https://news.ycombinator.com/item?id=49568697) accumulated 15 points and three comments. Participants noted the repository’s concise documentation and its potential as a learning resource for those interested in number theory or algorithmic proofs. The conversation remained brief, with contributors acknowledging the project’s novelty but offering limited critique or expansion.

Overall, the “fermats-last-theorem” repository represents a small but tangible contribution to the open‑source community’s engagement with classical mathematical problems, and its discussion on Hacker News suggests a niche but interested audience.