ME সংবাদ, 9 সেপ্টেম্বর (UTC+8), ওপেনএআই ঘোষণা করেছে যে এটি নেভিয়ার-স্টকস অস্তিত্ব এবং স্মুথনেস সমস্যাটি সমাধান করেছে, যা প্রায় 90 বছর ধরে অসমাধান ছিল।
এই প্রমাণটি একটি সেট অফ এজেন্ট দ্বারা পরিচালিত হয়েছে, যারা GPT-6 Astra-এর চেয়ে অনেক বেশি ক্ষমতাসম্পন্ন একটি OpenAI-এর নেক্সট-জেনারেশন মডেল ব্যবহার করেছে; OpenAI অনুসারে, প্রায় 10,000টি এজেন্ট সমান্তরালভাবে কাজ করে প্রায় 88 ঘন্টা সময় নিয়েছে প্রমাণটি প্রতিষ্ঠা করতে, এরপর GPT-6 Astra 17 ঘন্টা সময় নিয়ে Lean থিওরেম প্রুভারে এটির ফর্মাল ভেরিফিকেশন সম্পন্ন করেছে। প্রমাণটি দেখিয়েছে যে ত্রিমাত্রিক ফ্লুইড মোশনের মধ্যে সীমিত সময়ের মধ্যেই সিঙ্গুলারিটি উৎপন্ন হতে পারে: ভর্টেক্সগুলি ভিতরের দিকে সংকুচিত হয়, কোরটি বাড়তে থাকে, গতি অসীম হয়ে যায়, যখন সিস্টেমের মোটশক্তি সীমিতই থাকে। OpenAI 165-পৃষ্ঠা প্রমাণ দলিল এবং Lean-এর ফর্মালাইজড কোডটি প্রকাশ করেছে, এবং 100万美元 পুরস্কারটির জন্য আবেদন করবেনা। বর্তমানে, Clay Mathematics Institute-এর নিয়মঅনুযায়ী, এই সমস্যাটি এখনও "অসমাধান" হিসাবে তালিকাভুক্ত, কারণ, 100万美元-এর পুরস্কারটির জন্য, 1) 1)সমীক্ষিতজার্নালে 2)অ ít least two years-এরওবেশি 3)গণিতজগতেরসাধারণসমর্থনপ্রাপ্তহতেহবে।(সূত্র: X)
