أعلنت OpenAI عن حل لمشكلة وجود وسلاسة نافير-ستوكس، وهي إحدى السبع 1,000,000 مشاكل جائزة الألفية، باستخدام نموذج داخلي غير منشور. ظهرت الادعاءات في منتصف اتهامات من Tristan Buckmaster، أستاذ رياضيات في NYU، وLevent Alpöge، رياضي في Anthropic، اللذان زعما أن OpenAI ربما وصلت إلى عملهم.

تعاون بوكماستر وألبöجي لما يقرب من عام باستخدام Claude وCodex (وغالباً GPT-5.6 Sol)، وحققا اختراقاً في 15 أغسطس. بعد انتشار شائعات بأن Anthropic حلت مشكلة كبيرة، أطلقت OpenAI جهودها الخاصة في 1 سبتمبر، وأكملت برهاناً مُتحققاً في Lean بحلول 6 سبتمبر باستخدام GPT‑6 Astra. أرسل وكلاء OpenAI 2.7 مليون رسالة واستخدموا حوالي 130 مليار توكن إخراج فقط على نافير-ستوكس.

عرضت OpenAI على النشر الموازي لكن استبعدت ألبöجي بسبب الصلة التنافسية مع Anthropic. تساءل بوكماستر عما إذا كان نموذج OpenAI تدرب على جلسات Codex الخاصة بهم؛ نفت OpenAI الوصول إلى بيانات المستخدمين لكن أقرت بأن بيانات الاستخدام غير المُعرّفة قد تكون حسّنت النماذج. تختلف البرهانات، ليس بلحظة في حالة أويلر (مُجبرة مقابل غير مُجبرة). يبرز هذا النزاع التوترات حول الاكتشاف الرياضي المساعد بالذكاء الاصطناعي وأولوية الملكية الفكرية.