یک مدل داخلی پیشرفته از OpenAI مجموعه‌ای از نتایج ریاضی رو روی مسائل باز و پژوهشی تولید کرده؛ نتایجی که تو قالب ۷۲۲ دست‌نوشته در ۳۷۲ حوزه پژوهشی منتشر شدن.
از بخش‌های جالب این پروژه:
🔢 نتایجی تو حوزه‌هایی مثل نظریه اعداد، جبر، هندسه و علوم کامپیوتر نظرینکته مهم اینه که همه این نتایج هنوز بررسی و تأیید نشدن و بعضی از اون‌ها ممکنه به اصلاح نیاز داشته باشن. هدف پروژه هم کمک به پیشرفت پژوهش‌های ریاضی و ساخت ابزارهایی برای همکاری بیشتر بین هوش مصنوعی و پژوهشگران انسانیه.
🤖 تولید نتایج توسط یک مدل داخلی برای حل مسائل باز ریاضی
🧮 فرموله‌شدن بسیاری از اثبات‌ها با Lean، زبان بررسی کامپیوتری اثبات‌های ریاضی
🔍 انتشار جزئیاتی درباره فرایند تولید نتایج، استدلال مدل و میزان محاسبات استفاده‌شده
⏱️ تولید هر نتیجه به‌طور میانگین معادل حدود ۳ ساعت محاسبات ChatGPT Pro بوده
البته قضیه فقط این نیست که هوش مصنوعی تونسته یه مسئله سخت ریاضی رو حل کنه؛ سؤال مهم‌تر اینه که ما چقدر می‌تونیم بفهمیم این جواب چرا درسته و اصلاً چطور بهش رسیده؟اینجا یکی از مهم‌ترین توانایی‌های تکاملی انسان، یعنی حل مسئله‌های پیچیده و انتزاعی هم به چالش کشیده شده. از این به بعد، کشف و توسعه علم بیشتر به یک فرایند محاسباتی و صنعتی تبدیل می‌شه پژوهشگرها به‌جای اینکه صرفاً درگیر اثبات باشن، باید سؤال‌های درست رو پیدا کنن، بین رشته‌ها ارتباط ایجاد کنن و هوش ماشینی رو درست هدایت کنن.
ممکنه یه کامپیوتر به یه نتیجه درست برسه و حتی بتونیم با ابزارهایی مثل Lean صحتش رو بررسی کنیم، ولی مسیر رسیدن به اون نتیجه اون‌قدر پیچیده یا غیرشهودی باشه که فهم کاملش برای یه انسان خیلی سخت باشه.
OpenAI | GitHub
@AI_KHU | انجمن علمی هوش مصنوعی دانشگاه خوارزمی