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