AI가 만든 수학 연구 결과와 공개 방식

AI 요약

OpenAI가 내부 프런티어 모델로 얻은 여러 수학 결과를 공개했습니다. Institute for Advanced Study의 독립 자문 그룹(AGMAI)과 결과 공개 관행을 논의했으며, 이번에는 논문 수정과 인용 절차를 둔 GitHub 저장소에 자료를 올렸습니다. 향후에는 수학적 설명과 인용, 결과 제시 방식을 개선하고, 공동체가 운영하는 공개 공간도 검토하겠다고 밝혔습니다.

결과와 검증 자료 공개

저장소에는 여러 증명의 Lean 형식화 자료가 포함됩니다. Lean은 증명을 컴퓨터로 검사하는 프로그래밍 언어이며, OpenAI는 형식화 자료를 확보하는 대로 저장소를 갱신하겠다고 했습니다. 모델의 추론 요약 10건, ChatGPT Pro 사용량으로 환산한 계산량 추정치, 시도한 문제 수 통계도 공개했습니다. OpenAI가 밝힌 평균 계산량은 결과 하나당 ChatGPT Pro의 ‘thinking’ 약 3시간에 해당합니다. 다만 이 수치는 모델 개발 비용이나 실패한 시도 전체의 계산량을 직접 보여주는 지표는 아닙니다.

OpenAI는 주요 AI 수학 결과를 이해하는 워크숍과 학회, 특별 프로그램에 자금을 지원할 계획입니다. 결과를 만든 모델도 책임 있는 방식으로 공개하기 위해 작업 중이라고 밝혔습니다. 수학과 다른 과학 분야에서 내부 모델을 계속 평가하고, 커뮤니티 의견에 따라 향후 공개 기준을 고치겠다는 입장입니다.

Hacker News 반응

• @enoether — Unique Games Conjecture는 계산복잡도 이론의 중요한 추측이며, 수많은 근사 불가능성 결과가 이를 가정합니다. 유효한 증명이라면 큰 성과입니다.
• @JoshuaZ — 수론 연구자입니다. 이 결과는 매우 중요하며, 사람이 증명했다면 필즈상 후보로 거론될 만합니다. 하지만 지난 200년 중 가장 큰 성과라고 말하는 건 과장입니다. 1896년 소수정리 증명이나 리만의 1859년 논문보다 크다고 주장하기는 어렵습니다.
• @amluto — OpenAI가 결과를 형식화하는 점은 반갑습니다. 하지만 논문에서 Unique Games 문제를 정의하는 첫 두 문장부터 표기와 설명이 매우 불친절합니다. 이런 식으로 부주의하게 쓰면 읽는 사람이 실수하기 쉽습니다.
• @mathisfun123 — 이렇게 많은 분야의 결과를 충분히 검토했을 리가 없습니다. 그중 하나라도 틀리면 이번 홍보는 역효과를 낼 겁니다. Lean을 썼다는 말만으로는 부족합니다. 정리를 올바르게 형식화했는지도 확인해야 합니다.
• @jojva — README에는 형식화되지 않은 결과에 문제가 있을 수 있으며, 그런 문제를 빠르게 고치겠다고 적혀 있습니다. 자료는 커뮤니티가 운영하는 저장소에도 올리는 방안을 검토 중입니다.
• @orlp — ‘ChatGPT Pro 추론 3시간’이 무슨 뜻인지 더 분명히 밝혀야 합니다. 벽시계 시간만으로는 비용을 알기 어렵습니다. Blackwell GPU 시간이나 전력량처럼 계산 자원을 비교할 수 있는 지표를 원합니다.
• @hgoel — OpenAI와 Anthropic이 이전 사례를 서툴게 처리한 뒤라, 이번에 더 신중하게 접근한 점은 좋습니다. 혼란과 표절 의혹, 선점 논란 속에서 서둘러 발표해서는 안 됩니다. 엄격한 분야에서 연구자로 활동하려면 그 분야의 엄격함을 따라야 합니다.
• @applicative — 왜 수학자들에게 모델을 제공해 결과를 이해하고 출판 가능한 형태로 정리하게 하지 않았나요?
  • @zamadatix — 결과가 아니라 모델에 접근하게 하라는 뜻으로 이해했습니다.
• @open592 — 박사과정 중간에 있고, 이 결과 중 하나와 겹치는 연구 초안을 쓰고 있다면 어떻게 해야 하나요? 박사과정 학생들이 연구 방향 전체를 바꿔야 하는 상황 아닌가요?
  • @CaptainNegative — 연구자가 다른 사람에게 선점당하는 일은 흔하지만, 논문 주제 전체가 사라지는 일은 훨씬 드뭅니다. 조건부로 연구해 온 분야의 가정이 뒤집혔다면 보통의 선점과는 다릅니다.

원문: OpenAI / 번역·요약: Trawling