Scott Aaronson, OpenAI 수학 증명 공개와 연구자의 해석 과제 분석

Scott Aaronson은 10월 7일 글에서 OpenAI가 전날 공개한 수학 성과 372건에 Unique Games Conjecture 증명이 포함됐다고 전했다. 일부에는 Lean 인증서가 있지만, 사람의 이해와 해설은 이제 시작됐다고 설명했다. AI 증명을 바로 공개하는 방식과 연구자가 정리한 뒤 발표하는 방식의 차이도 논했다.

Aaronson에 따르면 Unique Games Conjecture는 여러 최적화 문제에서 근사 해를 구하는 계산 난도의 한계를 설명한다.

그는 Unique Games Conjecture 증명에 Lean 인증서가 있다고 전했지만, 공개된 372건 모두에 인증서가 있는 것은 아니라고 명시했다.

글에 인용된 Dana Moshkovitz의 평가는 증명 구성과 인용이 이해하기 어려워 AI 도움을 받아 내용을 정리했다는 것이다.

Aaronson은 Anthropic이 핵심 아이디어를 제공한 별도 연구에서는 인간 연구자가 정리한 논문을 발표할 기회를 줬다고 전했다.

내부 모델의 문제당 계산 시간과 성공 비율도 전했으나, 이 글 자체가 모델 평가 보고서나 해당 증명 원문은 아니다.

증명 공개가 빨라져도 다른 연구에 재사용하려면 핵심 구성과 적용 조건을 이해할 수 있는 해설이 필요하다.