🔻نتایج ۷۲۲ دست‌نوشته ریاضی پاسخ‌داده‌شده توسط یک مدل داخلی منتشرنشده OpenAI منتشر شد

🔹غول هوش مصنوعی OpenAI مجموعه‌ای از نتایج ریاضی تولیدشده توسط یک مدل داخلی خود شامل ۴۰۰۰ مسئله از ۷۲۲ دست‌نوشته ریاضی در قالب ۳۷۲ خانواده و ۱۰ گروه را به صورت عمومی منتشر کرد.

🔹این نتایج در یک مخزن GitHub همراه با پروتکل‌هایی برای بازبینی و استناد به مقالات ارائه شده و برای بسیاری از اثبات‌ها نیز صورت‌بندی در Lean منتشر شده است؛ زبانی که امکان بررسی کامپیوتری اثبات‌های ریاضی را فراهم می‌کند.
مخزن گیت‌هاب دستاوردهای ریاضی OpenAI
به گفته OpenAI، رسیدن به این نتایج به طور متوسط به محاسباتی معادل حدود سه ساعت تفکر در ChatGPT Pro نیاز داشته است.

🔹این دستاورد در حالی رخ می‌دهد که در طی یکی دو ماه اخیر، ادعاهای OpenAI مبنی بر «ارائه راه‌حل برای ۱۰ مسئله ریاضی لاینحل» توسط مدل Astra و «حل مسئله هزاره ناویر-استوکس» جنجال‌های بسیاری در میان جامعه ریاضی به همراه داشته است.

جزئیات بیشتر در هوشیو
🆔@hooshio