1.000 tác nhân chính thức hóa Định lý cuối cùng của Fermat trong 30 giờ là một cột mốc thực sự đối với toán học có thể kiểm chứng bằng máy. Các bài toán mở, chứng minh thực sự, xác minh công khai. Đó chính xác là điều chúng tôi muốn Giải thưởng Justin Sun tôn vinh.

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