هوش مصنوعی OpenAI صدها مسئله ریاضی را حل کرد که سال‌ها ذهن ریاضی‌دانان را درگیر کرده بودند
نویسنده: آشیتا کاشیاپ
تاریخ انتشار: ۱۵ اکتبر ۲۰۲۶، ساعت ۱۱:۳۴ به وقت هند | آخرین به‌روزرسانی: ۱۵ اکتبر ۲۰۲۶، ساعت ۱۱:۳۴ به وقت هند
شرکت OpenAI، سازنده ChatGPT، خبری منتشر کرده که ممکن است شیوه انجام پژوهش‌های ریاضی را دگرگون کند. این شرکت در ۶ اکتبر ۲۰۲۶ بیش از ۷۰۰ مقاله پژوهشی را منتشر کرد که با استفاده از یک مدل قدرتمند هوش مصنوعی تهیه شده‌اند. این مقالات نتایج مربوط به ۳۷۲ گروه از مسائل ریاضی را در بر می‌گیرند.
مسائل بررسی‌شده به حوزه‌هایی مانند جبر، هندسه، نظریه اعداد و منطق ریاضی مربوط می‌شوند. حل برخی از آن‌ها مدت‌ها برای پژوهشگران دشوار بوده است. انتشار این خبر از یک سو هیجان جامعه علمی را برانگیخته و از سوی دیگر پرسش مهمی را مطرح کرده است: آیا هوش مصنوعی می‌تواند مسائل ریاضی را سریع‌تر از انسان حل کند و آیا پاسخ‌هایی که ارائه می‌دهد همیشه درست هستند؟
مدل هوش مصنوعی OpenAI چگونه صدها مسئله ریاضی را حل کرده است؟
در پژوهش‌های ریاضی، محققان ابتدا مسئله‌ای را بررسی می‌کنند، راه‌حلی برای آن پیشنهاد می‌دهند و سپس باید درستی آن راه‌حل را اثبات کنند. حل بعضی مسائل سال‌ها طول می‌کشد، زیرا رسیدن به پاسخ مستلزم ایده‌های تازه و استدلال‌های منطقی دقیق است. OpenAI می‌گوید مدل هوش مصنوعی این شرکت به نتایجی دست یافته که از نظر آن به‌اندازه کافی مهم هستند تا در اختیار پژوهشگران قرار گیرند.
OpenAI برای بررسی هزاران پرسش ریاضی از یک مدل هوش مصنوعی داخلی استفاده کرده است.
مجموعه منتشرشده شامل بیش از ۷۰۰ مقاله است که نتایج مربوط به ۳۷۲ گروه را پوشش می‌دهند. این پژوهش‌ها تنها به یک موضوع محدود نیستند و شاخه‌های گوناگون ریاضیات را در بر می‌گیرند. این شرکت همچنین نسخه‌هایی از بسیاری از اثبات‌ها را با استفاده از Lean منتشر کرده است؛ زبانی رایانه‌ای که امکان بررسی درستی منطقی استدلال‌های ریاضی را فراهم می‌کند.
اهمیت این موضوع در آن است که پاسخی که هوش مصنوعی تولید می‌کند، لزوماً یک اثبات ریاضی معتبر نیست.
پژوهشگران باید نشان دهند که هر مرحله از استدلال، به‌صورت منطقی از فرض‌های اولیه و نتایج پیشین به دست آمده است.
آیا تمام کشفیات ریاضی OpenAI تأیید شده‌اند؟
خیر. نتایج منتشرشده همچنان باید به‌وسیله ریاضی‌دانان مستقل بررسی شوند. اعلام این دستاورد از سوی OpenAI نشان‌دهنده انجام یک فعالیت پژوهشی گسترده است، اما انتشار تعداد زیادی مقاله به این معنا نیست که جامعه علمی تمام نتایج آن‌ها را پذیرفته است.
برخی پژوهشگران درباره کیفیت و شفافیت مقالات ابراز نگرانی کرده‌اند. آن‌ها همچنین این پرسش را مطرح می‌کنند که آیا نتایج به شکلی ارائه شده‌اند که سایر ریاضی‌دانان بتوانند مسیر استدلال و چگونگی رسیدن به نتیجه‌گیری‌ها را درک کنند یا خیر.
بر اساس گزارش‌های منتشرشده در ۸ اکتبر، ریاضی‌دانان همچنان مشغول بررسی این پژوهش‌ها بودند و به نظر می‌رسید برخی مقالات اشکالاتی دارند. همچنین طبق گزارش‌ها، OpenAI پس از انتشار این مجموعه، سه مقاله را پس گرفته است. این اتفاق تفاوت میان ارائه یک راه‌حل احتمالی و اثبات یک نتیجه معتبر ریاضی را نشان می‌دهد. هر اثباتی، چه به دست انسان ارائه شده باشد و چه هوش مصنوعی، باید بتواند از بررسی‌های دقیق و انتقادی سربلند بیرون بیاید.
چرا ریاضی‌دانان درباره حل مسائل ریاضی با هوش مصنوعی نگران هستند؟
بحث تنها بر سر دقت پاسخ‌ها نیست، بلکه به چگونگی پیشرفت پژوهش‌های ریاضی نیز مربوط می‌شود.
برخی ریاضی‌دانان نگران‌اند که انتشار صدها مقاله به‌صورت هم‌زمان، بررسی دقیق و اصولی آن‌ها را دشوار کند. همچنین ممکن است پژوهشگرانی که سال‌ها روی مسائل مشخصی کار کرده‌اند، متوجه شوند که سامانه‌های هوش مصنوعی پیش‌تر به همان مسائل پرداخته‌اند.
نگرانی دیگر این است که ریاضیات چیزی فراتر از پیدا کردن پاسخ مسائل است. بررسی عمیق یک مسئله می‌تواند به شکل‌گیری روش‌های تازه، طرح پرسش‌های جدید و درک بهتر ارتباط میان مفاهیم مختلف منجر شود.
اگر سامانه‌های هوش مصنوعی پاسخ‌هایی تولید کنند، اما استدلال پشت آن‌ها را به شکلی قابل‌فهم توضیح ندهند، پژوهشگران ممکن است نتوانند به‌خوبی از این نتایج برای گسترش دانش خود استفاده کنند.
OpenAI اعلام کرده است که از برگزاری کارگاه‌های آموزشی، کنفرانس‌ها و برنامه‌های دیگر برای کمک به پژوهشگران در بررسی یافته‌های این شرکت حمایت خواهد کرد.
آیا هوش مصنوعی در آینده جایگزین ریاضی‌دانان خواهد شد؟
هوش مصنوعی می‌تواند به دستیاری برای پژوهشگران تبدیل شود و به ریاضی‌دانان کمک کند تا ایده‌های خود را آزمایش کنند، اثبات‌های مختلف را بررسی کنند و به سراغ مسائلی بروند که حل آن‌ها در شرایط عادی زمان زیادی می‌برد. بااین‌حال، تخصص انسانی همچنان برای ارزیابی درستی نتایج، درک معنای آن‌ها و تشخیص اینکه کدام کشفیات اهمیت بیشتری دارند، ضروری است.
این تحول برای افرادی که قصد دارند در آینده ریاضی‌دان شوند نیز پیام مهمی دارد: یادگیری ریاضیات فقط به پیدا کردن پاسخ درست محدود نمی‌شود؛ درک اینکه چرا یک پاسخ درست است نیز به همان اندازه اهمیت دارد.
تازه‌ترین مجموعه پژوهش‌های منتشرشده از سوی OpenAI نشان می‌دهد که هوش مصنوعی با چه سرعتی در حال ورود به عرصه پژوهش‌های علمی پیشرفته است. بااین‌حال، تأثیر بلندمدت این فناوری تنها به تعداد مسائلی که می‌تواند حل کند بستگی ندارد؛ بلکه به این نیز وابسته است که راه‌حل‌های ارائه‌شده تا چه اندازه درست، قابل‌فهم و برای جامعه علمی سودمند باشند.