OpenAI chưa phát hành mô hình Astra chinh phục 10 bài toán khó

Tin tức TechFlow, ngày 01 tháng 8, theo thông tin mới được tiết lộ, mô hình chưa phát hành này (có thể là GPT-6) đã giải quyết 10 bài toán khó chưa có lời giải trong thời gian dài trong lĩnh vực toán học, độ phức tạp lượng tử và khoa học máy tính lý thuyết, bao gồm nhóm non-sofic tường minh đầu tiên, bác bỏ giả thuyết cứng Connes, v.v. Lập luận cốt lõi được tạo bởi Astra và được chứng minh hình thức hóa trong Lean, tạo ra bản thảo 249 trang và chứng chỉ có thể xác minh bằng máy. Chi phí token cho một lần giải quyết thành công duy nhất theo mức phí Sol API chỉ khoảng 2000 USD.