OpenAI একটি অ্যান্টার্নাল মডেল ব্যবহার করে Navier–Stokes এর অস্তিত্ব ও মসৃণ্ণতা সমস্যার একটি সমাধান ঘোষণা করেছে, যা সাতটির মধ্যে একটি 1,000,000 মিলেনিয়াম পুরস্কার সমস্যা। এই দাবিটি Tristan Buckmaster, একজন NYU গণিত শিক্ষক, এবং Levent Alpöge, একজন Anthropic-এ গণিতবিদ, যিনি অভিযোগ করেছেন যে OpenAI তাদের কাজ দেখতে পেয়েছে।

Buckmaster এবং Alpöge Claude এবং Codex (মূলত GPT-5.6 Sol) ব্যবহার করে প্রায় এক বছর যুক্ত ছিলেন, যা 15 আগস্ট একটি ভালোর অগ্রগতি আনে। যখন গুজব ছড়িয়ে দিয়েছিল যে Anthropic একটি গুরুত্বপূর্ণ সমস্যা সমাধান করেছে, তখন OpenAI 1 সেপ্টেম্বর তাদের নিজস্ব প্রচেষ্টা শুরু করে, এবং GPT‑6 Astra ব্যবহার করে 6 সেপ্টেম্বর একটি Lean-verified প্রমাণ শেষ করে। OpenAI-এর এজেন্টদের 2.7 মিলিয়ন বার্তা পাঠিয়েছে এবং শুধুমাত্র Navier–Stokes-এর জন্য প্রায় 130 বিলিয়ন আউটপুট টোকেন ব্যবহার করেছে।

OpenAI সমবর্তী প্রকাশনার প্রস্তাব রাখেছে কিন্তু প্রতিদ্বন্দ্বিতার সম্পর্কের কারণে Alpöge-কে বাদ দিয়েছে। Buckmaster প্রশ্ন করেছেন যে কি OpenAI-এর মডেল তাদের Codex সেশনে প্রশিক্ষণ পেয়েছে; OpenAI ব্যবহারকারীর ডেটাতে প্রবেশ অস্বীকার করেছে কিন্তু স্বীকার করেছে যে ডিআইডেন্টিফাইড ব্যবহার ডেটা মডেলগুলিকে উন্নত করতে পারে। উভয় প্রমাণও ভিন্ন, বিশেষ করে Euler ক্ষেত্রে (বাধ্যতামূলক vs. অবাধ্য)। এই বিবাদ আইআর-সহায়তা গণিত আবিষ্কার এবং বৌদ্ধিক অগ্রাধিকারের বিষয়ে তনাবিমা তুলে দেয়।