OpenAI AI mô hình đạt được bước đột phá trong toán học: công bố kết quả nghiên cứu về 10 vấn đề chưa được giải quyết trong thời gian dài như mật mã học, tính toán lượng tử

ChainCatcher thông báo, theo thông tin chính thức, OpenAI đã công bố kết quả nghiên cứu cho biết mô hình AI thế hệ tiếp theo của họ, Astra, đã đạt được tiến bộ trong lĩnh vực toán học và khoa học máy tính lý thuyết, liên quan đến hình học nhiều chiều, lý thuyết mã hóa, lý thuyết nhóm, độ phức tạp lượng tử, mật mã hậu lượng tử cũng như toán học tổ hợp cực trị, với 10 kết quả được công bố liên quan đến: vấn đề xếp chồng hình cầu nhiều chiều, vấn đề mã hóa nhị phân và hình cầu, vấn đề nhóm không sofic, giả thuyết độ cứng Connes, vấn đề độ phức tạp mạch số học, vấn đề lặp lại song song lượng tử, vấn đề vectơ gần nhất, giả thuyết thể tích Ehrhart, vấn đề số Ramsey đa sắc, giả thuyết lý thuyết đồ thị cực trị.

Theo giới thiệu, những kết quả này được hoàn thành bằng mô hình Astra phiên bản nội bộ, chi phí tính toán để tìm kiếm giải pháp khoảng 2000 đô la (theo giá Sol API).

Sau đó, các nhà nghiên cứu con người đã sử dụng cùng một mô hình để hỗ trợ biên soạn thành bài báo và thông qua hệ thống chứng minh hình thức Lean để tạo ra chứng chỉ chứng minh có thể xác minh.