جامعه علمی دنیا با یک شوک بزرگ مواجه شده است؛ یک مدل استدلالی و همه‌منظوره از شرکت اوپن‌ای‌آی (OpenAI) موفق شد به طور کاملاً مستقل و بدون راهنمایی انسان، حدس معروف فاصله واحد در صفحه را که ۸۰ سال پیش توسط ریاضیدان نامدار، پل اردوش مطرح شده بود، ابطال و حل کند.

این مسئله هندسی به زبان ساده می‌پرسد که اگر تعداد مشخصی نقطه در یک صفحه داشته باشیم، حداکثر چند جفت از آن‌ها می‌توانند فاصله کاملاً یکسانی از هم داشته باشند؟ برای نزدیک به هشت دهه، تمام دانشمندان تراز اول جهان گمان می‌کردند که چیدمان‌های شبیه به صفحه شطرنج یا همان شبکه‌های مربعی، بهینه‌ترین حالت ممکن هستند.

اما این هوش مصنوعی با ارائه یک اثبات ۱۲۵ صفحه‌ای خیره‌کننده، این باور دیرینه را رد کرد. شاهکار اصلی این مدل در آنجا بود که برای حل این چالش هندسی، به سراغ ابزارهای بسیار پیشرفته در نظریه اعداد جبری رفت و پیوندی نوین میان دو شاخه مجزا در ریاضیات ایجاد کرد.

دانشمندان بزرگی چون تیم گاورز، دارنده مدال فیلدز، این رویداد را یک سنگ زاویه تاریخی نامیده‌اند. اهمیت این واقعه در این است که نشان می‌دهد هوش مصنوعی از فازِ سنتیِ بازنشرِ دانش گذشته، رسماً به فازِ تفکر استدلالی عمیق و خلق ساختارهای علمی کاملاً جدید در مرزهای دانش بشری ورود کرده است. 

https://physicsworld.com/a/ai-led-solutions-of-erdos-problems-spark-debate-over-the-future-of-mathematics/