OpenAI 모델 또는 양-밀스 문제의 절반 증명
MTS에 따르면, OpenAI의 인공지능 모델이 물리학 분야의 백만 달러 밀레니엄 문제 중 하나의 절반을 증명했으며, 노벨상 수상자가 이끄는 심사위원회가 이를 지지하고 있습니다. MTS는 이 문제가 양-밀스 문제라고 밝혔습니다. OpenAI는 10월 26일 관련 증명을 처음으로 발표했으며, 그 모델이 9월에 이 작업을 완료했다고 전했습니다. 심사위원회는 노벨상 수상자 데이비드 그로스가 의장을 맡고 있으며, 멤버로는 해당 밀레니엄 문제의 공식 설명서를 공동 집필한 아서 재피가 포함되어 있습니다.관련 증명은 검증 가능한 컴퓨터 언어인 Lean으로 형식화되었습니다. 양-밀스 문제는 2000년에 설정된 7대 밀레니엄 난제 중 하나로, 각 문제의 상금은 100만 달러입니다. 현재까지 유일하게 해결된 문제는 그레고리 페렐만이 해결했지만, 그는 상금을 받기를 거부했습니다. MTS는 이 상을 받기 위해서는 여전히 질량 간극을 증명해야 하며, 클레이 수학 연구소의 발표 및 2년 인정 기간 규칙을 충족해야 한다고 지적했습니다. X 사용자 테오 재피는 물리학자들이 경험적으로 양자장론과 양자 양-밀스 이론을 다룰 수 있게 되었지만, 이 이론이 왜 성립하는지에 대한 수학적 형식화가 부족하다고 말했습니다.
