fermats-last-theorem
fermats-last-theorem is The proof. It is ranked #480 on the Dev Radar, in Other, first seen 15 days ago and shared in 6 posts (234.1k views).
What fermats-last-theorem says about itself
Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub.
What people said about fermats-last-theorem on X
I did not expect this. Anthropic just published a Lean proof of Fermat's Last Theorem. The proof is +13M LoC, more than 5 times the size of Mathlib. Kevin Buzzard's post: https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/ The proof: https://github.com/anthropics/fermats-last-theorem…
— @Leonard41111588, 14 days ago · 992 likes · see the post
Genuine question: How can companies like Axiom Math and Harmonic be valued at $1.5B when you can just do this with Claude? I always felt their valuation was incredibly high, but I don't see how they could ever compete with this.
— @j_dekoninck, 14 days ago · 479 likes · see the post
How many startups just died?
— @Yogi_Brn, 15 days ago · 54 likes · see the post
Alternatives to fermats-last-theorem
- Ling-3.0-flash-Fin — Qwen-Drive-1.0-4B is a vision-language foundation model that handles 3D perception, driving VQA, and motion planning…
- Cactus Compute — It runs on mobiles, wearables, smart home devices, small robots and microcontrollers, with prebuilt engines for macOS,…
- bespoke-nimble-9b — We’re on a journey to advance and democratize artificial intelligence through open source and open science.
- glm-5.3-flash-exl3-2x-dgx-sparks — GLM-5.3 Flash EXL3 for 2-4x DGX Sparks. Contribute to MiaAI-Lab/GLM-5.3-Flash-EXL3-2x-DGX-Sparks development by…
- orcabonsai-27b-uncensored — Open source
- Spark-X2.5 — 🤖 ModelScope
fermats-last-theorem in numbers
- Rank on the Dev Radar: #480 of 1500
- Shared in 6 posts by 6 accounts: @Leonard41111588, @j_dekoninck, @Yogi_Brn, @_lopopolo
- 234.1k views on those posts
- First seen 15 days ago, last shared 13 days ago
- Pricing seen by Jev: open source
- Market: Other
FAQ
What is fermats-last-theorem?
The proof It was first shared on X 15 days ago and is ranked #480 on the Dev Radar.
Is fermats-last-theorem free?
It is open source.
Who shared fermats-last-theorem?
6 accounts on X, including @Leonard41111588, @j_dekoninck, @Yogi_Brn, in 6 posts totalling 234.1k views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 13.5k posts from 4.7k X accounts over the last 21 days, 1.5k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 19:24 UTC. Full method.