نیل سومان، مهندس نرم‌افزار و پژوهشگر سابق، هنگام آزمایش توانایی‌های ریاضی مدل جدید OpenAI، کشف غیرمنتظره‌ای کرد. او مسئله‌ای را در ChatGPT 5.2 وارد کرد و پس از ۱۵ دقیقه پاسخ کامل مدل را دریافت کرد. سومان پاسخ را با ابزار Harmonic ارزیابی کرد و صحت آن را تایید نمود.
سومان گفت: «می‌خواستم بفهمم مدل‌های LLM چه زمانی قادر به حل مسائل باز هستند و کجا با مشکل مواجه می‌شوند.»
مدل با روش‌های زنجیره‌ای فکر، اصول ریاضی مانند فرمول لژاندر، قضیه برتراند و ستاره داوود را به کار گرفت. در نهایت پاسخی کامل‌تر نسبت به اثبات هارواردی نوم الکیس ارائه داد. این مسئله به یکی از مسائل مشهور پل اردوش مرتبط است، که مجموعه‌ای از مسائل حل‌نشده ریاضی را شامل می‌شود و اکنون زمینه‌ای برای بررسی توانایی‌های AI شده است.
افزایش نقش AI در حل مسائل باز ریاضی
ابزارهای هوش مصنوعی در ریاضیات به سرعت فراگیر شده‌اند. مدل‌هایی مانند Aristotle شرکت Harmonic و ابزارهای مرور تحقیقاتی OpenAI، به حل مسائل پیچیده کمک می‌کنند. انتشار ChatGPT 5.2 توانایی مدل‌ها در ریاضیات را به‌طور قابل توجهی افزایش داده است.
-
از کریسمس تاکنون، ۱۵ مسئله از وب‌سایت اردوش از حالت «باز» به «حل‌شده» منتقل شدند. در ۱۱ مورد، مدل‌های AI در فرآیند حل نقش داشتند.
-
ترنس تائو، ریاضیدان برجسته، هشت مسئله را ذکر کرده که AI در آن‌ها پیشرفت داشته و شش مسئله دیگر با استفاده از تحقیقات قبلی حل شده‌اند.
فرمالیزاسیون و ابزارهای خودکار
فرمالیزاسیون روند بررسی و توسعه اثبات‌ها را آسان‌تر کرده است. ابزارهایی مانند Lean و Aristotle به ریاضیدانان کمک می‌کنند تا اثبات‌ها را ساختاریافته و قابل تایید انجام دهند.
Tudor Achim، بنیان‌گذار Harmonic گفت: «اهمیت اصلی این نیست که چند مسئله حل شده، بلکه بزرگ‌ترین ریاضیدانان جهان این ابزارها را جدی گرفته‌اند.»
مدل‌های AI اکنون نقش واقعی در حل مسائل پیچیده ریاضی دارند و به مرور می‌توانند فرآیندهای علمی و تحقیقاتی انسان را بهبود دهند.
برای اطلاعات بیشتر درباره کاربرد هوش مصنوعی در علم و فناوری، مقاله استفاده Google از Gemini برای تحلیل داده‌ها را مطالعه کنید.
