نسخه جدید ChatGPT توانست 10 مسئله مهم ریاضی و کوانتوم را حل کند

هوش مصنوعی جدید Astra موفق به حل 10 مسئله ی ریاضی پیچیده شده است که برخی از آن ها برای دهه ها بدون پاسخ باقی مانده بودند.

توسعه دهندگان اوپن ای آی به دستاورد علمی بزرگی در زمینه ی ریاضیات و علوم کامپیوتر دست یافته اند.

هوش مصنوعی جدید اوپن ای آی به نام Astra که نسخه ی بعدی مدل های بزرگ این حوزه به شمار می رود، موفق شد 10 مسئله ی ریاضی را که حداقل به مدت یک دهه هیچ پیشرفتی در حل آن ها حاصل نشده بود، با موفقیت حل کند.

به گزارش زومیت، مسائل حوزه های گوناگونی از جمله هندسه ی ابعاد بالا، نظریه ی کدگذاری، پیچیدگی مدارهای محاسباتی، نظریه ی گروه ها، جبرهای عملگری، پیچیدگی کوانتومی، رمزنگاری شبکه محور و ترکیبیات مفرط را در بر می گیرند.

نتایج علمی ارزشمند با استفاده از نسخه ی داخلی مدل آسترا به دست آمده است.

هزینه ی محاسباتی توکن های مورد نیاز برای یافتن پاسخ این مسائل بر اساس نرخ رابط برنامه نویسی کاربردی (API) مدل Sol، در مجموع حدود دو هزار دلار برآورد می شود.

پس از کشف راه حل ها با هوش مصنوعی، متخصصان انسانی به همراه همین مدل پیش نویس مقالات علمی را آماده کردند و در نهایت، مدل توانست صحت هر استدلال را در قالب گواهی های نرم افزار اثبات قضیه ی Lean تأیید و ثبت کند.