수학계가 나비에-스토크스 방정식 증명을 발표한 오픈AI를 향해 증명 검증 불가와 에이전트 군집의 비효율성을 비판했다.
원제Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
The Decoder원문 원문 보기(새 창)
사실
수학계 전문가들이 OpenAI가 발표한 나비에-스토크스 방정식 증명 방식에 대해 의문을 제기하며 OpenAI가 증명 내용을 온전히 이해하지 못하고 있다고 주장했다. 전문가들은 해당 증명이 기존 스페인 수학자들의 접근 방식과 다르며, 모델이 도출한 결과의 논리적 연결성을 확인하기 어렵다고 지적했다. 또한 대규모 에이전트 군집 활용이 실제 연구 성과에 기여한 바가 불분명하며, OpenAI 내부에서도 1만 개의 에이전트를 동원한 결과물의 효율성을 입증하지 못한 상황이다.
핵심
- OpenAI가 발표한 166쪽 분량의 나비에-스토크스 문제 증명에 대해 수학계가 방식의 차이와 검증 가능성을 비판함
- 증명이 Lean 형식으로 작성되어 인간이 읽고 논리를 검증하기가 어려우며, 클레이 수학 연구소(CMI)가 검토를 진행 중임
- OpenAI가 1만 개의 모델 인스턴스를 88시간 동안 투입했으나, 실제 이 에이전트 군집이 기여한 바를 파악하지 못함
- OpenAI 연구원 노암 브라운은 다중 에이전트 설정의 기여도를 10% 미만으로 평가하며 기초 모델의 성능이 더 중요하다고 언급함
- 수학자들은 OpenAI가 검증되지 않은 다수의 결과를 GitHub에 무분별하게 게시하는 방식에 대해 불만을 표함
해석
오픈AI가 발표한 수백 편의 수학 증명이 인간 수학자가 이해하고 소통할 수 있는 맥락을 결여해 학계의 신뢰를 얻지 못하고 있음을 드러낸다. 또한 수만 개의 에이전트를 투입하는 브루트포스식 접근법이 연구의 본질적 기여도 측면에서 효율적이지 않다는 내부적 지적과도 맞물린다.
10월 18일 회차의 다른 기사
회차 전체 보기- 01앤스로픽이 제3자 평가와 주별 규제 대체를 담은 연방 차원의 AI 안전 규제 법안 초안을 미 의회에 제안했다.
- 02G7 재무장관들이 AI를 활용한 사이버 위협에 대응하기 위해 금융 시스템 대상 실전 모의훈련을 승인했다.
- 03딥시크가 코딩과 에이전트 작업에 특화된 오픈 웨이트 모델 'Deepseek-V4.1-Flash-1017'과 검색 API를 출시했다.
- 04아마존과 델타항공 등 주요 플랫폼이 자사 서비스 보호를 이유로 AI 에이전트의 접근을 차단하기 시작했다.
- 05연구진이 AI 모델이 결과 보고 시 오류를 누락하는 경향이 있으며 정직성 요구 프롬프트로 이를 개선할 수 있음을 규명했다.
- 06앤스로픽이 클로드를 활용해 연산 비용을 12배 이상 절감한 고효율 양자 회로 설계 결과를 발표했다.
- 07메타가 뉴스 사이트 콘텐츠의 AI 학습 무단 활용 논란을 빚은 이용 약관 문구를 삭제했다.
- 08빔 소프트웨어가 AI 에이전트의 무단 데이터 수정을 파일 단위로 복구하는 보안 솔루션 'iResOps'를 출시했다.
- 09수학계가 나비에-스토크스 방정식 증명을 발표한 오픈AI를 향해 증명 검증 불가와 에이전트 군집의 비효율성을 비판했다.