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

오픈AI는 AI 모델이 수학·컴퓨터과학·이론물리학에서 수십 년간 풀리지 않은 난제 3건에 대한 새로운 증명을 생성했다고 발표했다. 수학에서는 카케야 추측과 연결된 '국소 평활화 추측'을 모든 차원에서 증명했다고 주장했고, 컴퓨터과학에서는 30년 가까이 받아들여진 '지수시간가설(ETH)'이 틀렸음을 보였다고 밝혔다. 물리학에서는 4차원 양-밀스 이론과 양자색역학의 수학적 존재성을 증명하는 결과를 생성했다고 설명했다. 오픈AI는 이를 완성된 결론이 아닌 '원시 연구 데이터'로 규정하고, 노벨물리학상 수상자 데이비드 그로스를 포함한 외부 전문가 그룹을 구성해 '셰퍼드' 협력 모델로 검증을 진행 중이다. ETH 반박이 확정되면 이를 전제로 한 수많은 계산 난도 연구가 재검토돼야 할 가능성이 있다.

• 수학에서는 카케야 추측과 연결된 '국소 평활화 추측'을 모든 차원에서 증명했다고 주장했다.
• 컴퓨터과학에서는 지수시간가설(ETH)이 거짓임을 보이는 증명을 생성, 이는 30년 가까이 통용된 가설이다.
• 물리학에서는 4차원 양-밀스 이론과 양자색역학의 수학적 존재성 증명을 생성했다.
• 노벨물리학상 수상자 데이비드 그로스 등 외부 전문가 그룹이 '셰퍼드' 모델로 증명을 검증 중이다.
• 오픈AI는 증명을 확정된 결론이 아닌 '원시 연구 데이터'로 규정하며 독립 검증을 강조했다.