OpenAI تحل لغز نافييه-ستوكس: ثورة في الرياضيات أم تهديد للفهم البشري؟

في خطوة قد تعيد تشكيل مستقبل الرياضيات، أعلنت شركة OpenAI في 8 سبتمبر 2026 أن أحد نماذجها الداخلية غير المنشورة نجح في حل مسألة وجود وسلاسة حلول معادلات نافييه-ستوكس، وهي واحدة من مسائل الألفية السبع التي طرحها معهد كلاي للرياضيات عام 2000. هذا الإنجاز، إذا ما تم التحقق منه، سيجعله ثاني حل لمسألة من هذه المسائل بعد حل حدسية بوانكاريه عام 2010، لكنه الأول الذي يقوده نظام ذكاء اصطناعي بالكامل تقريباً. يثير هذا الإعلان أسئلة جوهرية حول قدرة الذكاء الاصطناعي على تجاوز العقل البشري في أرقى مجالات التفكير المجرد، وما إذا كان ذلك سيعزز الفهم العلمي أم يضعفه.

النقاط الرئيسية

• ما هي مسائل الألفية؟ هي سبع مسائل رياضياتية صعبة حددها معهد كلاي عام 2000، مع جائزة مليون دولار لكل مسألة، بهدف تحفيز التقدم الرياضي في الألفية الجديدة. حُلّت واحدة فقط قبل هذا الإعلان، وهي حدسية بوانكاريه، التي أثبتها الروسي غريغوري بيرلمان ورفض الجائزة.

• معادلات نافييه-ستوكس هي معادلات تفاضلية تصف حركة الموائع مثل الماء والهواء، وتستخدم في التنبؤ بالطقس وتصميم الطائرات ونمذجة تدفق الدم. المسألة المطروحة تتعلق بوجود حلول سلسة دائماً لمعادلات ثلاثية الأبعاد، أو إمكانية حدوث "انفجار" في الحلول عند نقطة زمنية محددة.

• كيف تم الحل؟ وفقاً لـ OpenAI، بدأ الفريق في 1 سبتمبر بعد سماع شائعات عن قرب Anthropic من حل مسألتين من مسائل الألفية. استخدموا نموذجاً داخلياً غير منشور أقوى من GPT-6 Astra، ووجهوه نحو ست مسائل معلقة. بعد حوالي 50 ساعة، أحرز تقدماً في مسألة فرعية متعلقة بنافييه-ستوكس، ثم كثفوا الجهود بزيادة عدد الوكلاء من 100 إلى 10,000، واستغرق الحل النهائي حوالي 88 ساعة، مع 2.7 مليون رسالة و130 مليار رمز (أي ما يعادل مليون كتاب).

• النتيجة المدهشة: أظهر النموذج أن حلول معادلات نافييه-ستوكس يمكن أن تنفجر في زمن محدود، وهو ما فاجأ حتى الباحثين الأكثر تشككاً داخل OpenAI. تم التحقق من النتيجة بواسطة الحاسوب في 6 سبتمبر.

• قفزة في قدرات الذكاء الاصطناعي: في اختبارات داخلية، حل GPT-6 Astra حوالي 10% من المسائل، بينما حل النموذج الجديد حوالي 50%، مما يشير إلى قفزة نوعية في القدرات الرياضية.

• موقف OpenAI من الجائزة: أعلنت الشركة أنها لا تنوي التقدم للحصول على جائزة المليون دولار، وأن هدفها هو عرض تقدم قدراتها. من جانبه، قال مارتن بريدجسون، مدير معهد كلاي، إن التحقق الرسمي سيستغرق وقتاً لضمان الدقة.

جدل حول البيانات والاعتماد: نشر الباحثان باك ماستر وألبرغر (من Anthropic وجامعة نيويورك) بحثاً حول معادلات أويلر (نسخة مبسطة من نافييه-ستوكس) قبل إعلان OpenAI، متسائلين عما إذا كان نموذج OpenAI قد تدرب على اتصالاتهما. نفت OpenAI ذلك، لكنها اعترفت بعدم استبعاد احتمال استخدام بيانات المستخدمين.

دور البشر: على الرغم من أن الذكاء الاصطناعي قاد الحل، لعب الباحثون دوراً مهماً في توجيه الوكلاء وتبادل الأفكار، كما وصفه أحد الباحثين بأنه "نحلة طنانة" تقوم بالتلقيح بين مجموعات مختلفة.

تحليل متعمق

هذا الإنجاز ليس مجرد خطوة تكنولوجية، بل هو نقطة تحول في العلاقة بين الذكاء الاصطناعي والرياضيات. فمنذ عقود، اعتُبرت الرياضيات مجالاً يتطلب حدساً بشرياً عميقاً، لكن قدرة النموذج على حل مسألة ظلت مفتوحة لأكثر من قرن تشير إلى أن الذكاء الاصطناعي قد يتفوق على البشر في اكتشاف البراهين. ومع ذلك، يثير هذا التقدم مخاوف جدية: إذا أصبحت الحلول تُنتج دون فهم بشري كامل، فقد نفقد القدرة على تقدير جمال الرياضيات وأسسها، كما حذر عالم الرياضيات تيرينس تاو، الذي شبه الذكاء الاصطناعي بمرشد بري يشير إلى طريق واحد فقط، مما يمنع اكتشاف مسارات أخرى. من ناحية أخرى، يمكن أن يكون هذا الحل بمثابة أداة تسريع هائلة، حيث يمكن للباحثين استخدام الذكاء الاصطناعي لاستكشاف فرضيات جديدة والتحقق منها بسرعة، مما يحرر العقول البشرية للتركيز على الأسئلة الأعمق. لكن السؤال الأخلاقي حول من يستحق الفضل في الاكتشاف، وكيفية توزيع الجوائز، أصبح أكثر إلحاحاً. كما أن احتمال حل مسائل أخرى مثل فرضية ريمان أو P مقابل NP في المستقبل القريب يفتح الباب أمام تغييرات جذرية في التشفير وعلوم الكمبيوتر، مما يستدعي استعداداً مجتمعياً لهذه التحولات.

أسئلة شائعة

هل هذا يعني أن الذكاء الاصطناعي سيتفوق على البشر في جميع المجالات؟ لا، هذا الإنجاز يخص مجالاً محدداً من الرياضيات، ولا يزال الذكاء الاصطناعي يعجز عن فهم السياقات العامة والإبداع البشري. لكنه يشير إلى إمكانات هائلة في حل المشكلات المنطقية المعقدة، مما قد يغير طبيعة العمل البحثي.

ما هي مسائل الألفية الأخرى التي قد تُحل قريباً؟ تشمل المسائل المتبقية فرضية ريمان، وحدسية بيرش وسوينرتون-داير، ومسألة P مقابل NP، وغيرها. من المرجح أن يستخدم الباحثون تقنيات مشابهة لمحاولة حلها، لكن لا توجد ضمانات.

كيف يمكن للباحثين التحقق من صحة هذا الحل؟ نشرت OpenAI البرهان الكامل (165 صفحة) مع صياغة رسمية بلغة Lean، مما يسمح لعلماء الرياضيات بفحصه خطوة بخطوة. عملية التحقق قد تستغرق شهوراً أو سنوات، لكنها ضرورية لضمان الدقة.

المصدر URL: https://www.thepaper.cn/newsDetail_forward_34036297

المصدر URL: https://www.thepaper.cn/newsDetail_forward_34036297