لماذا تهاوت مسائل إردوس الأسطورية أمام الذكاء الاصطناعي

أعلنت OpenAI أن نموذجًا داخليًا للذكاء الاصطناعي وجد مثالًا مضادًا لمسألة بول إردوس حول مسافة الوحدة، وهي تخمين يعود إلى عام 1946. وقد تم لاحقًا تحسين النتيجة من قبل علماء رياضيات بشريين، لكنها كانت جديدة لاستخدامها أفكارًا من مجال بعيد في الرياضيات. في الأول من أغسطس، أعلنت OpenAI أن نموذجًا آخر، Astra، حقق 10 إنجازات رياضية إضافية، حيث حل ثلاث مسائل أخرى من مسائل إردوس. وأشار نوغا ألون إلى أن هذه النماذج تغير بشكل جذري البحث الرياضي. أنشأ توماس بلوم موقع erdosproblems.com في أوائل عام 2023 لتجميع مسائل إردوس، وفي أغسطس 2025 أضاف قسمًا للتعليقات، مما عزز وجود مجتمع. قام عالم رياضيات هاوٍ، ووتر فان دورن، بحل المسألة 1102 بمساعدة المجتمع، وتلقى تعليقات من تيرينس تاو. لاحقًا، قام كيفن باريتو وليام برايس، باستخدام GPT-5.2 وGPT-5.2 Pro، بمحاولة حل المسائل؛ فحلا المسألة 333 لكن تبين أن إردوس قد حلها في عام 1977، ثم حلا المسألة 728 دون العثور على حل سابق.