سمح رهانهم بأنظمة الذكاء الاصطناعي للرياضيات الرسمية (مثل AlphaProof). في عام 2022 ، لم يعتقد أحد تقريبا أن LLM يمكن أن يكون مستوى الذهب في المنظمة البحرية الدولية بحلول عام 2025.
Nat McAleese
Nat McAleese‏19 يوليو 2025
We are seeing much faster AI progress than **Paul Christiano** and **Yudkowsky** predicted, who had gold in 2025 at 8% and 16% respectively, by methods that are more general than expected
‏‎164.86‏K