AI & Enterprise
OpenAI nói Astra giải 10 bài toán mở hơn một thập kỷ
OpenAI cho biết mô hình nội bộ Astra đã tìm ra lời giải cho 10 bài toán mở trong toán học và tin học lý thuyết, đồng thời công bố các chứng minh hình thức có thể kiểm chứng bằng máy.
