رکورد ۴۷ ساله شکسته شد/ هوش مصنوعی ۱۰ مسئله مهم ریاضی و کوانتوم را حل کرد
هوش مصنوعی نسل جدید OpenAI با نام Astra، ۱۰ مسئله باز و حلنشده در ریاضیات و علوم کامپیوتر نظری را طی ۲۷ سال گذشته، با هزینهای تنها دو هزار دلار حل کرد و برای تأییدپذیری، گواهیهای Lean ارائه داده است.
|
تاریخ انتشار : ۱۴/مرداد/۱۴۰۵ | ۰۳:۳۰