요약:
오픈AI는 지난 수백 편의 논문을 발표한 지 한 달도 채 되지 않아 지난 10월 26일 수학, 컴퓨터공학, 물리학 분야에서 3개의 '주요' 결과를 추가로 발표했고, 처음으로 외부 전문가가 '목자'로서 결과의 이해와 발표 과정을 주도하도록 하려 했다.
이전 접근 방식과 가장 큰 차이점은 출시 전략의 차별화입니다. OpenAI는 컴퓨터 과학 및 물리학의 결과에 대해 외부 전문가를 초대하여 팀을 이끌고 결과를 해석합니다. 수학 문제의 경우 전문가들은 AI 결과물을 직접 공개하고, 연구자들이 해석 작업을 스스로 정리할 수 있도록 하는 것이 좋습니다. OpenAI는 공식 블로그에 세 가지 원고를 일종의 '원본 연구 데이터'로 배치하고 "세 가지 방법 중 어느 것이 가장 유용한지는 아직 알려지지 않았다"고 인정했습니다.
세 가지 결과 중 수학적 결과는 조화해석을 목적으로 합니다. Sogge는 초점을 맞출 때 파동의 거동을 논의하기 위해 1991년에 "국소적 평활도 추측"을 제안했습니다. 가장 극단적인 초점은 수명이 짧아야 하며 무작위 순간의 초점 강도는 최악의 경우보다 훨씬 낮습니다. 이 추측은 매우 기본적이므로 카케야 추측과 슈타인 제한 추측을 모두 포함하고 있습니다. 2019년에는 Guth, Wang, Zhang이 2차원 상황을 증명했고, 2025년에는 Wang과 Zahl이 3차 유지보수 Kakeya 추측을 증명했습니다. OpenAI의 모델은 모든 차원에서 국부적 평활도 추측을 증명하여 모든 차원에서 Kakeya 추측과 Stein 극한 추측을 해결했습니다. 새로운 증명은 새로운 보조 편미분 방정식을 기반으로 합니다. 모델 출력은 2026년 10월 18일에 얻어졌고, 다음날 Lean 공식화가 완료되었습니다.
컴퓨터 과학 분야의 결과는 '지수 시간 가설'(ETH)이 허위임을 지적합니다. ETH는 부울 공식의 만족 여부에 대한 계산 복잡성에 대한 장기적인 추측입니다. 이는 P 대 NP 문제와 밀접한 관련이 있습니다. 이는 과거에 그래프 이론, 컴퓨터 생물학, 데이터베이스, 컴퓨터 기하학 및 기타 분야에서 조건부로 어려운 결과를 도출하기 위해 수많은 논문에서 사용되었습니다. OpenAI는 자사 시스템이 ETH가 사실이 아님을 증명하고 Lean에서 검증을 완료했다고 주장합니다. 이 논문은 하위 지수 시간 내에 고정 너비 CNF 공식의 만족스러운 할당 수를 정확하게 계산할 수 있고 다항식 공간만 차지할 수 있는 결정론적 알고리즘을 제공합니다. 3-SAT 사건은 ETH에 대한 반박을 구성합니다. 이 작업은 Russell Impagliazzo, Ramamohan Paturi 및 Ryan Williams가 이끄는 독립적인 실무 그룹에 의해 검토되고 해석되었습니다. Impagliazzo와 Paturi는 ETH의 최초 제안자였습니다(Francis Zane과 협력). 실무그룹의 요청에 따라 관련 자료를 즉시 공개했습니다. OpenAI는 또한 전체 분야에 대한 결과의 의미를 논의하기 위해 컨퍼런스에 자금을 지원하기로 약속했습니다. 자연어 수준의 반증거는 10월 16일 생성되어 10월 17일 공식화되었습니다.
물리적 결과는 양자색역학(QCD)과 통합되고 완전한 표준 모델 버전을 포괄하는 4차원의 게이지장과 페르미온을 포함하는 특정 상호작용 양자장 이론의 엄격한 존재 증명을 제공합니다. 이 작업은 건설적 양자 장 이론에 대한 발라반의 접근 방식을 기반으로 하며 순수한 양-밀스 이론의 존재에 대한 증명을 하위 문제로 포함합니다. 후자는 클레이 수학 연구소의 "양자 양-밀스 이론" 밀레니엄 상 문제의 일부입니다. 표준 모델은 임의로 짧은 거리로 추정할 수 없으며, 이러한 존재 증명은 표준 모델 게이지 필드와 페르미온을 포함하는 가장 간단한 대통일 이론에 대한 것입니다. 이 작업은 2004년 노벨 물리학상 수상자 David Gross가 주도했으며 Michael Douglas, Arthur Jaffe, Igor Klebanov 및 Nikita Nekrasov가 포함되었습니다. Jaffe는 Witten과 함께 Yang-Mills Millennium Problem을 공동 제안했고 Clay Institute of Mathematics를 공동 설립했으며 Douglas는 20년 동안 이 문제를 추적해 왔습니다. 실무 그룹에서는 모든 관련 연락처를
[이메일 보호]
로 보내달라고 요청합니다. . 모델의 자연어 증명은 Yang–Mills의 존재에 대해서는 9월 9일에, QCD의 경우에는 9월 18일에 제공되었습니다. 길이가 매우 길고 복잡하기 때문에 릴리스는 Lean 공식화가 완료되는 10월 16일까지 연기되었습니다. 그룹은 당분간 AI가 생성한 제품을 공개하지 않고 직접 논문을 작성하기로 결정했습니다.OpenAI는 이러한 외부 협업에 대해 4가지 원칙을 설정했습니다. 즉, 투명성, 참가자에게 기밀 유지 계약 서명을 요구하지 않음, 자유로운 토론, 중간 제품 공유 및 결론 공개입니다. 학문적 명예를 요구하지 않고, 내부 모델에 의해 생성된 발견에 대한 학문적 신용을 추구하지 않으며, 연구자를 참여하도록 초대한다고 해서 그들이 아무 일도 하지 않았다는 의미는 아닙니다. 원래 결과를 작성했습니다. 기여를 인정하고, 실무 그룹은 자신이 구축한 이해와 자신이 작성한 원고 및 기타 자료에 대해 인정을 받으며, 자신이 끌어낸 연구자, 기술 및 아이디어를 적절하게 인용할 책임이 있습니다. 독립적이며 참여는 자발적이고 무보수이며, 회원은 OpenAI를 대표하지 않으며 OpenAI는 그들을 대표하지 않습니다.
그러나 모델 자체가 논란의 여지가 있습니다. OpenAI는 최초의 '목자'를 선택하면 누가 먼저 참여할지 필연적으로 결정되고 정보 비대칭이 발생한다는 점을 인정하므로 참여 확대 방법에 대한 외부 의견을 환영합니다. 보다 직접적인 비판은 OpenAI 자체가 구성한 AGMAI 수학 자문 그룹에서 나왔습니다. 바로 전날(10월 25일) 이 그룹은 "AI 회사가 불평등한 접근권, 타인의 평판 차용, 선택의 편견을 이유로 특정 그룹의 사람들을 지정하여 먼저 결과물을 얻는 관행을 채택하지 말 것을 권고합니다"라고 분명히 밝혔습니다.
과학 연구 지원 측면에서 OpenAI는 이전에 Simons Foundation에 500만 달러를 투자하겠다고 발표했습니다. 이 기금은 연구자들이 인공지능이 만들어낸 결과를 이해하고 이를 바탕으로 지속적으로 연구할 수 있도록 세미나, 컨퍼런스, 특별 프로그램 등을 지원하기 위해 재단이 관리·배분한다.
댓글