Chứng minh tồn tại Yang–Mills của OpenAI được hội đồng thẩm định đánh giá tích cực

Một chứng minh về sự tồn tại của lý thuyết lượng tử Yang–Mills do mô hình OpenAI tạo ra đã được hội đồng thẩm định đánh giá tích cực. Tuy nhiên, chứng minh về khe khối lượng vẫn còn thiếu, nên toàn bộ Bài toán Thiên niên kỷ này chưa được giải quyết.

OpenAI cho biết đã công bố chứng minh lần đầu vào ngày 26 tháng 10 và mô hình hoàn tất công việc trong tháng 9. Chứng minh được hình thức hóa bằng Lean, ngôn ngữ cho phép máy tính kiểm tra các bước lập luận. MTS đưa tin hội đồng thẩm định do một người đoạt giải Nobel dẫn dắt đã ủng hộ chứng minh này.

Bài toán Yang–Mills yêu cầu chứng minh đồng thời sự tồn tại toán học của lý thuyết và khe khối lượng. Khe khối lượng là đặc tính trong đó có độ chênh lệch dương giữa trạng thái năng lượng thấp nhất và trạng thái kế tiếp. Đánh giá lần này chỉ tập trung vào chứng minh sự tồn tại, không đề cập đến khe khối lượng.

Trước đó, nhóm công tác đã đưa định nghĩa trong mã, cách thiết lập bài toán và mức độ nhất quán giữa chứng minh bằng ngôn ngữ tự nhiên với mã vào phạm vi xem xét. MTS giải thích rằng để được xét trao giải, công trình cần có thêm chứng minh về khe khối lượng, đáp ứng quy định công bố của Viện Toán học Clay (Clay Mathematics Institute) và trải qua ít nhất hai năm được công nhận sau khi công bố.

Viện Toán học Clay công bố bảy Bài toán Thiên niên kỷ vào năm 2000 và treo giải 1 triệu USD (khoảng 1,337 tỷ won) cho mỗi bài. Đến nay, chỉ có một bài được giải: giả thuyết Poincaré, do Grigori Perelman chứng minh. Perelman đã từ chối nhận giải.