OpenAI, AI로 지수 시간 가설 반증 등 수학/물리학 난제 성과 발표

AI 요약

OpenAI가 AI로 얻은 세 가지 연구 결과를 발표했으며, 수학에서는 국소 평활화 추측을 모든 차원에서 증명해 Kakeya 추측과 Stein의 제한 추측도 모든 차원에서 해결했다고, 컴퓨터과학에서는 지수 시간 가설(ETH)을 반증하고 Lean으로 검증했다고, 물리학에서는 양자색역학(QCD)과 표준모형을 포함하는 대통일 이론의 수학적 존재 증명을 얻었다고 밝혔습니다. OpenAI는 AI가 만든 원고를 가공되지 않은 연구 자료로 보고 외부 전문가와의 협력을 실험했으며, 수학은 결과물을 공개해 자율적 검토를 유도하고, 컴퓨터과학은 결과물 공개와 외부 공동 검토를 병행하며, 물리학은 외부 연구진에 자료 공개 여부와 시점을 맡기는 방식을 적용했다고 밝혔습니다. 협력 원칙으로 투명성, 발견에 대한 학문적 공로 요구 안 함, 기여 인정, 참여의 독립성을 제시했으며 컴퓨터과학 연구진은 자연어 증명과 Lean 형식화를 즉시 공개했고 물리학 연구진은 AI 결과물 공개 대신 자체 집필을 선택했다고 밝혔습니다.