OpenAI가 수학·컴퓨터과학·물리학 분야에서 인공지능(AI)이 만든 연구 결과 3건을 공개했다. 회사는 이 가운데 지수 시간 가설(ETH) 반증 결과가 Lean 형식 검증을 통과했다고 밝혔다.
OpenAI는 10월 26일 공식 발표에서 모델이 ETH를 반증했다고 주장했다. 이 결과는 러셀 임팔리아초(Russell Impagliazzo)와 라마모한 파투리(Ramamohan Paturi), 라이언 윌리엄스(Ryan Williams) 매사추세츠공과대(MIT) 교수가 이끄는 외부 그룹이 검토할 예정이다. OpenAI는 자연어 증명을 공개했고, 커뮤니티의 독립 검증을 위해 관련 원자료도 공개하기로 했다고 밝혔다.
수학 분야에서는 모델이 모든 차원에서 국소 평활화 추측을 증명했고, 이에 따라 카케야 추측과 스타인 제한 추측도 해결했다고 OpenAI는 주장했다. 물리학 분야에서는 양자색역학을 포함한 4차원 양자장론의 존재성 증명을 제시했으며, 데이비드 그로스가 이끄는 연구팀이 검증할 예정이다.
<Copyright ⓒ TokenPost, unauthorized reproduction and redistribution prohibited>
Most Popular