OpenAI AI模型取得数学突破：发布密码学、量子计算等10个长期未解问题研究成果

Tin từ Odaily Planet Daily: OpenAI công bố kết quả nghiên cứu cho biết mô hình AI thế hệ tiếp theo Astra của họ đã đạ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 các lĩnh vực như 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ã hậu lượng tử và tổ hợp cực trị. 10 kết quả được công bố bao gồm: bài toán xếp chồng hình cầu chiều cao, bài toán mã hóa nhị phân và hình cầu, bài toán nhóm không sofic, giả thuyết độ cứng Connes, bài toán độ phức tạp mạch số học, bài toán lặp song song lượng tử, bài toán vectơ gần nhất, giả thuyết thể tích Ehrhart, bài toán số Ramsey đa sắc và 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 quá trình suy luận của phiên bản nội bộ của mô hình Astra. Chi phí tính toán để tìm ra giải pháp khoảng 2.000 USD (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à tạo ra chứng chỉ xác minh có thể kiểm chứng thông qua hệ thống chứng minh hình thức Lean.