“AI가 수학·컴퓨터과학·물리학 난제 증명”…오픈AI, '수십 년 미해결 문제에 도전' 학계 검증 본격화

AI 요약

오픈AI는 자사 AI가 수학, 컴퓨터과학, 이론물리학의 오랜 미해결 문제들에 대한 새로운 증명을 생성했다고 26일(현지시간) 발표했습니다. 오픈AI에 따르면 AI는 모든 차원에서 국소 평활화 추측을 증명했고 이 증명이 성립하면 카케야 추측과 스타인의 제한 추측도 모든 차원에서 해결된다고 밝혔으며, 컴퓨터과학에서는 지수시간가설(Exponential Time Hypothesis, ETH)이 거짓임을 증명했다고 주장하고 양-밀스 이론과 양자색역학(QCD)의 수학적 존재성을 증명한 연구 결과도 생성했다고 설명했습니다. 오픈AI는 자연어 증명을 18일 생성하고 19일 정리 증명 보조 시스템 린(Lean)을 이용해 형식화를 완료해 자료를 공개했지만, 이들 연구를 ‘원시 연구 데이터’로 규정하며 외부 전문가의 독립적 검증을 추진하고 있다고 밝혔습니다.