OpenAI, 수학 분야에서의 인공지능 진보 공유

OpenAI는 인간 지식의 전선을 확장하기 위해 내부 프론티어 모델이 생성한 수학적 결과 세트를 공개했다. 이 공개는 과학적 투명성을 촉진하고 수학 공동체가 AI에 의해 생성된 증명을 검증하고 기반으로 발전시킬 수 있도록 하기 위한 것이다.

Lean 형식화를 통한 검증

OpenAI는 컴퓨터로 검증 가능한 수학적 증명을 가능하게 하는 프로그래밍 언어인 Lean을 사용해 많은 증명의 형식화를 제공하고 있다. 회사는 이러한 결과를 포함하는 GitHub 저장소를 추가 형식화가 가능할 때마다 업데이트할 것을 약속하여 최고 수준의 검증을 보장한다.

투명성과 방법론

과학적 개방성을 보장하기 위해 OpenAI는 GitHub 저장소에서 결과를 얻기 위해 사용된 프로세스에 대한 구체적인 세부 사항을 공개했다. 공개된 투명성 데이터에는 다음과 같은 항목들이 포함된다:

• 사고 요약: 모델의 사고 과정을 설명하는 10개의 요약
• 계산 자원 추정: ChatGPT Pro 사용량으로 측정한 계산 자원 소비 추정치
• 시도 통계: 시도한 문제 수에 관한 통계

OpenAI에 따르면, 평균적으로 결과는 약 3시간 분량의 ChatGPT Pro '사고'에 해당하는 계산 자원을 사용해 생성되었다.

공동체 참여와 기준

OpenAI는 고급 연구소(IAI)의 수학 및 인공지능 고문 그룹(AGMAI)과 협의하여 인공지능이 생성한 수학적 결과를 공유하기 위한 최선의 실천 방안을 개발하고 있다. 현재 공개된 내용은 AGMAI의 공개 권고사항을 따르며, 논문 수정 및 인용을 위한 정립된 프로토콜을 갖춘 GitHub 저장소를 활용하고 있다.

OpenAI는 미래 공개에서 수학적 서술과 표현의 품질을 향상시켜 공동체의 이해를 높이겠다는 의지를 밝혔다. 또한, 주요 인공지능 생성 수학적 결과의 이해에 초점을 맞춘 워크숍, 컨퍼런스 및 특별 프로그램을 후원할 계획이다.

모델 접근성

현재 결과들은 종이와 형식화로 공개되고 있지만, OpenAI는 이러한 발견을 생성한 내부 프론티어 모델의 책임 있는 공개를 추진하고 있다. 회사는 수학 및 기타 과학 분야에서 내부 프론티어 모델의 지속적인 평가를 강조하며, 과학 도구의 개발을 가속화하고자 한다.