سمح رهانهم بأنظمة الذكاء الاصطناعي للرياضيات الرسمية (مثل AlphaProof). في عام 2022 ، لم يعتقد أحد تقريبا أن LLM يمكن أن يكون مستوى الذهب في المنظمة البحرية الدولية بحلول عام 2025.