OpenAI, AI가 생성한 수학 결과 약 400건 공개
OpenAI가 700편이 넘는 원고에 담긴 AI 생성 수학 결과 약 400건을 깃허브에 공개했다. 719편 중 300건만 형식화가 끝난 상태다.
OpenAI가 AI가 생성한 수학 결과 약 400건을 700편이 넘는 원고 형태로 깃허브에 공개했다고 더 버지가 보도했다. 결과는 조합론, 기하학의 여러 분야, 정수론, 이론 전산학, 대수학, 위상수학, 확률 및 통계역학, 수리물리학을 아우른다.
OpenAI는 결과물을 담은 깃허브 저장소를 살펴보는 방법에 대한 안내도 함께 게시했다. 회사 측은 결과물의 검증 단계가 제각각이며, 많은 원고가 형식화됐지만 전부는 아니라고 밝혔다.
OpenAI에 따르면 719편의 원고 가운데 최상위 결과 300건이 형식화됐다. 전체의 약 42퍼센트에 해당한다. 회사는 추가 형식화가 확보되는 대로 저장소를 갱신하겠다고 밝혔다.
한편 수학자들은 이번 공개 이후 더 버지와의 대화에서 OpenAI가 내놓은 내용을 단순히 이해하는 데만 수년이 걸릴 수 있다고 말했다. 여러 수학자는 약 40쪽 분량의 목차와 초록을 훑어보는 데 한 시간 가까이 걸렸다고 전했다.
임페리얼 칼리지 런던의 수학과 교수 케빈 버저드는 대수적 정수론에서 여러 정리를 확인했지만, 즉시 눈에 띈 것은 그중 여섯 건 정도였다고 밝혔다.
한눈에 보기
OpenAI가 공개한 수학 결과는 몇 건인가?
AI가 생성한 수학 결과 약 400건으로, 700편이 넘는 원고에 담겨 있다.
형식화가 끝난 결과는 몇 건인가?
719편의 원고 가운데 최상위 결과 300건이 형식화됐으며, 전체의 약 42퍼센트다.