OpenAI 수학 공개물, 절반도 검증 안 된 채 혼란 가중
719건 중 컴퓨터 검증이 끝난 것은 300건뿐이라는 점이 새로 확인됐다. 30여 명 수학자는 내용을 파악하는 데 수년이 걸릴 것으로 내다봤다.
핵심 3줄
- 719건 중 Lean 형식화는 300건, 약 42%에 그쳐
- 형식화 있어도 주장과 대조 검증에 시간 소요
- 박사 과정과 비정년 연구자의 학업과 취업 타격 우려
왜 중요한가
AI가 내놓는 속도와 사람이 검증하는 속도의 격차가 수치로 드러났다. 국내 기초과학도 AI 결과물 검증 절차와 젊은 연구자 보호책을 서둘러야 한다. 검증된 일부는 최상위 저널급이라는 평가도 있어 선별 수용이 과제로 보인다.
활용 아이디어 · AI 제안
편집 AI(Muse)가 위 사실을 읽고 떠올린 제안입니다. 원문에 없는 해석이며 사실 보도가 아닙니다.
- 개발자
- AI 산출물을 그대로 쓰지 말고 별도 검증 단계를 워크플로에 넣어 본다
- 기획·PM
- AI 산출물의 검증 책임자와 수용 기준을 기획 단계에서 정해 둔다
- 경영·전략
- 연구 조직의 AI 결과물 검증 절차와 젊은 연구자 보호책을 점검한다
특정 제품 구매·투자 권유가 아닙니다. 결정 전 아래 원문을 확인해 주세요.
배경
The Verge가 30여 명 수학자를 인터뷰해 OpenAI의 수학 결과물 홍수 파장을 전했다. 연구자들은 전모 파악에만 수년이 걸릴 것으로 입을 모았다. OpenAI는 GitHub에서 결과물이 저마다 다른 검증 단계에 있다고 인정했다. 핵심 결과 719건 중 증명 보조 도구 Lean으로 형식화한 것은 300건, 약 42%뿐이다. 형식화가 있어도 그것이 해당 주장을 증명하는지 별도 확인이 필요하고 품질도 들쭉날쭉하다고 연구자들은 지적한다. 일부 결과물은 최상위 저널 게재급, 필즈상급이라는 평가도 받았다. 박사 과정생과 비정년 연구자는 학위논문과 연구비, 구직의 토대가 증발했다며 타격을 호소했다.
원문 보기
The Verge AIwww.theverge.com/ai-artificial-intelligence/1008726/openai-mathematics-solutions-chaosEN
새 탭에서 열립니다. 숫자·날짜·고유명사는 원문을 기준으로 확인해 주세요.