آلفاپروف نکسوس گوگل دیپ‌مایند ده‌ها مسئله حل‌نشده ریاضی را حل کرد و داوری علمی شد
بر اساس پژوهشی جدید، هوش مصنوعی گوگل دیپ‌مایند به‌تنهایی ده‌ها مسئله باز ریاضی را حل کرده است. این نتایج در مجله Science منتشر شده‌اند. آلفاپروف نکسوس (AlphaProof Nexus) توانسته ۹ مورد از ۳۵۳ مسئله باز اردوش را حل کند؛ دو مورد از این مسائل به مدت ۵۶ سال بدون پاسخ مانده بودند. تیم پژوهش پیش از انتشار مقاله، راه‌حل‌های خود را به‌صورت آنلاین در دسترس قرار داد.
علاوه بر این، آلفاپروف نکسوس ۴۴ حدس ریاضی از پایگاه داده دنباله‌های عددی صحیح OEIS را اثبات کرد، به یک پرسش باز در هندسه جبری پاسخ داد و یک کران شناخته‌شده در بهینه‌سازی کمینه-بیشینه را بهبود بخشید؛ روشی که در آموزش برخی مدل‌های هوش مصنوعی استفاده می‌شود.
این سیستم بر پایه Gemini 3.1 Pro ساخته شده است؛ مدلی که پیش‌نویس‌های اثبات را در زبان صوری Lean تولید و بازبینی می‌کند. Lean پس از هر ویرایش، هر پیش‌نویس را بررسی می‌کند و پیام‌های خطا مسیر تلاش بعدی را مشخص می‌کنند. برای زیرمسئله‌های دشوارتر، این سیستم می‌تواند از AlphaProof، ابزار تخصصی اثبات ریاضی، کمک بگیرد. حتی بدون استفاده از AlphaProof نیز آلفاپروف نکسوس توانسته ۹ مسئله اردوش را حل کند؛ موضوعی که گوگل دیپ‌مایند گزارش کرده است.
این مطالعه در شرایطی منتشر شده که بحث درباره توانایی هوش مصنوعی در ریاضیات شدت گرفته است. شرکت OpenAI اخیراً صدها اثبات تولیدشده با هوش مصنوعی را در گیت‌هاب منتشر کرد، اما آن‌ها را برای انتشار در مجلات علمی ارسال نکرد. انجمن ریاضیات انسانی، به رهبری ترنس تائو، خواستار تحریم این رویکرد شد. در مقابل، دیپ‌مایند کار خود را از مسیر داوری همتا (Peer Review) عبور داده است.
منبع: Science / Study