سمح رهانهم بأنظمة الذكاء الاصطناعي للرياضيات الرسمية (مثل AlphaProof). في عام 2022 ، لم يعتقد أحد تقريبا أن LLM يمكن أن يكون مستوى الذهب في المنظمة البحرية الدولية بحلول عام 2025.
Nat McAleese
Nat McAleese‏19 يوليو، 17:47
نحن نشهد تقدما أسرع بكثير في الذكاء الاصطناعي مما توقعه ** بول كريستيانو ** و ** يودكوفسكي ** ، اللذين حصلا على الذهب في عام 2025 بنسبة 8٪ و 16٪ على التوالي ، بطرق أكثر عمومية مما كان متوقعا
‏‎164.27‏K