OpenAI, 부호 오류 하나로 수학 논문 3편 철회하고 14편 수정
- Weil 클래스 논문의 부호 오류 하나가 stabilization-trace 상쇄 논증을 무효화했고, 그 구성을 쓰던 논문 2편까지 포함해 3편이 철회됨
- 철회된 원고는 README에 결함 설명과 아카이브 원고 링크를 달고 나감
- 증명 수정, 명제 정정, 가설 명확화로 14편을 개정하고, 수정판을 인용하도록 13편의 참조와 버전 날짜를 갱신함
- 개정 묶음은 Lipschitz heights 4편, Kähler 최소 모델 프로그램 6편, Taming·hypersymplectic 2편 등 주제별로 나뉨
- 형식화 6건과 보조 결과 5건이 추가되어 핵심 결과 형식화 비율이 300/719, 약 42%가 됨
Hacker News opinions
이걸로 '린으로 검증됐다'는 방어는 끝난 거 아님?
철회된 논문들은 린 검증된 적도 없고 그렇다고 주장한 적도 없는데.
그 방어를 어디서 봤는지 링크 좀. 난 못 봤음.
권위로 밀어붙이는 증명은 사람 수학자들이 실제로 코드를 돌릴 때까지만 통함. 다시 프롬프트 엔지니어링으로 돌아가는 거지.
수학 커뮤니티가 문제를 짚어주지 않았으면 깨진 채로 남았을 거임. Tao가 말한 것처럼 자동화된 수학이 그 커뮤니티 자체를 위협하고.
누가 짚었는지 링크 있음? 아직 형식 증명 검토 단계인 것 같은데, 거기서 걸린 거 아님?
다른 토론도 있음. news.ycombinator.com/item?id=50002650
400편 중 3개면 아직 괜찮은 적중률 아님?
근데 나머지가 반증이 가능하긴 함? 사람이 못 따라갈 만큼 엉망이라며. OpenAI가 맞다는 걸 증명해야지, 수백 명 수학자가 슬롭 뒤지는 게 아니라.
난 철회가 나와서 오히려 반가움. 가설, 주장, 검증, 반증, 철회는 건강한 과학 생태계의 핵심 루프임.
좀 갈등됨. AI 출력 검증에 엄청난 인력이 들어간 다음에 최종 집계를 봐야 알겠지. 그게 수학의 미래라면 좀 슬픔.