مدل جدید OpenAI ده مسئله ریاضی حل‌نشده را حل کرد

شرکت OpenAI به‌تازگی از جهشی بزرگ در توانایی استدلال هوش مصنوعی پرده برداشته است. این شرکت اعلام کرد که یک مدل داخلی و هنوز منتشرنشده از نسل بعدی محصولاتش با نام کد Astra، موفق شده است ده مسئله بدون پاسخ و قدیمی را در حوزه‌های ریاضیات، پیچیدگی کوانتومی و علوم رایانه نظری حل کند. برخی از این مسائل، از جمله سوالاتی در زمینه هندسه و نظریه گروه‌ها، نزدیک به سه دهه بود که ذهن ریاضی‌دانان برجسته جهان را به خود مشغول کرده بودند. از جمله دستاوردهای برجسته Astra، اثبات وجود گروه‌های غیرسوفیک و حل فرض سختی آلن کونس در کنار فرضیه حجم ارهارت بود. این مدل همچنین سه مسئله از فهرست معروف پل اردوش را که در ده سال گذشته هیچ پیشرفتی نداشتند، حل کرد. تمام این ده اثبات ریاضی به طور کامل در محیط نرم‌افزاری Lean بررسی و تایید شده‌اند. هزینه محاسباتی انجام این عملیات بزرگ تنها حدود دو هزار دلار تخمین زده می‌شود که پتانسیل بالای هوش مصنوعی را در کاهش هزینه‌های پژوهش علمی نشان می‌دهد. این موفقیت بزرگ واکنش‌های سریعی را در جامعه فناوری به همراه داشت. در کمتر از بیست و چهار ساعت، یکی از پژوهشگران شرکت رقیب یعنی Anthropic مدعی شد که توانسته است پنج مورد از این ده اثبات را با استفاده از ابزار Fable و تنها با دستورهای ساده و بدون دسترسی به اینترنت بازسازی کند. این موضوع نشان می‌دهد که قدرت استدلال ریاضی در میان مدل‌های پیشرفته هوش مصنوعی به سرعت در حال رشد و همه‌گیر شدن است. اکنون جامعه علمی با این پرسش اساسی روبرو است که آیا اثبات‌های ریاضی که توسط ماشین انجام شده‌اند، شایستگی دریافت جوایز معتبری مانند مدال فیلدز را دارند یا خیر. فراتر از دنیای ریاضیات محض، کارشناسان باور دارند که ظهور مدل‌هایی با چنین توانایی استدلال بالایی می‌تواند به زودی تحولی بزرگ در زمینه‌های کاربردی‌تر مانند کشف داروهای جدید و مهندسی مواد پیشرفته ایجاد کند.