bluesky — Timothy Gowers — 12 Aug 2026
#proof-formalization
Read the source →
I think their proofs have been formalized.