ادعاء OpenAI بـ "مدخلات بشرية قليلة جداً" انهار في مكالمة، يقول عالم رياضيات

تقول OpenAI إن نموذجاً داخلياً قد حل واحدة من أصعب المشاكل في الرياضيات. يقول عالم الرياضيات في جامعة نيويورك، Tristan Buckmaster، إن القصة التي قيلت له عن كيفية حدوثها انهارت أثناء مكالمته الهاتفية مع الشركة.

يقول Buckmaster إن Martínez-Zoroa يستحق ميدالية فيلدز

قالت OpenAI يوم الثلاثاء إن أحد نماذجها الداخلية أظهر "انفجاراً" في وقت محدود لمعادلات Navier-Stokes المؤكدة، وهي واحدة من سبعة مشاكل جائزة الألفية، كل منها بمكافأة مليون دولار.

الانفجار يعني أن المعادلات تسمح لسرعة السائل بأن تصبح لا نهائية عند نقطة، وهو ما لا يسمح به الفيزياء.

تقول الشركة إن الحجة تم التحقق منها في Lean، لغة التحقق من البراهين المستخدمة لتأكيد البراهين الرياضية بشكل رسمي.

إذا ثبت صحتها، فسيكون ذلك ثاني مشكلة الألفية يتم حلها على الإطلاق، والأولى التي تُنسب إلى شركة ذكاء اصطناعي.

قبل أيام، كان Buckmaster وLevent Alpöge، وهو رياضياتي يعمل لدى Anthropic، قد نشرا نتائجهما: الانفجار الزمني المحدود تحت الإثارة السلسة لمعادلات أويلر ثلاثية الأبعاد غير القابلة للانضغاط، ومعادلات بوسينيسك، ووسائط المسام غير القابلة للانضغاط، وقد تم صياغتها رسمياً باستخدام Lean. وقال حائز على ميدالية فيلدز، Terence Tao: "إنجاز رائع".

هذا الجزء من القصة غير محل نزاع. Buckmaster نفسه حازم جداً في بيانه بشأن مصدر الأفكار.

خط الهجوم، كما كتب، ينشأ مع Diego Córdoba وLuis Martínez-Zoroa، الذين أمضوا سنوات في بناء انفجارات مؤكدة باستخدام إكراه خشن.

هو وAlpöge استخدموا نماذج لغوية كبيرة لدفع ذلك البرنامج نحو الإكراه السلس وأويلر. ذهب Buckmaster أبعد من ذلك ليقول إنه يعتقد أن Martínez-Zoroa يجب أن يُمنح ميدالية فيلدز.

سأل Bubeck ذات مرة، "لماذا تدمر مسيرتك المهنية؟"

جاء إعلان OpenAI بعد يوم واحد من حساب Buckmaster، الذي يصف سباقاً بدأ عندما انتشرت شائعة مفادها أن Anthropic قد حلت مشكلة مفتوحة كبرى.

أرسل بريدًا إلكترونيًا إلى عالم رياضيات في OpenAI يوم الخميس، 3 سبتمبر، لتجنب الالتباس، مؤكداً أن عمله مع Alpöge كان تعاوناً شخصياً ولم يتم دعمه من قبل Anthropic أو NYU. قرأ الجواب. كان دافئاً وحتى عرض حوسبة من OpenAI.

جاءت المكالمات يوم الأحد، 6 سبتمبر. يقول Buckmaster إن Sébastien Bubeck انضم، وكان الجانبان قد أجريا بضع محادثات في ذلك بعد الظهر، ولم يكن Alpöge في الخط.

تم إخباره بأن نموذجاً داخلياً في OpenAI قد أنتج برهاناً يبلغ حوالي 100 صفحة لانفجار Navier-Stokes المؤكد، باستخدام إكراه سلس على طول "الخيارين ج و د" في البيان الرسمي لـ Charles Fefferman للمشكلة.

هذا، كتب Buckmaster، كان الطريقة الضيقة جداً التي اختارها هو وAlpöge سراً، والتي لم يكن يتبعها أحد تقريباً. قال إن سماع "مؤكد" كان علامة حمراء ساطعة.

"مدخلات بشرية قليلة جداً" دخلت في نتيجة OpenAI، قال Bubeck لـ Alpöge، يقول Buckmaster.

كتب Buckmaster : "تبين أن فريقاً بأكمله كان يعمل على المشكلة، وأن هذا كان واحداً من عدة أشياء تم تجربتها، وأن العمل بدأ على المشكلة غير المثارة، وأن الفريق وضع النموذج أولاً على مشاكل أسهل، بما في ذلك أويلر، وأن حتى التوجيه الذي عُرض عليّ كان قد كُتب باستخدام prompting لـ Codex، وأن كمية هائلة من موارد الحوسبة قد استُخدمت."

ويقول إنه عندما سأل عن موعد إرسال التوجيه الأول، جاءت الإجابة بعد تأخير، ووضعها في النهاية بعد وصول أنباء عمله وعمل Alpöge إلى OpenAI.

يقول Buckmaster إنه وAlpöge احتفظا ببراهينهما الأولية داخل جلسات OpenAI Codex وعندما سأل عما إذا كان نموذج OpenAI قد تم تدريبه على تلك البيانات، لم يحصل على إجابة.

لقد صرح بوضوح بأنه لا يدعي أن هذا حدث؛ هو فقط يذكر أن السؤال بقي دون إجابة.

كما يدعي أن Bubeck دفع مرتين لإزالة Alpöge ككاتب بسبب روابطه بـ Anthropic وسأله مرة واحدة، "لماذا تدمر مسيرتك المهنية؟"

نفيت OpenAI الادعاءات. ووصف Bubeck الادعاءات بأنها "كاذبة ومثيرة للجدل" في منشور قصير على منصة X، وقال إنه دخل النقاش "بموجب الأعراف الأكاديمية"، ووعد برد أكثر اكتمالاً.

في إحاطة يوم الثلاثاء، قال Bubeck إن النموذج وصل إلى مشكلة أويلر بطريقة مختلفة عن علماء الرياضيات، لكن أن البرهان الكامل لـ Navier-Stokes اتخذ مساراً مشابهاً.

تم بناء البرهان خلال عطلة نهاية الأسبوع، بعد النقطة التي يقول Buckmaster إن أخبار نتيجته وصلت إلى OpenAI، قال.

"لم نستخدم أمرهم أو براهينهم لتحفيز نماذجنا،" قال.

كلا الجانبين يستندان إلى نهج Córdoba، الذي قال إن الزوجين "في حالة صدمة قليلاً" وأن برهاناً مكتملاً "سيكون مفاجأة كبيرة لنا". وصف عالم الرياضيات في جامعة شيكاغو، Luis Silvestre، الأمر بأيام من المناقشات المستمرة عبر المجال.