یک مسئله ۸۰ساله ریاضی را OpenAI حل کرد

شرکت OpenAI اعلام کرده مدل استدلالیاش بهصورت مستقل مسئله معروف فاصله واحد اردوش را که ۸۰ سال حلنشده مانده بود، حل کرده است؛ مسئلهای در هندسه ترکیبیاتی که از ۱۹۴۶ ذهن ریاضیدانها را درگیر کرده بود. طبق این گزارش، مدل بهجای مسیرهای رایج، با استفاده از روشهایی از نظریه اعداد جبری به یک ساختار تازه رسیده و نشان داده رشد تعداد زوجنقطههای با فاصله ۱ میتواند از حالت تقریباً خطی هم بیشتر شود.
تیموتی گوورز، برنده مدال فیلدز، این اتفاق را نقطهعطفی در تاریخ ریاضیاتِ AI توصیف کرده و گفته اگر این مقاله را یک انسان برای Annals of Mathematics میفرستاد، بیتردید توصیه به پذیرش آن میکرد. بهگفته منبع، این دستاورد در قالب یک کار ۱۲۵ صفحهای منتشر شده و چند ریاضیدان برجسته هم منطق و نوآوری آن را تأیید کردهاند؛ اتفاقی که میتواند نشانهای از حرکت AI از «محاسبه سریع» به سمت کشف علمی باشد.




