OpenAI, AI가 도출한 수학·컴퓨터 과학·물리학 증명을 노벨상 수상자 등 외부 전문가에게 검증 의뢰
OpenAI는 자사 AI가 생성한 수학, 계산기 과학, 물리학 증명을 외부 전문가에게 검증받는 체계를 마련했다. 계산기 과학에서는 Exponential Time Hypothesis(ETH)의 반증을, 수학에서는 local smoothing conjecture를, 물리학에서는 4차원 양자장 이론의 존재를 증명했다고 주장하고 있다. 수학과 계산기 과학의 증명은 Lean으로도 번역됐으나, 검증은 분야마다 서로 다른 방식으로 진행된다.
선정 이유: 수학, 컴퓨터 과학, 물리학 등 세 분야에서 외부 전문가가 검증을 진행하는 방식이 분야마다 어떻게 다른지 정리되어 있어, AI 성과를 어떻게 검증할지 생각하는 데 실마리가 된다.