Mô hình OpenAI hoàn thành một nửa chứng minh bài toán Yang-Mills

ChainCatcher tin tức, theo bài đăng của MTS, mô hình trí tuệ nhân tạo của OpenAI đã chứng minh được một nửa vấn đề giải thưởng thiên niên kỷ trị giá 1 triệu đô la trong lĩnh vực vật lý học, và được hội đồng giám khảo do người đoạt giải Nobel dẫn đầu ủng hộ. MTS cho biết vấn đề này chính là vấn đề Yang-Mills. OpenAI lần đầu tiên công bố chứng minh liên quan vào ngày 26 tháng 10 và cho biết mô hình của họ đã hoàn thành công việc này vào tháng 9. Hội đồng giám khảo do Giáo sư David Gross, người đoạt giải Nobel, làm chủ tịch, bao gồm cả Arthur Jaffe, người từng cùng viết bản mô tả chính thức của vấn đề giải thưởng thiên niên kỷ. Chứng minh liên quan đã được hình thức hóa bằng ngôn ngữ máy tính Lean có thể kiểm tra từng dòng. Vấn đề Yang-Mills là một trong bảy vấn đề giải thưởng thiên niên kỷ được thiết lập năm 2000, mỗi vấn đề có giải thưởng 1 triệu đô la; đến nay, vấn đề duy nhất đã được giải quyết là bởi Grigori Perelman, nhưng ông đã từ chối nhận giải thưởng. MTS chỉ ra rằng, để giành giải thưởng này, vẫn cần chứng minh khoảng cách khối lượng và đáp ứng các quy định của Viện Toán học Clay về việc công bố và thời gian công nhận hai năm. Người dùng X Theo Jaffee cho biết, các nhà vật lý đã có thể xử lý lý thuyết trường lượng tử và lý thuyết Yang-Mills lượng tử ở cấp độ kinh nghiệm, nhưng vẫn thiếu sự hình thức hóa toán học giải thích tại sao lý thuyết này lại đúng.