bluesky — Timothy Gowers — 4 Sep 2026

Kevin Buzzard's thoughts on Fermat's Last Theorem being autoformalized in Lean.

#number-theory #proof-assistants #formal-verification

Read the source →