• 오픈AI가 26일(현지시간), 자사의 대형언어모델(LLM)을 이용해 수학과 컴퓨터과학, 물리학의 난제를 해결하거나, 해결에 근접했다고 밝혔습니다.

• 발표에 따르면 AI 모델이 세 분야에서 각기 다른 성과를 냈습니다. 공개 방식 역시 분야마다 다릅니다. (아래는 참고를 위한 발표 내용 LLM 정리입니다. 정확한 내용은 아래 링크의 원문 자료를 참고해주시길 부탁드립니다.)

  • 수학: 국소 평활화 추측 증명
    Sogge가 1991년에 제안한 이 추측은 파동이 집중될 때 극단적인 집중은 오래가지 못한다는 내용입니다. 기존에는 2차원에서만 증명되어 있었고(Guth·Wang·Zhang, 2019), 관련된 Kakeya 추측도 3차원까지만 풀려 있었습니다(Wang·Zahl, 2025). 이번에 AI는 모든 차원에서 이 추측을 증명했다고 합니다. 그 결과로 Kakeya 추측과 Stein의 제한(restriction) 추측도 모든 차원에서 해결된다고 합니다. 증명은 새로운 보조 편미분방정식에 기반합니다. AI 결과는 2026년 10월 18일에 나왔고, 다음 날 Lean으로 형식화되었습니다. 자연어 증명과 Lean 증명은 GitHub에 공개되었습니다.

  • 컴퓨터과학: 지수 시간 가설(ETH) 반증
    ETH는 불 논리식 충족 가능성(SAT) 문제의 계산 복잡도에 관한 오래된 가설로, P vs. NP 문제와 깊이 관련되어 있습니다. 널리 참으로 여겨졌고, 수백 편의 논문에서 조건부 난해성 결과를 도출하는 데 쓰였습니다. AI는 ETH가 거짓임을 증명했다고 하며, 이 결과는 10월 16일에 나와 10월 17일에 Lean으로 검증되었습니다. 다만 실제로 더 빠른 알고리즘을 찾고 실용화하려면 상당한 추가 연구가 필요하다고 밝혔습니다. 검증과 해설은 Russell Impagliazzo, Ramamohan Paturi(ETH 원 제안자), Ryan Williams가 이끄는 그룹이 맡습니다. 자료는 즉시 공개되었고, 회사는 이 결과의 함의를 다룰 학회 개최 비용을 지원하기로 했습니다.

  • 물리학: QCD 등 양자장론의 존재 증명
    이 결과는 게이지장과 페르미온을 포함하는 4차원 상호작용 양자장론의 존재를 수학적으로 엄밀하게 증명한 것입니다. 대상에는 양자색역학(QCD)과, 표준모형을 포함하는 가장 단순한 대통일 이론이 포함됩니다. 하위 문제로 순수 양-밀스 이론의 존재도 증명했는데, 이는 클레이 밀레니엄 문제의 일부입니다. 증명은 Balaban의 구성적 양자장론 접근법을 바탕으로 합니다. 양-밀스 증명은 9월 9일, QCD 증명은 9월 18일에 나왔고, 양-밀스의 Lean 형식화는 10월 16일에 완료되었습니다. David Gross가 이끄는 그룹(Douglas, Jaffe, Klebanov, Nekrasov 포함)이 이 작업을 맡습니다. 이 그룹의 결정에 따라 AI 산출물은 당분간 공개하지 않고, 그룹이 직접 논문을 작성합니다.

• 한편 앤스로픽 역시 세 가지 문제 가운데 컴퓨터과학 분야 문제에 대해 10월 중순 반증했다는 주장도 27일 나왔습니다.

• 참고: 오픈AI 발표자료

*이미지 출처: 위키미디어

참여 전문가

• 이태억 KAIST 산업및시스템공학과 명예교수

• 김찬주 이화여대 물리학과 교수

• 엄상일 기초과학연구원(IBS) 이산수학그룹 CI 

• 박태선 기초과학연구원(IBS) 희귀핵연구단 연구리더