هوش مصنوعی یک مسئله هندسه را میشکند: OpenAI حدس ۸۰ ساله Erdős درباره فاصله واحد را واژگون میکند
در ۲۰ می ۲۰۲۶، OpenAI اعلام کرد مدل استدلال عمومی داخلی آن به طور خودمختار یک مسئله باز مرکزی در هندسه گسسته را حل کرده—مسئله فاصله واحد Erdős—و حدسی را که نزدیک به ۸۰ سال بر حوزه غالب بود واژگون کرد.
این اولین بار است که یک سیستم هوش مصنوعی همه موارد زیر را انجام داده:
- 🤖 پیشنهاد خودمختار یک اثبات اصلی
- 🔗 اتصال حوزههای مختلف (نظریه اعداد جبری ↔ هندسه ترکیبیاتی)
- ✅ عبور از بررسی دقیق توسط ریاضیدانان سطح جهانی
- 🏆 حل یک مسئله باز مرکزی در یک زیرحوزه ریاضی بالغ
مسئله: سوال فریبنده ساده Erdős
در ۱۹۴۶، ریاضیدان مجارستانی Paul Erdős (۱۹۱۳-۱۹۹۶) مسئلهای به اندازه کافی ساده برای توضیح به یک کودک مطرح کرد، با این حال به اندازه کافی عمیق برای متحیر کردن باهوشترین ذهنها برای نزدیک به یک قرن:
با n نقطه در صفحه، حداکثر تعداد جفتهایی که دقیقاً ۱ واحد از هم فاصله دارند چقدر است؟
۸۰ سال اجماع ریاضی
Erdős خود کران پایین را با استفاده از یک شبکه مربعی ارائه داد. اجماع قریببهاتفاق میان ریاضیدانان این بود که ساختار Erdős اساساً بهینه است.
AI این را واژگون کرد.
پیشرفت هوش مصنوعی
مدل استدلال عمومی OpenAI اثبات کامل را در یک جلسه تولید تکمیل کرد.
قضیه (AI-تولیدشده، ۲۰۲۶): خانواده نامتناهی از ساختارهای مجموعه نقاط صفحهای وجود دارد که برای nهای نامتناهی، تعداد جفتهای واحد-فاصله حداقل: [u(n) \geq n^{1 + \delta}] که (\delta > 0) یک ثابت مثبت ثابت است.
این اساساً حدس (n^{1+o(1)}) Erdős را رد میکند.
References
۱. وبلاگ رسمی OpenAI ۲. مقاله همراه: arXiv:2605.20695 ۳. erdosproblems.com