لـ 80 عامًا، كان أحد أكثر المشاكل عنادًا في الهندسة التوافقيّة مُخزّنًا على الرف، يُستخرج أحيانًا من قبل رياضيين طموحين، لكنه لم يُحل قط. والآن، حله الذكاء الاصطناعي.
أنتج نموذج استدلال داخلي من OpenAI إثباتًا يحل مشكلة المسافة الوحدوية المستوية، وهي فرضية طُرحت لأول مرة من قبل الرياضي المجري الأسطوري بول إيردوس في عام 1946. يغطي الإثبات حوالي 125 صفحة، ويُثبت وجود عائلة لا نهائية من التكوينات المستوية تحتوي على أزواج مسافة وحدوية أكثر من الترتيبات المثلى التي كان يُفترض تقليديًا أنها الأفضل. ببساطة: وجد الذكاء الاصطناعي أنماطًا هندسية تكسر حدًا ظلّ الرياضيون يؤمنون بأنه ثابت لثمانين عامًا.
ما الذي تقوله الإثبات فعليًا
تطرح مسألة المسافة الوحيدة المستوية السؤال التالي: بالنظر إلى n نقطة في مستوى، ما هو الحد الأقصى لعدد الأزواج التي يمكن أن تكون مفصولة بمسافة وحدة واحدة بالضبط؟ تنبأ إردوش بحد أعلى لهذا العدد، ولمدة عقود، كانت التكوينات المعروفة الأفضل هي هياكل شبيهة بالشبكة التي بدت وكأنها تؤكد حدسه.
أخذ نموذج OpenAI مسارًا مختلفًا تمامًا. بدلاً من تكرار ترتيبات الشبكة المعروفة، نهج المشكلة من خلال نظرية الأعداد الجبرية، وربطها بهياكل رياضية متقدمة تُسمى أبراج حقول الصف اللانهائية. النتيجة هي عائلة لانهائية من التكوينات التي تفوق التكوينات المقبولة تقليديًا كأمثل، مما يدحض حدود إيردوس المتوقعة بشكل قاطع. وقد تم كميّة التحسين بأسّ يقارب 0.014.
من قام بالتحقق منه، ولماذا هذا مهم
راجع العمل تيم غوورز، الحائز على ميدالية فيلدز. كما قام ويل ساوان، عالم رياضيات من جامعة برينستون، بمراجعته. وقد صدق كلاهما على صحة الإثبات. وحدد ساوان تحديدًا تحسين المعلمة عند الرقم التقريبي 0.014 في الأس.
جاء الإعلان حوالي 20 مايو 2026، وغيّر فورًا الحوار حول ما يمكن للأنظمة الاستدلالية الذكية القيام به في سياقات البحث البحت.
ما يعنيه ذلك ما وراء الرياضيات
التقنيات المعنية، خاصة نظرية الأعداد الجبرية وبناء كائنات رياضية جديدة، لها صلة مباشرة بنظم التحقق الرسمي وإثباتات الصفرية المعرفة.
التحقق الرسمي هو عملية إثبات رياضي أن الكود يقوم بما يفترض أن يفعله. إذا استطاعت نماذج الاستدلال بالذكاء الاصطناعي توليد وإثبات البراهين على المستوى الموضح هنا، فقد تنخفض تكلفة وجدول زمني التحقق الرسمي للبروتوكولات المعقدة بشكل كبير.
إثباتات الصفرية المعرفة، وهي التقنية التشفيرية التي تدعم سلاسل الكتل المركزة على الخصوصية وحلول التوسع مثل zk-rollups، مبنية على أسس جبرية عميقة. نوع نظرية الأعداد الجبرية التي استخدمها نموذج OpenAI لحل هذه المشكلة يعيش في نفس المنطقة الرياضية.
لا توجد عملات مشفرة محددة مرتبطة بهذا الناتج، وأي شخص يدعي خلاف ذلك يسبق الحقائق.