ادعاء جديد من OpenAI: نموذج ذكاء اصطناعي يفند فرضية هندسية طرحها بول إردوش عام 1946

تقول شركة OpenAI إن أحد نماذجها المتخصصة في الاستدلال أنتج برهانًا رياضيًا أصليًا يفند فرضية قديمة مرتبطة بما يعرف باسم مسألة المسافة الواحدة في المستوى (Planar Unit Distance Problem)، وهي مسألة شهيرة طرحها عالم الرياضيات المجري بول إردوش عام 1946.

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

ما هي مسألة المسافة الواحدة؟

السؤال يبدو بسيطًا ظاهريًا: إذا وضعنا عددًا معينًا من النقاط (n) على مستوى ثنائي الأبعاد، فما أكبر عدد من أزواج النقاط التي يمكن أن تكون المسافة بينها بالضبط وحدة واحدة؟

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

• طرق لترتيب النقاط بحيث تزيد عدد المسافات المتساوية
• حدود رياضية قصوى لعدد هذه الأزواج الممكنة

وكان الاعتقاد الشائع بين الرياضيين أن أفضل الترتيبات الممكنة للنقاط ستبدو شبيهة بشبكة مربعة منتظمة، مثل النقاط الموضوعة على شبكة أو "لattice".

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

ماذا يقول إعلان OpenAI؟

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

ومن أبرز ما ورد عن هذا العمل:

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

إذا تأكدت صحة هذه النتيجة، فقد تغير فهم الباحثين لأحد أشهر الأسئلة المفتوحة في الهندسة المنفصلة.

لماذا يختلف هذا الإعلان عن قصة GPT‑5 السابقة؟

الإعلان الجديد يأتي بعد جدل سابق حول ادعاء متعلق بنموذج GPT‑5.

في تلك الحالة، قيل إن النموذج حل عدة مسائل لإردوش. لكن التحليل اللاحق أظهر أن النظام كان في الواقع يعيد اكتشاف حلول موجودة بالفعل في الأدبيات الرياضية، وليس يقدم نتائج جديدة.

أما في الحالة الحالية، فتقول OpenAI إن الوضع مختلف لسببين رئيسيين:

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

ومع ذلك، فإن القاعدة في الرياضيات واضحة: لا يُقبل أي برهان كبير قبل التدقيق الكامل من المجتمع العلمي ونشره في مجلة محكمة.

ماذا قال بعض علماء الرياضيات؟

تشير التقارير إلى أن عددًا من الباحثين المعروفين في الرياضيات اطّلعوا على العمل وأبدوا تعليقات داعمة، من بينهم:

• نوغا ألون (Noga Alon)
• ميلاني وود (Melanie Wood)
• توماس بلوم (Thomas Bloom)

وجميعهم باحثون بارزون في مجالات مثل التوافقيات ونظرية الأعداد.

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

لكن رغم هذه الإشارات الإيجابية، فإن المجتمع الرياضي عادة ما يحتاج إلى تحقق دقيق ومطول قبل قبول نتائج بهذا الحجم.

لماذا يعتبر الباحثون هذا مهمًا؟

الأهمية لا تتعلق فقط بهذه المسألة الهندسية نفسها.

يرى بعض الباحثين أن ما حدث قد يكون دليلًا على أن أنظمة الذكاء الاصطناعي بدأت تقترب من القدرة على تنفيذ سلاسل طويلة ومعقدة من الاستدلال المنطقي — وهو عنصر أساسي في البحث العلمي المتقدم.

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

• الفيزياء النظرية
• علم الأحياء والطب
• الهندسة وعلوم المواد

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

الخلاصة

تقول OpenAI إن أحد نماذجها الاستدلالية أنتج برهانًا رياضيًا أصليًا يفند فرضية مرتبطة بمسألة المسافة الواحدة التي طرحها بول إردوش عام 1946.

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

لكن كما هو الحال دائمًا في الرياضيات، فإن الحكم النهائي لن يصدر إلا بعد المراجعة العلمية الدقيقة والنشر في مجلة محكمة.