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