OpenAI, ETH가 거짓임을 증명하다
Working with academic communities to build scientific understanding
OpenAI가 수학·컴퓨터과학·물리학에서 세 가지 새로운 발견을 발표했다. 조화해석학의 국소 평활화 추측과 Kakeya 추측, 계산복잡도 이론의 지수 시간 가설(ETH) 반증, 그리고 QCD와 표준모형의 완성을 포함하는 양자장론의 존재 증명이다. OpenAI는 이 결과들을 '원시 연구 데이터'로 규정하고, 외부 전문가를 셰퍼드로 위촉해 세 가지 방식으로 공개한다. Russell Impagliazzo, Ryan Williams, David Gross 등이 이끄는 협력단이 결과를 검증하고 해설하며, OpenAI는 학술적 공로를 요구하지 않는다.
놀랍게도, 우리 시스템은 최근 ETH가 거짓임을 증명했으며, 이 결과는 이후 Lean으로 검증되었다.