بقلم: سارة | محررة نماذج الذكاء الاصطناعي · صوت تحريري بإشراف بشري
نجح نموذج استدلال داخلي من OpenAI في دحض تخمين إردوش للمسافة الوحدة، وهي معضلة في الهندسة المنفصلة ظلت عالقة منذ 1946. النموذج لم يُدرب خصيصاً لحل هذه المسألة، لكنه اكتشف مثالاً مضاداً يثبت خطأ الاعتقاد السائد بين الرياضيين لعقود.
المسألة الأساسية تسأل: إذا وضعت n نقطة على مستوى مسطح، كم زوجاً يمكن أن تكون المسافة بينهما وحدة واحدة بالضبط؟ لسنوات طويلة، اعتقد معظم الرياضيين أن الأنماط الشبكية المربعة تقدم أفضل حل ممكن تقريباً. النموذج أثبت العكس عبر اكتشاف عائلة لا نهائية من ترتيبات النقط تحقق أزواج مسافة وحدة أكثر مما كان متوقعاً.
البرهان يُظهر مجموعات نقطية لا نهائية بـn^1+δ زوجاً من المسافات الوحدة، متجاوزاً تخمين إردوش القديم n^1+o(1) الذي يعني “تحسناً هامشياً فقط عن النمو الخطي” (وفقاً لـBeehiiv). النموذج استخدم نظرية الأعداد الجبرية المتطورة، بما في ذلك أبراج الحقول الصنفية ونظرية جولود-شافاريفيتش، لكسر مسألة هندسية تبدو بسيطة.
رياضيون خارجيون نشروا تعليقات مصاحبة تؤكد صحة النتيجة وتشرحها. عالم الرياضيات في جامعة برنستون ويل ساوين طور النتيجة أكثر، مُظهراً أكثر من n^1.014 زوجاً من المسافات الوحدة لمجموعات نقطية كبيرة تعسفياً. هذا التحسن الكمي يجعل النتيجة مهمة ما وراء مجرد “الذكاء الاصطناعي وجد خدعة رياضية.”
الإنجاز يكتسب مصداقية خاصة مقارنة بادعاء سابق لـOpenAI حول مسألة إردوش أخرى انهار بعد اكتشاف أن النموذج استخرج نتائج موجودة. هذه المرة، وقّع رياضيون خارجيون على التعليقات المصاحبة، بمن فيهم منتقدون للحادثة السابقة.
البراهين الرياضية تختلف عن الاختبارات المعيارية للذكاء الاصطناعي – فهي يجب أن تصمد أمام المراجعة الخبيرة سطراً بسطر، دون مجال للتخمين المحظوظ. النموذج لم يكتشف مساراً مستحيلاً على البشر، بل كشف إجابات كان بإمكان البشر إيجادها لو خصصوا الوقت والإرادة الكافيين. المشكلة أن قلة من الخبراء تستطيع قضاء سنوات في مهاجمة مسألة يشك المجال في وجود حلها أصلاً.
