yang-mills

Theo MTS, mô hình trí tuệ nhân tạo của OpenAI đã chứng minh một nửa của một trong những vấn đề giải thưởng triệu đô la thiên niên kỷ trong lĩnh vực vật lý, và được một hội đồng đánh giá do người đoạt giải Nobel dẫn đầu hỗ trợ. MTS cho biết, vấn đề này chính là vấn đề Yang-Mills. OpenAI đã công bố chứng minh liên quan lần đầu tiên 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 đánh giá do người đoạt giải Nobel David Gross làm chủ tịch, với các thành viên bao gồm Arthur Jaffe, người đã cùng viết bản tuyên bố chính thức về vấn đề giải thưởng thiên niên kỷ này.Chứng minh liên quan đã được hoàn thành dưới dạng hình thức hóa bằng ngôn ngữ máy tính có thể kiểm tra từng dòng Lean. Vấn đề Yang-Mills là một trong bảy vấn đề khó khăn của giải thưởng thiên niên kỷ được thiết lập vào năm 2000, mỗi giải thưởng trị giá 1 triệu đô la; cho đến nay, vấn đề duy nhất đã được giải quyết là do Grigori Perelman thực hiện, nhưng ông từ chối nhận giải thưởng. MTS chỉ ra rằng, để giành được giải thưởng này, vẫn cần phải chứng minh khoảng cách chất lượng và đáp ứng các quy tắc của Viện Nghiên cứu 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 về lý do tại sao lý thuyết này lại đúng.