شرکت OpenAI اعلام کرده خانواده جدید مدلهای هوش مصنوعی خود با نام Astra توانسته در نسخهای آزمایشی، ۱۰ مسئله قدیمی و حلنشده ریاضی را حل کند یا پیشرفت قابلتوجهی در حل آنها به دست آورد؛ دستاوردی که میتواند نقطه عطفی در توانایی استدلال هوش مصنوعی باشد.
به گفته OpenAI، این مسائل حوزههای مختلفی از جمله هندسه چندبعدی، نظریه کدگذاری، نظریه گروهها، رمزنگاری مبتنی بر شبکه، پیچیدگی محاسباتی و محاسبات کوانتومی را در بر میگیرند. اثباتهای تولیدشده توسط هوش مصنوعی پس از بررسی و ویرایش پژوهشگران، به مقالات علمی تبدیل شده و با استفاده از سامانه Lean نیز بهصورت رسمی اعتبارسنجی شدهاند. این شرکت همچنین اعلام کرده روند استدلال مدل برای هر مسئله را منتشر خواهد کرد.
OpenAI جزئیات فنی Astra را منتشر نکرده، اما مدعی است هزینه محاسباتی لازم برای دستیابی به این نتایج، بر اساس تعرفه API مدل GPT-5.6، حدود ۲ هزار دلار بوده که نشان میدهد این مدل در حل مسائل بسیار پیچیده نیز از نظر محاسباتی کارآمد است.
با این حال، پیشرفت هوش مصنوعی در ریاضیات با واکنشهایی نیز همراه بوده است. صدها ریاضیدان در «بیانیه لیدن» نسبت به استفاده گسترده از هوش مصنوعی در پژوهشهای ریاضی هشدار دادهاند و نگرانیهایی مانند احتمال ارائه اثباتهای نادرست، نبود شفافیت در استنادها و ایجاد سوگیری در تحقیقات را مطرح کردهاند.
OpenAI در پاسخ اعلام کرده به این نگرانیها احترام میگذارد و تأکید کرده مسئولیت صحت اثباتهای منتشرشده را بر عهده میگیرد. این شرکت همچنین از آغاز طرح ChatGPT for Academic Researchers خبر داده که بر اساس آن، ۱۰۰ هزار پژوهشگر و ریاضیدان به جدیدترین مدلهای هوش مصنوعی OpenAI دسترسی رایگان خواهند داشت.
کد خبر ۲۱۲۰۵۰۵۱۲.۱۳۸
منبع: ایندین اکپرس
