Odaily Planet Daily tin: OpenAI công bố 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, bao gồm hình học chiều cao, lý thuyết mã hóa, lý thuyết nhóm, độ phức tạp lượng tử, mật mã sau lượng tử và toán học tổ hợp cực trị. 10 thành tựu được công bố liên quan đến: vấn đề đóng gói hình cầu chiều cao, vấn đề mã nhị phân và hình cầu, vấn đề nhóm không sofic, giả thuyết tính 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 đề vector gần nhất, giả thuyết thể tích Ehrhart, vấn đề số Ramsey đa sắc và giả thuyết lý thuyết đồ thị cực trị.
Theo thông tin, những thành quả này được suy ra bởi mô hình Astra phiên bản nội bộ, với chi phí tính toán để tìm kiếm giải pháp khoảng 2000 USD (theo giá Sol API). Sau đó, các nhà nghiên cứu con người đã sử dụng cùng mô hình này để hỗ trợ biên soạn thành bài báo và tạo ra các chứng nhận chứng minh có thể xác minh thông qua hệ thống chứng minh hình thức Lean.