OpenAI는 몇 년 동안 전문 수학자에 도전 한 문제를 포함하여 내부 Frontier AI 모델에 의해 생산 된 수학 연구의 큰 컬렉션을 발표했다.
회사는 10 월 6 일에 출시를 발표했다. 결과가 수학의 넓은 범위를 커버하고 연구자가 scrutiny에 공개적으로 게시됩니다.
공공 컬렉션은 OpenAI의 개발자 커뮤니티에 따라 372개의 관련 결과 가족으로 구성된 722개의 원고가 포함되어 있습니다. 작업은 약 4,000의 수학 문제를 포함하는 평가에서 등장했습니다.
Verge는 공개되지 않은 국경 모델에 의해 생성 된 수학 결과의 수백을 보여줍니다. 그러나 출판은 모든 클레임이 즉시 설립 된 수학 사실로 치료되어야하지 않습니다. 연구자들은 증거를 검사하고 개별 결과의 중요성과 소설을 결정해야합니다.
특히 중요한 기능은 OpenAI가 Lean을 사용하여 많은 증거의 공식화, 수학 증명을 컴퓨터에 의해 검사 할 수있는 프로그래밍 언어입니다. 회사는 추가 형식화는 시간이 지남에 따라 추가됩니다.
OpenAI는 또한 컴퓨팅의 눈에 띄는 측정을 공개했습니다. 평균적으로, 각 결과는 ChatGPT의 대략 3 시간과 동등한 계산을 요구했습니다 내부 모델을 사용하여 생각.
출시는 AI의 수학에 기여하는 능력에 대해 점점 더 극적으로 주장합니다. 9 월, OpenAI는 같은 광범위한 연구 노력이 100 개 이상의 오랜 개방 문제를 해결했다고 밝혔다. 이러한 발견이 검토되고 의사 소통하는 방법에 대한 탁월한 수학 그룹과 함께 일하기 위해 회사를 프롬프트.
고문 그룹은 Stanford, Harvard, Oxford, Cambridge, Berkeley 및 Institute for Advanced Study를 포함한 기관에서 수학자를 포함합니다. 그것의 역할은 단순히 OpenAI의 일을 종료하는 것은 아닙니다, 그러나 독립적으로 significance, 연구 기준 및 책임있는 공개에 조언합니다.
AI가 어려운 수학 질문에 대답 할 수 있는지 더 큰 질문은 지금 간다.
독립적 인 수학자가 궁극적으로이 작업의 중요한 부분을 확인하면 새로운 국경은 이미 알지 못하는 수학을 일상적으로 발견 할 수 있는지 여부를 알 수 있습니다.