Đột phá toán học của OpenAI hé lộ mắt xích yếu tiếp theo trong bảo mật crypto

Đột phá toán học mới nhất của OpenAI có thể đưa việc chứng minh định lý tự động đến gần hơn với quy trình bảo mật hợp đồng thông minh.

Vào ngày 8 tháng 9, công ty AI cho biết rằng khoảng 10.000 tác nhân AI đồng thời đã tạo ra một giải pháp giải quyết vấn đề chuyển động chất lỏng Navier-Stokes sau khoảng 88 giờ. Việc hình thức hóa và xác minh trong Lean, một phần mềm hỗ trợ chứng minh, đã mất thêm 17 giờ bằng cách sử dụng GPT-6 Astra.

Hệ thống đã tạo ra một bằng chứng phân tích cho thấy một chất lỏng ban đầu nhẵn có thể phát triển một điểm kỳ dị trong thời gian hữu hạn trong khi vẫn giữ năng lượng hữu hạn, thiết lập các trường hợp C và D của công thức Giải thưởng Thiên niên kỷ. OpenAI đã phát hành cả bằng chứng và bản hình thức hóa Lean của nó để xem xét độc lập.

Đối với các nhà phát triển tiền điện tử, ý nghĩa trực tiếp hơn nằm ở quy trình. Xác minh hình thức sử dụng các đặc tả toán học và chứng minh định lý để xác định xem mã hợp đồng thông minh có hoạt động như dự định hay không, một lĩnh vực mà sự hướng dẫn của con người có thể làm cho việc xác minh trở nên tốn kém và tốn nhiều công sức.

AI có thể di chuyển nút thắt bảo mật lên thượng nguồn

Quy mô thử nghiệm của OpenAI rất giống với một kịch bản mà nhà toán học Terence Tao đã mô tả năm ngày trước khi có thông báo.