إن قيام 1,000 وكيل بصياغة مبرهنة فيرما الأخيرة صياغةً رسمية خلال 30 ساعة يُعد إنجازًا بارزًا للرياضيات القابلة للتحقق آليًا. مسائل مفتوحة، وبراهين حقيقية، وتحقق علني. وهذا بالضبط ما نريد أن تكافئ عليه جائزة جاستن صن.

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