HeadlinesBriefing favicon HeadlinesBriefing.com

حل AI Navier-Stokes يثير جدلاً رياضياً

Hacker News •
×

في 8 سبتمبر 2026، أعلن Open AI حلاً تم إنشاؤه من قبل الذكاء الاصطناعي لمشكلة وجود Navier–Stokes وانسيابيتها، إحدى سبع مسائل جائزة millennium. أثار الإعلان جدلاً حول توزيع الفضل بين البشر والآلات، حيث وصف تريستان باكماستر الأمر بأنه "لحظة Deep Blue–Kasparov". ظهرت أسئلة وجودية حول ما إذا كانت الرياضيات على وشك أن تُ"حل" مثل الشطرنج والغو.

تتوقف Narrative أن AI "حل" الرياضيات على افتراضين خاطئين: أولاً، أن AI حقاً حل مشكلة رياضية، وثانياً أن الرياضيات لا تتعلق إلا بحل المشكلات. تقديم mere answer—حتى لو كان معتمداً رسمياً— غير كافٍ دون دليل مفهوم يمكن للبشر الرياضياتيون فهمه وبناء عليه.

الرياضيات أبعد من كونها حل المشكلات فقط. الم mathematicians develops new concepts، تسأل Questions جديدة، توحد مناطق، تُربّي Communities، وتخلق أعمالاً قيمتها الجمال والعُمْق. بدلاً من الانكفاء إلى "متابعة اللعب"، يجب أن نرفض وصف الرياضيات كونها لعبة، ونفحص بدلاً من ذلك ما هي الرياضيات حقاً وما نريد أن تصبح.

أنتج Open AI Answer—نعم، يمكن لـ Navier–Stokes تطوير singulairty—إلى جانب formalization Lean و manuscript غير رسمي. على الرغم من أنه أكثر من "42" Deep Thought، إلا أنه يظل غير مرضٍ لأن الدليل له مفاهيم متعددة، ويبقى الفهم الأساسي ناقصاً.

كيانات رئيسية: شركات: Open AI | أشخاص: Silvia De Toffoli, Eamon Duede, Tristan Buckmaster, C. Thi Nguyen | Locations: University School for Advanced Studies IUSS Pavia, Princeton University, Purdue University