رکورد ۴۷ ساله شکسته شد/ هوش مصنوعی ۱۰ مسئله مهم ریاضی و کوانتوم را حل کرد

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