OpenAI는 회사가 더 광범위한 수학계와 연구 결과를 공유하는 방식을 "개선"하고자 하는 가운데, 출시되지 않은 내부 모델이 생성한 대규모 수학 연구 모음집을 공개한다고 밝혔다.
회사는 GitHub 저장소에서 화요일 공개한 자료를 통해, 이 모음집이 서로 관련된 결과를 다루는 372개 결과군으로 분류된 722편의 원고로 구성됐다고 밝혔다. 연구 분야는 곱셈 함수의 일반적인 2점 상관관계부터 Vlasov-Maxwell 시스템까지 다양하다. OpenAI는 결과마다 검증 단계가 다르며, 형식적 증명이 없는 일부 연구에는 오류가 있을 수 있다고 경고했다.
회사는 모델이 약 4,000개의 문제를 해결했으며, 각 결과를 도출하는 데 평균적으로 ChatGPT Pro의 사고 시간 약 3시간에 해당하는 시간이 사용됐다고 덧붙였다. 대부분의 연구는 동일한 절차를 따랐지만, 리만 제타 함수의 영점 없는 영역과 CM 아벨 다양체에 대한 호지 추측 증명 등 일부 결과는 별도로 처리됐다.
회사는 성명에서 "최첨단 역량을 과학자들에게 직접 제공하고 이러한 결과를 만들어낸 모델을 책임감 있게 공개하기 위해 노력하고 있습니다"라고 밝혔다. "그렇기 때문에 수학 및 기타 과학 분야에서 내부 최첨단 모델을 계속 평가하는 것이 중요합니다. 이를 통해 해당 분야의 발전을 촉진할 도구 개발을 가속할 수 있기 때문입니다."
OpenAI는 Institute for Advanced Study의 수학 및 인공지능 독립 자문 그룹의 의견을 반영해 이번 공개를 준비했다고 밝혔다. 저장소에는 여러 증명에 대한 Lean 형식화와 모델의 추론을 요약한 축약본 10개도 포함돼 있다.
이번 공개는 지난달 회사가 약 10,000개의 AI 에이전트가 Navier-Stokes 존재성과 매끄러움 문제를 연구했다고 발표한 데 이어 나왔다.
이 발표는 NYU 교수 Tristan Buckmaster와의 논쟁을 촉발했다. Buckmaster 교수는 자신과 Anthropic 수학자 Levent Alpöge가 이 문제를 연구하는 동안 Codex를 사용한 뒤 OpenAI가 지나치게 서둘렀다고 주장했다. OpenAI는 두 사람이 자사 제품을 사용하면서 생성된 비식별화 데이터가 모델 개선에 기여했을 가능성을 배제할 수 없다고 밝혔다. 회사는 또한 100만 달러 규모의 클레이 밀레니엄상을 신청하지 않겠다고 밝혔다.