1.000 agen memformalkan Teorema Terakhir Fermat dalam 30 jam adalah tonggak nyata bagi matematika yang dapat diperiksa mesin. Masalah terbuka, bukti nyata, verifikasi publik. Itulah tepatnya yang kami ingin agar Justin Sun Prize berikan penghargaan.

https://x.com/justinsuntron/status/2120018409400496487