US — The Verge
OpenAI, 과학 분야 대형 발견 3건과 학계와 협업하는 새로운 방식 발표
AI2분 읽기
OpenAI가 수학, 컴퓨터 과학, 물리학에서 새로운 "큰" 발견 세 가지를 발표했습니다. 이번에는 외부 전문가들이 결과를 검증하고 설명하도록 하는 새로운 방식을 택했습니다.
무슨 일이 있었나
OpenAI는 한 달도 안 되어 수학, 컴퓨터 과학, 물리학의 새로운 결과 세 가지를 공개했습니다. 컴퓨터 과학과 물리학 결과는 OpenAI가 "셰퍼드(shepherd)"라고 부르는 외부 전문가들이 이끌도록 했습니다. 수학 결과는 연구자들이 스스로 풀이를 만들 수 있도록 AI가 낸 결과물을 먼저 공개했습니다.
핵심 내용
- 수학: 유클리드 공간의 파동 방정식에 대한 국소 평활화(local smoothing) 증명. 케이키 추측 등과 연결됨
- 컴퓨터 과학: 지수 시간 가설(ETH)이 거짓이라고 주장. 이 가설은 1999년에 제안되어 널리 참이라고 여겨졌음
- 물리학: 쿼크와 힘을 설명하는 양자장론에 대한 수학적으로 엄밀한 존재 증명. 표준 모형의 통일 완성도 포함. 전체 자료는 아직 공개되지 않음
- 검증 그룹: 컴퓨터 과학은 Russell Impagliazzo, Ramamohan Paturi, Ryan Williams가 이끎. 물리학은 David Gross가 이끎
배경 알기
지난달 OpenAI는 수학 문제의 해답이라고 주장하는 수백 편의 원고를 공개했습니다. 이 일로 수학자들 사이에서 큰 논쟁이 있었습니다. 한 자문 패널은 AI 기업이 특정 사람에게 결과를 먼저 주는 방식을 쓰지 말라고 권고했습니다. 불공평한 접근, 빌려온 명성, 편향된 선정 등이 이유였습니다. 대신 학술 저장소에 결과를 올리고, Lean이라는 도구로 형식 검증한 증명을 제공하라고 권했습니다.
왜 중요한가
AI가 수학과 과학의 오래된 문제를 풀었다고 주장하는 일이 늘고 있습니다. 그래서 결과를 누가 먼저 보고, 어떻게 검증하며, 누구에게 공을 돌릴지에 대한 규칙이 필요합니다. OpenAI는 이 방식에도 문제가 있을 수 있다고 인정했습니다. 이번 일은 AI 연구 결과를 믿을 수 있게 만드는 방법을 두고 과학계가 던지는 중요한 질문입니다.
앞으로 지켜볼 점
- 전문가 그룹이 컴퓨터 과학 증명을 검토한 결과
- 물리학 결과의 전체 자료가 언제 공개되는지
- AI 연구 결과의 사전 접근, 이해관계 공개, 미발표 자료 사용에 대한 규범이 어떻게 정해지는지
용어 풀이
- OpenAI
- 인공지능(AI) 모델을 만드는 미국 회사입니다.
- 지수 시간 가설(ETH)
- 어떤 어려운 계산 문제는 아무리 좋은 방법을 써도 아주 오래 걸린다는 컴퓨터 과학의 추측입니다.
- Lean
- 수학 증명이 맞는지 컴퓨터가 한 단계씩 확인해 주는 도구입니다.
- 양자장론
- 입자와 힘을 아주 작은 세계의 장(field)으로 설명하는 물리학 이론입니다.