오픈AI가 내부 프런티어 모델이 생성한 수학적 증명 372건을 깃허브에 공개했다. 각 결과는 리만 가설 관련 진전이나 주요 컴퓨터 알고리즘 개선 등 미해결 문제 해결이나 상당한 진척을 목표로 하며, 대부분 단일 에이전트에 대한 단일 프롬프트로 생성됐고 평균 챗GPT 프로 컴퓨팅 약 3시간이 소요됐다. 오픈AI는 학술지 대신 깃허브에 공개하면서 린(Lean) 형식 검증을 함께 제공해 수동 검토 부담을 줄이려 했다. 그러나 필즈상 수상자 25명은 공개서한에서 AI의 대량 증명 생산이 수학계의 개념적 이해라는 본래 목표와 심각하게 어긋난다고 경고했다.
- •오픈AI, 내부 프런티어 모델이 생성한 수학 증명 372건을 깃허브에 공개
- •대부분 단일 프롬프트·단일 에이전트로 생성, 결과당 평균 챗GPT 프로 3시간 소요
- •리만 가설 진전, 주요 알고리즘 개선 등 포함, 린(Lean) 형식 검증으로 수동 검토 대체
- •학술지 대신 깃허브 공개는 기존 과학 검증 절차가 AI 생산 속도를 따라가지 못한다는 메시지
- •필즈상 수상자 25명, 공개서한으로 AI의 수학 대량생산이 개념적 이해를 해칠 수 있다고 경고
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
- 1.OpenAI, 내부 프런티어 모델이 생성한 수학 결과 372건을 깃허브에 공개, 리만 가설 등 미해결 문제 진전 포함
- 2.대부분 단일 프롬프트·단일 에이전트로 생성, 결과당 평균 챗GPT Pro 컴퓨트 3시간 소요
- 3.머신 검증 가능한 린(Lean) 형식 증명 동반, 수작업 검토 부담을 줄이기 위한 조치
- 4.필즈상 수상자 25인이 공개서한으로 수학과 AI 목표의 심각한 불일치 우려 제기
왜 중요한가?
학술지 대신 깃허브에 공개한 것은 전통적 피어리뷰가 AI 생산 속도를 못 따라간다는 행보이며, 수학계 일부는 대량 생산된 증명이 개념적 이해 대신 양적 성과만 남길 수 있다고 경고한다.
본문 미리보기
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life. The article OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up appeared first on The Decoder.
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:33AI 초안
