오픈AI 양-밀스 증명, 작업반 2개 저장소 공개 계획
제목 연관성·주요 수치·시장 영향·향후 전망을 기준으로 핵심 문장을 선별한 요약 브리핑입니다.
핵심 포인트
- 양-밀스 작업반은 오픈AI가 제출한 Lean 코드와 검토 평가 자료를 두 개 GitHub 저장소로 공개할 계획이다.
- 증명 대상은 이론의 존재에 관한 주장으로, 밀레니엄 문제 전체를 해결했다는 발표는 아니다.
- 양-밀스 작업반(Yang-Mills Working Group)은 오픈AI(OpenAI)가 제출한 양자 양-밀스 이론의 Lean 코드와 검토 평가 자료를 두 개 GitHub 저장소로 공개할 계획이다.
본문
양-밀스 작업반은 오픈AI가 제출한 Lean 코드와 검토 평가 자료를 두 개 GitHub 저장소로 공개할 계획이다. 증명 대상은 이론의 존재에 관한 주장으로, 밀레니엄 문제 전체를 해결했다는 발표는 아니다. 양-밀스 작업반(Yang-Mills Working Group)은 오픈AI(OpenAI)가 제출한 양자 양-밀스 이론의 Lean 코드와 검토 평가 자료를 두 개 GitHub 저장소로 공개할 계획이다. 크립토 브리핑(Crypto Briefing)은 작업반이 미국 현지시간 10일 공개할 예정이라고 보도했다. 첫 저장소에는 오픈AI의 전체 Lean 코드 제출물이, 두 번째에는 작업반의 검증 평가 자료가 담길 계획이다. 작업반은 11월 3일 발표한 두 번째 성명에서 코드의 정의와 문제 설정이 물리학·수학의 표준에 맞는지, 자연어 증명과 코드가 일치하는지 살피고 있다고 밝혔다. 당시 작업반은 11월 둘째 주 공개를 희망하며 공개 하루 전에 알리겠다고 했다.
오픈AI는 9월 9일 양-밀스 이론의 존재에 관한 자연어 증명을 만들었다고 밝혔다. 오픈AI는 10월 16일 양-밀스 증명의 Lean 형식화를 마쳤다. Lean은 수학적 정의와 논증을 코드로 작성해 컴퓨터가 각 증명 단계를 검사할 수 있게 하는 도구다. 클레이수학연구소의 밀레니엄 문제는 4차원에서 양-밀스 이론이 성립한다는 점과 질량 간극이 존재한다는 점을 모두 증명하도록 요구한다. 작업반은 10월 성명에서 오픈AI의 접근이 윌슨 격자 정규화(Wilson lattice regularization)와 발라반의 재규격화군 방법(Balaban's renormalization-group methods)을 토대로 한다고 설명했다.