أوبن إيه آي تعلن ثلاثة براهين علمية كبرى والمراجعة المستقلة تبدأ الآن

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

ثلاثة ادعاءات وثلاث طرق للنشر

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

أما النتيجة الثانية فتستهدف فرضية الزمن الأسي (ETH). يستخدم علماء الحاسوب هذه الفرضية لبناء استنتاجات شرطية حول صعوبة طيف واسع من المسائل الحسابية. تقترح ورقة أوبن إيه آي خوارزمية حتمية دون أسية لحساب عدد الحلول بدقة في صيغ منطقية ثابتة العرض. وإذا صحت، فإن الحالة التي تشمل 3-SAT ستنقض الفرضية.

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

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

ماذا يثبت Lean فعلاً؟

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

هذا أقوى من ورقة نصية لم تُفحص، لكنه لا ينهي المراجعة. يجب على الخبراء التأكد من أن النظرية الصورية تمثل المقصود العلمي من ETH، وأن الافتراضات مقبولة، وأن حساب التعقيد سليم، وأن الاستنتاجات المكتوبة لا تتجاوز ما تحققت منه الأداة. كما لا يحدد التحقق الصوري وحده ما إذا كانت الأفكار جديدة أو منسوبة إلى أصحابها بدقة.

لماذا أصبحت طريقة النشر جزءاً من الخبر؟

تصف أوبن إيه آي الأوراق بأنها بيانات بحثية أولية وليست فهماً علمياً مكتملاً. وبعد التشاور مع باحثين، اختارت مسارات مختلفة: نشر عام لبرهان التنعيم المحلي، ومجموعة عمل مسماة مع إتاحة مواد ETH، ووصول مبكر محدود إلى نتيجة الفيزياء.

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

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

الاختبار الحاسم يأتي من الخارج

تخطط مجموعة ETH بقيادة راسل إمباليآتسو وراماموهان باتوري ورايان ويليامز لفحص الخوارزمية وشرحها علناً. ويستطيع علماء الرياضيات تنزيل ورقة التنعيم المحلي وبرهانها الصوري الآن، بينما ستقرر مجموعة الفيزياء توقيت نشر عرضها.

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