# OpenAI 가 수학, 컴퓨터 과학, 물리학에서 조화 해석, 계산 복잡성 이론, 양자장 이론에 관한 3 가지 새로운 발견을 발표했으며, 지수 시간 가설은 틀렸음을 확인했습니다.

> https://bookfactory.kr/board/news/23967
> 게시판: 뉴스
> 작성자: tachikoma43
> 작성일: 2026-10-28T05:11:03.882Z

---

현지 시간 2026 년 10 월 26 일, OpenAI 가 수학, 컴퓨터 과학, 물리학 분야에서 조화 분석, 계산 복잡성 이론, 양자장론에 관한 새로운 발견을 발표했습니다. 학계 커뮤니티와 협력하여 과학적 이해를 구축합니다 | OpenAIhttps://openai.com/index/building-scientific-understanding-with-academic-communities/OpenAI 는 관련 학계 커뮤니티로부터 피드백을 받아 연구 결과의 공개 방식을 지속적으로 개선하고 있습니다. OpenAI 의 생각에 따르면, 이러한 논문들은 "가공되지 않은 연구 데이터"로 간주하는 것이 가장 적절하며, 이 연구 데이터를 과학적 이해로 연결하기 위해 OpenAI 는 새로운 방법을 시도하고 있다고 설명했습니다.

또한 OpenAI 는 외부와의 공동 연구에 대해 다음 4 가지 원칙을 따르다고 설명했습니다.

1: 투명성 공동 연구의 존재를 명확히 합니다.

참여자에는 비밀 유지 계약 서명 요구가 없습니다.

참여자들은 연구에 대해 자유롭게 논의하고, 중간 단계의 결과물을 공유하며, 결론을 발표할 수 있습니다.

2: 학문적 공적을 요구하지 않는 OpenAI 는社内 모델이 생성한 발견에 대해 학문적 공적을 요구하지 않습니다.

또한, 공동 연구의 총괄을 연구자에게 의뢰했다고 해서 그 연구자나 작업 그룹이 최초 발견을 했다는 것을 의미하지는 않습니다.

3: 기여 평가 그룹이 심화한 이해, 작성한 해설, 제작된 기타 자료에 대해서는 적절한 평가가 부여되어야 합니다.

그 연구가 의존하는 연구자, 방법론, 아이디어에 적절한 크레딧이 부여되도록 그룹에 협력을 요청합니다.

4: 독립성 참여는 자발적이며 무보수입니다.

작업 그룹의 멤버들은 독립적인 입장에서 참여하며, 결론은 각자의 견해입니다.

멤버가 OpenAI 를 대신하거나, OpenAI 가 멤버를 대신할 수 없습니다.

이러한 결과물에 대한 자료와 결과물은 공동 연구 그룹에 전달됩니다.

컴퓨터 과학 그룹은 자연어 증명과 정리 증명 지원 시스템 Lean 을 통한 형상화를 즉시 공개하기로 결정했습니다.

따라서 OpenAI 의 GitHub 저장소에서 직접 공개될 것입니다.

한편, 물리학 그룹은 AI 가 생성한 성과물을 공개를 보류하고 스스로 논문으로 정리하기로 결정했다고 합니다.

이번 발견 내용은 다음과 같습니다.

◆국소 평활화와 가타가 집합 추측은 함수와 파동을 주파수 성분으로 나누어 연구하는 '조화 분석'과 관련된 것입니다.

1991 년 수학자 크리스토퍼 소지는 파동 방정식의 해가 시간을 국소적으로 평균화 (적분) 할 때 공간적 매끄러움 (정규성) 이 얼마나 향상되는지를 정량적으로 평가하는 '국소 평활화 추측'을 제안했습니다.

무작위로 선택된 일반적인 순간에서의 집중 정도는 가장 극단적인 순간보다 발생할 수 있는 집중보다 항상 훨씬 작습니다.

이는 수학 전반에서 흔히 볼 수 있는 구조라고 합니다.

이 추측이 다루는 현상은 근본적이므로 해석학의 광범위한 영역에 영향을 미칩니다.

예를 들어, 국소 평활화 추측이 성립하면 가타가 추측과 제한 추측도 성립하게 됩니다.

2019 년에는 공간 2 차원에서의 국소 평활화 추측이 증명되었고, 2025 년에는 3 차원의 가타가 추측이 증명되었습니다.

OpenAI 는 "우리의 AU 모델은 모든 차원에서 국소 평활화 추측이 성립함을 증명했습니다. 이를 통해 가타가 추측과 제한 추측도 모든 차원에서 해결될 것입니다. 새로운 증명은 새로운 보조 편미분 방정식을 기반으로 합니다"라고 기록했습니다.

OpenAI 에 따르면, AI 의 출력을 얻은 것은 2026 년 10 월 18 일로, 다음 날 Lean 을 사용하여 형식화를 실행했습니다.

그 후, OpenAI 는 이 성과를 다루는 공동 연구 그룹의 결성에 대해 전문가들에게 자문을 구하고 있습니다.

그리고 전문가로부터 받은 조언을 따르며, 이번 성과는 2026 년 10 월 6 일 발표와 동일한 방식으로 일반 공개되었습니다.

모델이 생성한 자연어 설명 원고와 Lean 을 통한 증명 모두 GitHub 저장소에서 공개되었습니다.

◆ 컴퓨터 과학 공동 연구 그룹은 지수 시간 가설에 대한 성과를 이해하고 설명하는 작업에 착수했습니다.

지수 시간 가설은 부울 논리의可满足성, 즉 변수에 대한 참/거짓 값 할당으로 논리 전체를 참으로 만들 수 있는지에 관한 문제의 계산량에 관한 오랜 예측입니다.

지수 시간 가설은 널리 옳다고 여겨져 왔으며, 그래프 이론, 계산 생물학, 데이터베이스, 계산 기하학 등 광범위한 분야의 수백 편의 논문에서 조건부 계산 복잡성 이론을 유도하는 데 사용되어 왔습니다.

놀랍게도, OpenAI 의 시스템은 지수 시간 가설이 거짓임을 증명했습니다.

그 결과는 이후 Lean 에서 검증되었습니다.

"지수 시간 가설의 반증으로 인해, 이러한 과제들을 어디까지 가속화할 수 있는지에 대한 질문이 다시 제기되고, 더 우수한 알고리즘을 찾는 단서를 제공할 수 있습니다."

그러나 이러한 알고리즘을 발견하고 이론적 진전을 실제 개선으로 연결하려면 더 많은 연구가 필요하다는 점을 OpenAI 는 설명했습니다.

또한, 지수 시간 가설의 반증 검증 및 종합은 캘리포니아 대학교 샌디에고의 러셀 임피아치오, 라마모한 파투리, 매사추세츠 공과대학교의 라이언 윌리엄스를 지휘하는 연구팀이 담당할 예정입니다.

OpenAI 는 "결과물에 대한 모든 원본 데이터를 공개하여 커뮤니티의 독립적 검증이 용이하도록 하는 것"과 "이 연구가 해당 분야 전체에 미치는 영향을 이해하기 위해 OpenAI 가 컨퍼런스를 자금 지원"하는 그룹의 요청에 동의했습니다.

그들은 지수 시간 가설에 관한 주장들을 공개된 자리에서 검토하는 노력을 조직화하는 데 협력하고, AI 가 창출한 획기적 성과가 제기할 것으로 예상되는 검증, 접근성, 공헌, 연구의 미래 등 광범위한 문제들을 논의하도록 커뮤니티를 호소했습니다.

OpenAI 의 AI 는 2026 년 10 월 16 일에 지수 시간 가설의 자연어 반증을 성공했습니다.

그 후, 10 월 17 일에 Lean 으로 형식화했습니다.

이 노력의 일환으로, 모델이 생성한 자연어 설명 원고와 Lean 으로 작성된 증명 모두 GitHub 저장소에서 공개되었습니다.

◆양자 색역학의 존재와 표준 모델을 보완하는 물리학의 공동 연구 그룹은 4 차원에서 게이지 장과 페르미온을 포함한 특정 상호작용하는 장의 양자론에 대해 수학적으로 엄밀한 존재 증명 결과를 이해하고 설명하는 데 주력하고 있습니다.

대상에는 강한 상호작용을 기술하는 양자 색역학과 표준 모델을 통합적으로 보완하는 이론이 포함됩니다.

OpenAI 의 연구는 구성적 장 이론에서 수학자 타데우스 바라반의 접근법에 기반하고 있습니다.

또한 그 일부에는 순수한 야 - 밀스 이론의 존재 증명도 포함되어 있습니다.

이는 클레이 수학 연구소가 설정한 밀레니엄 문제 중 하나인 '양자 양 - 밀스 이론'의 일부입니다.

표준 모델은 자연계의 4 가지 기본 힘 중 중력을 제외한 3 가지에 대해 기본 입자 간의 상호작용을 설명합니다.

이번 존재 증명이 다루는 것은 표준 모델의 게이지 장과 페르미온을 포함한 가장 단순한 대통일 이론입니다.

양자 색역학은 쿼크나 글루온 등의 입자가 강한 힘을 통해 상호작용하는 모습을 설명합니다.

순수 양 - 밀스 이론은 쿼크와 같은 물질을 다루지 않으며, 힘을 매개하는 글루온의 자기 상호작용만을 설명합니다.

이러한 연구의 종합은 데이비드 글로스 씨가 주도하고, 마이클 다글라스 씨, 아서 자프 씨, 이고리 크레바노프 씨, 니키타 네클라소프 씨 등이 참여하는 그룹이 담당할 예정입니다.

따라서 OpenAI 는 외부 전문가들과 연락하여 새로운 성과를 이해하기 위한 그룹을 조직하고, 총괄 역할을 맡길 수 있도록 요청했습니다. 그리고 전문가들은 다음과 같은 3 가지 공개 방법을 제안했습니다. 첫째, 수학 분야 성과의 경우 AI 의 출력을 공개하여 연구자들이 자유롭게 모여 성과의 해명을 위해 노력할 수 있도록 합니다. 둘째, 컴퓨터 과학 분야 성과의 경우 성과 설명을 위한 외부 공동 연구 그룹을 결성하고, 동시에 누구나 검토 및 발전시킬 수 있도록 AI 의 출력을 공개합니다. 셋째, 물리학 분야 성과의 경우 외부 공동 연구 그룹을 결성하고, 자료 공개는 해당 그룹의 판단에 위임합니다. 이 3 가지 방법 중 어느 것이 가장 유용한지는 OpenAI 가 "아직 알 수 없다"고 기록하고 있습니다. 따라서 무엇이 효과적으로 작동하고 무엇을 개선할 수 있는지에 대해서는 광범위한 대중의 의견을 모으기로 계획하고 있습니다.

OpenAI 에 따르면, AI 모델은 2026 년 9 월 9 일에 양 - 밀스 이론의 존재에 대한 자연어 증명과 9 월 18 일에 양자 색역학의 증명을 수행했습니다.

연구가 방대하고 복잡하다는 점을 고려하여, Lean 을 통한 형식화가 완료될 때까지 공개를 연기했기 때문에 발표 시점이 10 월 말로 미뤄진 것입니다.

양 - 밀스 이론의 존재에 대한 형식화는 2026 년 10 월 16 일에 완료되었습니다.

OpenAI 는 "연구 성과를 공개하고 과학자들과 협력하여 발견을 가속화하기 위한 최선의 방법에 대해 계속해서 의견을 기다립니다"라고 기록하고 있습니다.

[원문 보기](https://gigazine.net/news/20261027-openai-three-new-discoveries/) | 출처: Gigazine