OpenAI به تازگی صدها نتیجه دیگر را در مورد مسائل اصلی ریاضی ارسال کرده است

نتایج جدید احتمالا بحث‌های هوش مصنوعی را که جامعه ریاضیات را آزار می‌دهد، گسترش دهد.

این شرکت اعلام کرد که OpenAI صدها راه حل و پیشرفت به سمت 372 مسئله اصلی ریاضی را در انتشار 722 نسخه خطی در GitHub ارسال کرده است. پیشرفت‌های حاصل از یک مدل پیشگام ChatGPT منتشر نشده، که توسط گروه مشاوره جدید OpenAI تأیید شده است، احتمالا بحث‌های ناویر-استوکس هوش مصنوعی را که جامعه ریاضی را آزار می‌دهد، گسترش می‌دهد.

نتایج انتظار می رفت، زیرا OpenAI ماه گذشته گفت که مدل های آن "بیش از 100 مشکل باز طولانی مدت را در بیشتر زمینه های ریاضیات حل کرده اند." به عنوان بخشی از انتشار، OpenAI شامل استدلال مدل، برآوردهای محاسباتی و اطلاعاتی در مورد تعداد مشکلات تلاش شده بود. این شرکت گفت که "نتیجه متوسط" به حدود سه ساعت استفاده از ChatGPT Pro نیاز دارد.

OpenAI گفت از دستورالعمل‌هایی برای انتشار این مقالات طبق توصیه‌های گروه مشاوره مستقل در ریاضیات و هوش مصنوعی (AGMAI) پیروی می‌کند. این موارد شامل انتشار سریع نتایج از طریق کانال‌های دانشگاهی سنتی، به‌علاوه جزئیاتی مانند نام مدل مورد استفاده، درخواست‌ها و محاسبه هزینه‌ها بود.

این شرکت نوشت: "برای این نسخه، ما نتایج را در یک مخزن GitHub با پروتکل هایی برای تجدید نظرها و نقل قول ها منتشر می کنیم." "ما در حال بررسی سایر جایگزین های میزبانی شده توسط جامعه برای این نسخه هستیم که دستورالعمل های کمیته را برآورده می کند. برای انتشارات بعدی، ما متعهد هستیم که کیفیت مقالات را از طریق نقل قول ها، توضیح ریاضی و ارائه نتایج برای درک بهتر بیشتر بهبود بخشیم."

با این حال، OpenAI برخی از پیشنهادات هیئت مدیره را نادیده گرفت. این شرکت زمان‌های محاسباتی خاصی را برای مشکلات یا درخواست‌هایی که استفاده می‌کند منتشر نکرده است.

برخی از نتایج کلیدی ادعا شده توسط OpenAI راه حلی برای حدس چهار بعدی Kakeya، همراه با بهبود الگوریتم های کلیدی کامپیوتر و پیشرفت به سمت فرضیه فوق چالش برانگیز ریمان است. OpenAI به Scientific American گفت که تقریبا هر مقاله در پاسخ به یک درخواست واحد به یک عامل هوش مصنوعی تولید شده است.

نتایج هنوز باید توسط ریاضیدانان ارزیابی شود تا تأثیر آنها قابل درک باشد. و به دنبال کتاب ناویر-استوکس (اطلاعات بیشتر در مورد آن را اینجا بخوانید) هنوز شک و تردیدهای زیادی در بین دانشمندان وجود دارد. اندرو ساترلند، ریاضیدان MIT به SciAm گفت: «تا زمانی که مدل را منتشر نکنند و افراد نتوانند نتایج آنها را تکرار کنند، من فکر می‌کنم که شما باید هرگونه ادعایی در مورد مشکلات تک تیراندازی با یک عامل را تأیید نشده تلقی کنید.