OpenAI vừa giải được 10 bài toán toán học lâu năm chưa có lời giải. Mô hình đa tác nhân mới đã giải quyết một tập hợp các bài toán toán học mở khó khăn, chưa được chứng minh trong nhiều thập kỷ — sau đó chính thức hóa các chứng minh trong Lean. Sam Altman đã trình bày Astra tại Washington tuần này. Đây sẽ là mô hình đầu tiên trải qua quy trình phê duyệt chính phủ mới trước khi ra mắt. Chi tiết nổi bật nhất: việc giải cả 10 bài toán chỉ sử dụng ít hơn 2.000 USD giá trị token theo giá của Sol. OpenAI cũng đã thử nghiệm các bài toán khó khác, một số vẫn chưa được giải — nhưng tiềm năng mở rộng là vô cùng lớn. Liệu đây có phải là dấu mốc mở ra một kỷ nguyên mới cho việc phát hiện toán học được hỗ trợ bởi AI?