Closed Form에는 OpenAI 모델이 공개한 수학 연구 결과 372건이 분야별로 정리돼 있다. 이 가운데 쉬운 말로 설명한 결과는 128건이다.
Closed Form은 수학 결과를 일반 독자가 읽기 쉽게 풀이하는 사이트다. 수학에 관심 있는 독자는 분야별 목록을 둘러보고 각 결과가 무엇을 증명하는지, 왜 중요한지, 어느 정도 신뢰할 수 있는지 확인할 수 있다.
372건은 어떻게 묶였나?
사이트는 모델이 공개한 논문 719편을 관련 자료끼리 합쳐 372개 결과로 정리했다. 각 결과에는 형식 증명(증명 과정을 정형화해 검사할 수 있도록 적은 것)이 있는지, 일부만 형식화됐는지, 검증되지 않은 주장인지 표시한다. 172건에는 Lean 증명이 기재돼 있다.
분야별 목록은 정수론, 대수기하학과 복소기하학, 실해석과 복소해석, 이론 컴퓨터과학 등으로 나뉜다. 각 결과의 항목으로 들어가 상세 내용을 볼 수 있다.
설명과 증명 표시는 어떻게 읽나?
최신 설명 항목에는 미분기하학의 ‘매끄러운 곡면 계량이 ℝ3에서 국소 등거리 매장을 갖지 않는 경우’와 함수해석학의 ‘팅글리 구면 등거리 문제’가 올라와 있다. 사이트는 설명을 마친 결과가 372건 중 128건이라고 표시한다.
목록에서 분야별 결과를 살펴볼 수 있으며, 전체 보관 목록과 설명이 완료된 결과 목록도 제공한다. 다만 원문은 각 결과의 증명을 독립적으로 검증했는지, 사이트의 설명을 누가 작성했는지는 밝히지 않는다.
댓글 (0)
로그인하면 이 기사에 내 생각을 남길 수 있어요