الذكاء الاصطناعي يحل مسألة هندسة: OpenAI يقلب حدس إردوس الذي عمره 80 عاماً حول مسافة الوحدة
الذكاء الاصطناعي يحل مسألة هندسة: OpenAI يقلب حدس إردوس الذي عمره 80 عاماً حول مسافة الوحدة
إعلان صادم في الرياضيات
في 20 مايو 2026، أعلنت OpenAI أن نموذج الاستدلال العام الداخلي لديها حل بشكل مستقل مسألة مفتوحة مركزية في الهندسة المتقطعة — مسألة إردوس لمسافة الوحدة، مقلباً حدساً هيمن على المجال لنحو 80 عاماً.
هذه المرة الأولى التي يقوم فيها نظام ذكاء اصطناعي بكل ما يلي:
- 🤖 اقتراح برهان أصلي بشكل مستقل
- 🔗 ربط مجالات مختلفة (نظرية الأعداد الجبرية ↔ الهندسة التوافقية)
- ✅ اجتياز مراجعة نظراء صارمة من قبل رياضيين عالميين
- 🏆 حل مسألة مفتوحة مركزية في حقل فرعي رياضيات ناضج
المسألة: سؤال إردوس البسيط الخادع
في 1946، عالم الرياضيات المجري بول إردوس طرح مسألة بسيطة بما يكفي لشرحها لطفل، وعميقة بما يكفي لحير أعظم العقول لنحو قرن:
بمعطى (n) نقطة في المستوى، ما أقصى عدد من الأزواج التي تبعد عن بعضها مسافة وحدة واحدة بالضبط؟
80 عاماً من الإجماع الرياضي
| النتيجة | السنة | النوع | الصيغة |
|---|---|---|---|
| حد إردوس الأدنى | 1946 | حد أدنى | (n^{1 + c/\log\log n}) |
| حد SST الأعلى | 1984 | حد أعلى | (O(n^{4/3})) |
| حدس إردوس | 1946 | (يُعتقد أنه صحيح) | (n^{1+o(1)}) |
| الذكاء الاصطناعي يقلبه | 2026 | حد أدنى جديد | (\geq n^{1+\delta}) |
الاختراق: قلب حدس
نموذج الاستدلال العام من OpenAI — المدرب بالتعلم المعزز والمزود بقدرات سلسلة تفكير ممتدة — أكمل البرهان الكامل في جلسة توليد واحدة.
نظرية (يولدها الذكاء الاصطناعي، 2026): يوجد عائلة لا نهائية من إنشاءات النقاط المستوية بحيث لعدد لا نهائي من (n)، عدد أزواج مسافة الوحدة على الأقل: [u(n) \geq n^{1 + \delta}] حيث (\delta > 0) ثابت موجب.
هذا ينفي بشكل أساسي حدس إردوس (n^{1+o(1)}) — عدد مسافات الوحدة يمكن أن ينمو كثير الحدود وراء الخطي، وليس فقط “خطياً تقريباً.”
التحقق المستقل
تواصل الرياضياتي تيموثي باورز — الحائز على ميدالية فيلدز — قائلاً: “هذا يمثل علامة فارقة للرياضيات بالذكاء الاصطناعي.”
الورقة المرافقة “ملاحظات على نقض حدس مسافة الوحدة” (arXiv:2605.20695) من تأليف فريق من نخبة الرياضيين.