OpenAI 모델 또는 양-밀스 문제의 절반 증명

MTS에 따르면, OpenAI의 인공지능 모델이 물리학 분야의 백만 달러 밀레니엄 문제 중 하나의 절반을 증명했으며, 노벨상 수상자가 이끄는 심사위원회가 이를 지지하고 있습니다. MTS는 이 문제가 양-밀스 문제라고 밝혔습니다. OpenAI는 10월 26일 관련 증명을 처음으로 발표했으며, 그 모델이 9월에 이 작업을 완료했다고 전했습니다. 심사위원회는 노벨상 수상자 데이비드 그로스가 의장을 맡고 있으며, 멤버로는 해당 밀레니엄 문제의 공식 설명서를 공동 집필한 아서 재피가 포함되어 있습니다.

관련 증명은 검증 가능한 컴퓨터 언어인 Lean으로 형식화되었습니다. 양-밀스 문제는 2000년에 설정된 7대 밀레니엄 난제 중 하나로, 각 문제의 상금은 100만 달러입니다. 현재까지 유일하게 해결된 문제는 그레고리 페렐만이 해결했지만, 그는 상금을 받기를 거부했습니다. MTS는 이 상을 받기 위해서는 여전히 질량 간극을 증명해야 하며, 클레이 수학 연구소의 발표 및 2년 인정 기간 규칙을 충족해야 한다고 지적했습니다. X 사용자 테오 재피는 물리학자들이 경험적으로 양자장론과 양자 양-밀스 이론을 다룰 수 있게 되었지만, 이 이론이 왜 성립하는지에 대한 수학적 형식화가 부족하다고 말했습니다.