OpenAI giới thiệu mô hình AI ‘Astra’ với bước tiến trong toán học
OpenAI vừa công bố một gia đình mô hình trí tuệ nhân tạo (AI) mới mang tên Astra , đồng thời cho biết một phiên bản nội bộ của mô hình này đã giải quyết hoặc đạt tiến triển quan trọng trong 10 bài toán toán học chưa được giải quyết trong thời gian dài. Đây được xem là bước nhảy vọt trong khả năng lý luận và giải quyết vấn đề phức tạp của AI.
Chi tiết các bài toán được AI giải quyết
10 bài toán liên quan đến các lĩnh vực toán học phức tạp bao gồm hình học đa chiều, lý thuyết mã, độ phức tạp mạch số học, lý thuyết nhóm, đại số operator, độ phức tạp lượng tử, mật mã học mạng lưới, và tổ hợp cực trị. Các bằng chứng toán học do AI tạo ra sau đó được con người chuẩn bị thành các bản thảo, mỗi luận cứ đều được chứng nhận dưới dạng chứng chỉ Lean, theo thông tin từ OpenAI.
