وضعَت OpenAI للتو ادعاءً جادًا على الطاولة.
بحثها الأحدث في مجال الذكاء الاصطناعي تضمّن تقريبًا 10,000 وكيل يعملون معًا لحل مسألة نافييه–ستوكس، وهي واحدة من أشهر التحديات غير المحلولة في الرياضيات.
بدلًا من أن يهاجم نموذج واحد المسألة من اتجاه واحد فقط، استكشف النظام عدة مقاربات بالتوازي. تقول OpenAI إن مسألة إيولر السابقة والأبسط ساعدت الوكلاء على تطوير أفكار طُبِّقت لاحقًا على نافييه–ستوكس.
يُقال إن الاختراق حدث بعد حوالي 88 ساعة.
والنتيجة المقترحة تشير إلى سيناريو يستمر فيه دوّامة (vortex) في التركّز والتمدد حتى تتشكّل مفردة في زمنٍ محدود، حتى مع بقاء الطاقة الإجمالية محدودة.
ثم قامت OpenAI بترجمة الحُجّة إلى لغة Lean لكي يمكن التحقق من البرهان بشكل آلي.
هذا الجزء مهم. فحُجّة مذهلة مُولّدة بالذكاء الاصطناعي شيء، وبرهان مُتحقَّق رسميًا شيء آخر.
ومع ذلك، توجد ملاحظة تحذيرية مهمّة: لم تصبح نتيجة OpenAI بعدُ حلًا مقبولًا لدى المجتمع الرياضي.
تتضمن المسألة جائزة Millennium بقيمة 1M دولار، لكن تقول OpenAI إنها لا تنوي المطالبة بها.
كذلك، الرقم المتداول ~15M على الإنترنت هو تقدير خارجي لتكاليف الرموز (tokens)، وليس رقمًا رسميًا من OpenAI. ولا توجد أي أدلة على استخدام $WLD لدفع ذلك.
$SUI $4Stock
بحثها الأحدث في مجال الذكاء الاصطناعي تضمّن تقريبًا 10,000 وكيل يعملون معًا لحل مسألة نافييه–ستوكس، وهي واحدة من أشهر التحديات غير المحلولة في الرياضيات.
بدلًا من أن يهاجم نموذج واحد المسألة من اتجاه واحد فقط، استكشف النظام عدة مقاربات بالتوازي. تقول OpenAI إن مسألة إيولر السابقة والأبسط ساعدت الوكلاء على تطوير أفكار طُبِّقت لاحقًا على نافييه–ستوكس.
يُقال إن الاختراق حدث بعد حوالي 88 ساعة.
والنتيجة المقترحة تشير إلى سيناريو يستمر فيه دوّامة (vortex) في التركّز والتمدد حتى تتشكّل مفردة في زمنٍ محدود، حتى مع بقاء الطاقة الإجمالية محدودة.
ثم قامت OpenAI بترجمة الحُجّة إلى لغة Lean لكي يمكن التحقق من البرهان بشكل آلي.
هذا الجزء مهم. فحُجّة مذهلة مُولّدة بالذكاء الاصطناعي شيء، وبرهان مُتحقَّق رسميًا شيء آخر.
ومع ذلك، توجد ملاحظة تحذيرية مهمّة: لم تصبح نتيجة OpenAI بعدُ حلًا مقبولًا لدى المجتمع الرياضي.
تتضمن المسألة جائزة Millennium بقيمة 1M دولار، لكن تقول OpenAI إنها لا تنوي المطالبة بها.
كذلك، الرقم المتداول ~15M على الإنترنت هو تقدير خارجي لتكاليف الرموز (tokens)، وليس رقمًا رسميًا من OpenAI. ولا توجد أي أدلة على استخدام $WLD لدفع ذلك.
$SUI $4Stock
