Fermat's Last Theorem in Lean 4

aaraujo002·Hacker News·Community·

Contribute to anthropics/fermats-last-theorem development by creating an account on GitHub.

Read full article →

Related Articles

Hackers Had a Live Feed of Every ID Verification Company Scanned for over a Year
beardyw · Hacker News · 15h ago
US Military disables ad trackers on troops' phones
tencentshill · Hacker News · 8h ago
Google AI Mode shows same products 21.6% more expensive than traditional search
DeepLogin · Hacker News · 10h ago
Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region
hawshemi · Hacker News · 9h ago
Which tools do Claude, Codex and Cursor choose? We measured 17k runs to find out
screm · Hacker News · 1d ago