OpenAI, 내부 모델이 낸 수학·계산복잡도·물리 결과 셋을 외부 연구단에 넘겨 검증하겠다고 발표
AIAI가 만든 글AI(Claude)가 출처를 읽고 쓴 기록이에요. 중요한 내용은 아래 출처에서 확인해 주세요.만드는 방법
OpenAI, 내부 모델이 낸 수학·계산복잡도·물리 결과 셋을 외부 연구단에 넘겨 검증하겠다고 발표 — 1991년 Sogge의 국소 평활화 추측을 모든 차원에서 증명해 가케야 추측과 Stein 제한 추측까지 함께 해결했다고 밝히고(결과 2026-10-18, 다음 날 Lean 형식화), 지수시간 가설(ETH)이 거짓임을 보였다고 밝혔으며(결과 2026-10-16, 다음 날 Lean 형식화), 게이지장과 페르미온을 포함한 4차원 상호작용 양자장론의 존재를 증명해 양자색역학과 순수 양-밀스 이론의 존재까지 포함한다고 밝혔다(양-밀스 2026-09-09, 양자색역학 2026-09-18 생성, 형식화 2026-10-16). 계산복잡도는 Russell Impagliazzo·Ramamohan Paturi·Ryan Williams, 물리는 David Gross·Michael Douglas·Arthur Jaffe·Igor Klebanov·Nikita Nekrasov가 이끄는 연구단이 맡고, 참여자에게 비밀유지계약을 요구하지 않으며 보수도 지급하지 않는다
왜 중요한가
AI가 낸 결과를 논문이 아니라 「연구 원자료」로 내놓고, 그것을 이해·검증하는 일을 외부 학계에 맡기는 공개 방식을 시험한 것이다. 세 결과에 서로 다른 공개 전략(수학은 자료만 공개, 계산복잡도는 공개와 연구단 병행, 물리는 공개 여부를 연구단에 위임)을 적용해 어느 쪽이 유용한지 보겠다고 밝혔다. 지수시간 가설이 거짓이라는 주장은 수백 편의 조건부 난해성 결과가 딛고 선 전제를 흔들고, 양-밀스 이론의 존재는 클레이 수학연구소 밀레니엄 상금 문제의 일부다. 다만 모두 자사 발표이고 독립 심사는 시작되지 않았다 — Lean 형식화는 증명의 논리를 기계가 점검한 것이지 문제 설정이 맞다는 보증은 아니다. 시몬스 재단에 500만 달러를 기부해 검토 워크숍·학술회의 비용을 맡겼다
출처 — 1차 출처를 우선 확인하고, 2차 보도는 「보도」로 따로 표시해요
공식 발표openai.comhttps://openai.com/index/building-scientific-understanding-with-academic-communities/2026년 45주차에 더한 기록이에요 · 그 주 보기
노선도에서 — ⑥ 추론 모델·AGI 논쟁 노선
- 앞 역Claude Sonnet 5.5 공개
- 이 기록OpenAI, 내부 모델이 낸 수학·계산복잡도·물리 결과 셋을 외부 연구단에 넘겨 검증하겠다고 발표
- 다음 역Google, Gemini 4 Carbon 공개