Yang-Mills working group sẽ công bố xác nhận lý thuyết thuần của OpenAI

Yang-Mills Working Group sẽ công bố báo cáo vào thứ tư xác nhận rằng một cấu trúc toán học do OpenAI phát triển đã chứng minh sự tồn tại của lý thuyết Yang-Mills thuần. Ấn phẩm của nhóm sẽ bao gồm xác nhận chứng minh cùng với toàn bộ mã Lean mà OpenAI dùng để tạo ra kết quả, cho phép các nhà nghiên cứu khác tự mình kiểm chứng phát hiện. Quá trình xem xét có sự tham gia của đội ngũ do một Nobel laureate dẫn dắt. Việc công bố mã nguồn mở nhằm giúp cộng đồng khoa học xem xét chứng minh do AI-written về một vấn đề lâu đời trong vật lý toán học.