오픈AI가 수학·컴퓨터과학·물리 난제 3건을 AI로 풀었다고 했어요, 검증은 외부 학자들이 맡아요
2026년 10월 26일 공개 기준 · 출처 OpenAI
나에게 무슨 뜻인지 먼저 보기 ↓오픈AI가 2026년 10월 26일 내부 모델이 수학·컴퓨터과학·물리에서 새 결과 세 가지를 냈다고 발표했어요. 첫째는 수학이에요. 파동이 한곳에 몰리는 정도를 다루는 '국소 평활화 추측'(1991년 제기)을 모든 차원에서 증명했고, 그 결과로 '카케야 추측'과 '스타인 제한 추측'도 모든 차원에서 풀린다고 했어요.
둘째는 컴퓨터과학이에요. 수백 편의 논문이 참이라고 가정하고 써 온 '지수 시간 가설(ETH)'이 거짓이라는 걸 보였다고 했어요. 논리식 풀기 문제를 아무리 잘해도 지수 시간이 걸린다는 가설로, P 대 NP 문제와 깊이 얽혀 있어요.
셋째는 물리예요. 강한 핵력을 설명하는 양자색역학(QCD)과 표준모형을 확장한 이론이 수학적으로 엄밀하게 존재한다는 증명이고, 그 과정에서 순수 양-밀스 이론의 존재도 증명했다고 했어요. 이는 상금 100만 달러가 걸린 밀레니엄 문제 '양-밀스 이론과 질량 간극'의 일부예요.
오픈AI는 수학 결과와 지수 시간 가설 반증, 양-밀스 존재 증명을 기계로 검산하는 언어 린(Lean)으로 옮겼다고 밝혔어요. 이번에는 오픈AI가 공로를 주장하지 않고 분야마다 외부 학자들에게 검증과 설명을 맡겼어요. 지수 시간 가설은 이 가설을 처음 내놓은 러셀 임팔리아초·라마모한 파투리와 MIT 라이언 윌리엄스가, 물리 결과는 2004년 노벨 물리학상 수상자 데이비드 그로스가 이끄는 모임이 맡았어요.
수학 결과는 10월 6일 발표 때처럼 AI가 쓴 증명을 그대로 공개했어요. 참여 학자들은 보수를 받지 않고 비밀 유지 계약도 맺지 않으며, 결론도 스스로 낸다고 했어요.
나에게는 어떤 뜻인가요
아직은 오픈AI의 발표이고 학계가 확인한 결과가 아니에요. 9월 나비에-스토크스 발표 때도 린 검산이 통과했지만, 기계가 확인한 문장이 원래 문제와 정확히 같은지는 사람이 따로 따져야 한다는 지적이 나왔어요. 지수 시간 가설이 정말 거짓이라면 일정 짜기·경로 찾기처럼 지금은 너무 오래 걸린다고 여겨지는 계산을 더 빨리 푸는 방법이 있을 수 있다는 뜻이지만, 오픈AI도 실제로 빨라지려면 연구가 한참 더 필요하다고 했어요. 당장 쓰는 챗GPT와는 상관없고, 외부 모임의 검증 결과를 기다려 보세요.
정리 시점 이후 상황이 바뀌었을 수 있어요. 정확한 내용은 출처 원문에서 확인하세요.