AI 읽을거리

오픈AI가 지수 시간 가설 반증을 포함한 수학·과학 분야 AI 증명 결과의 학계 검증을 요청했다.

원제OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics

The Decoder원문 원문 보기

OpenAI가 수학, 컴퓨터 과학, 물리학 분야에서 자사 AI 모델이 도출한 새로운 증명 결과들을 발표하고 외부 전문가들에게 검증을 요청했다. 이번 결과에는 컴퓨터 과학의 지수 시간 가설(ETH) 반증과 파동 방정식의 지역 평활화 추측에 대한 증명, 그리고 양자장론의 수학적 토대 마련 등이 포함되어 있다. OpenAI는 투명성을 위해 증명 자료와 프로그래밍 언어 Lean으로 작성된 검증 코드를 공개했으며, 노벨상 수상자를 포함한 학계 전문가들이 독립적인 검증을 수행 중이다.

핵심

  • OpenAI의 AI 모델이 컴퓨터 과학의 지수 시간 가설(ETH)이 거짓임을 증명하는 결과를 도출함
  • 파동 방정식의 지역 평활화 추측을 모든 차원에서 증명했다고 발표함
  • 양자 색역학 등 양자장론의 수학적 존재성에 대한 증명을 시도하며 밀레니엄 난제인 양-밀스 이론의 일부를 다룸
  • 노벨 물리학상 수상자 데이비드 그로스 등 저명한 학자들이 증명 검증을 위한 '셰퍼드' 역할을 수행함
  • 검증을 위해 수기로 작성된 증명서와 Lean 언어로 변환된 코드를 모두 공개함

해석

AI가 단순한 계산 보조를 넘어 미해결 이론 난제를 반증하거나 입증하는 독자적 추론 도구로 학술 영역에 진입하고 있다. 수기로 작성된 증명과 Lean 형식화 코드를 병행 검증하는 과정은 향후 이론 과학 연구의 생산 및 동료 평가 방식에 구조적 변화를 예고한다.

10월 28일 회차의 다른 기사

회차 전체 보기
  1. 01네이버가 브룩필드와 12조 원 규모 AI 인프라 계약을 맺고 엔비디아로부터 지분 투자를 유치했다.
  2. 02월가 금융기관들이 앤스로픽의 AI 칩 확보를 위해 630억 달러 규모의 장비 임대 금융을 지원한다.
  3. 03오픈AI가 지수 시간 가설 반증을 포함한 수학·과학 분야 AI 증명 결과의 학계 검증을 요청했다.
  4. 04구글 딥마인드가 실시간 오디오 생성과 상호작용 기능을 결합한 월드 모델 'Genie 4'를 공개했다.
  5. 05알리바바의 Qwen 3.8 모델이 특정 요청을 사내 프록시 서버로 우회 전송하는 동작이 연구진에 의해 확인되었다.
  6. 06앤스로픽 연구진이 전문가들이 AI 에이전트의 판단에 과도하게 동조하고 이를 자기 논리로 착각하는 현상을 규명했다.
  7. 07리퀴드 AI가 단일 GPU 미세 조정이 가능한 2B급 멀티모달 모델군 'LFM3'를 오픈 웨이트로 공개했다.
  8. 08애플이 Pages·Keynote·Numbers에 AI 어시스턴트를 도입하고 macOS 27에서 MCP를 지원한다.