openai/math

외부 오픈소스 저장소를 소개하는 글입니다. HDATF 제품이 아닙니다.

무엇을 하나

공개되지 않은 OpenAI 내부 모델이 만든 수학 논문과 증명 자료를 모아 공개하는 저장소입니다. 실행 가능한 문제 풀이 서비스를 찾는 사용자보다 수학의 미해결 문제에 대한 제안 결과를 살펴보는 연구자를 대상으로 합니다. 독자는 결과 묶음이나 논문을 골라 논문 파일, 소스, 인용 정보와 제공되는 경우 Lean 형식 증명을 확인합니다. Lean은 수학 명제를 표현하고 형식 증명을 검사하는 언어이자 시스템입니다. 관련 결과를 하나의 묶음으로 정리하고 논문에 증명 자료와 검증 설정을 연결합니다. 확인한 Lake 설정은 의존성 버전을 고정하며 Comparator 검사 설정은 검사할 정리, 풀이 모듈과 허용하는 공리를 지정합니다. 논문 열람에는 모델 접근 권한이 필요 없지만 형식 증명을 검사하려면 지정된 Lean 도구와 의존성, 추가 검증 도구가 필요합니다. 저자는 결과마다 검증 단계가 다르고 형식화하지 않은 결과에는 오류가 있을 수 있다고 밝히며, 이번 조사에서는 증명이나 모델 성능을 독립적으로 검증하지 않았습니다.

ATF에 주는 도움

LabChin이 연구 노트를 정리할 때 연구 주장, 논문과 검증 근거를 구분하는 방식을 참고할 수 있습니다. 생성된 논문을 확정된 발견으로 취급하지 않도록 결과 묶음, 논문 버전, 출처 URL, 형식 증명 경로와 검증 상태를 후보 기록에 남기는 방안을 검토할 수 있습니다. Harness에서는 도구 버전, 허용 공리, 로그와 검사한 정리를 결과에 함께 기록하는 작은 범위의 외부 검증 작업을 검토할 수 있습니다. 평가할 때는 자연어 주장과 형식화된 명제가 일치하는지 살피고 증명 자료 없음, 검사 실패와 검사 완료를 구분해야 합니다. 구현한 연동이 아니라 설계 참고 자료이며, 내부 모델 접근이나 검증되지 않은 수학 주장을 Company Brain의 사실로 넣는 근거는 제공하지 않습니다.

라이선스

Apache-2.0 허용 범위가 넓고 특허 사용 허락이 포함됩니다. 상업적 이용이 가능하며 고지 문구를 유지하고 변경 사실을 밝혀야 합니다.

같은 분야 저장소

• storytold/printcraft
  PrintCraft는 PDF를 읽고 정리하고 수정하는 Rust 문서 도구이며 3D 프린팅 앱이 아닙니다. PDF와 편집 명령을 받아 수정 PDF, 추출 텍스트와 문서 정보 또는 페이지 이미지를 출력합니다. 데스크톱 화면과 명령줄, MCP 기반 에이전트 인터페이스가 공통 문서 자동화 계층을 사용합니다. 이 계층은 열린 문서의 작업 상태와 렌더링, 텍스트 임시 저장을 관리하며 검색 결과에는 페이지 좌표도 담을 수 있습니다. 일반적인 변경분 추가 저장은 원본 바이트를 보존하므로 민감정보 제거와 혼동하면 안 됩니다. 로컬 처리가 가능하지만 소스 빌드에는 Rust 도구와 관련 의존성이 필요하고 OCR에는 별도로 준비한 모델 파일이 필요합니다. 확인한 OCR 구현에는 영어가 등록되어 있으며 일반적인 한글 스캔 인식을 제공하는 구조는 아닙니다. 기존 텍스트 편집과 CJK 처리, Office 변환, 고급 PDF 호환성에 한계가 있어 Acrobat을 완전히 대체하는 제품으로 보기는 어렵습니다.
• daizhige-org/daizhigev20
  검색 가능한 원문 자료가 필요한 연구자와 독자를 위해 중국 고전 문헌을 수정하며 관리하는 저장소입니다. README는 TXT를 Markdown으로 바꾸고 간체 중국어 본문과 문서 앞부분의 YAML 메타데이터를 제공한다고 설명합니다. data 브랜치는 문헌 파일을 제공하고 tools 브랜치는 가져오기와 검색 관련 코드를 담습니다. 확인한 가져오기 코드는 본문과 메타데이터를 읽어 제목, 저자, 분류, 제목 구조, 출처 링크와 제공되는 권리 정보가 담긴 Elasticsearch 문서를 만듭니다. Elasticsearch는 이런 기록을 색인해 키워드로 찾는 검색 엔진이며 배포 안내에는 브라우저 검색 화면도 설명되어 있습니다. 문헌 열람에는 적절한 텍스트 뷰어만 있으면 되지만 검색 서버를 직접 운영하려면 안내된 서버 환경과 의존성, 가져오기 코드가 참조하는 IK 중국어 분석기가 필요합니다. 관리자는 문자 변환 오류, 복사된 게시판 내용과 다른 오염 자료를 고쳤다고 보고하지만 이번 조사에서는 전체 문헌을 감사하거나 검색 결과를 재현하지 않았습니다. 가져오기 코드는 긴 문서를 일부 잘라낼 수 있고 GitHub에는 저장소 전체 라이선스가 표시되지 않아 본문 누락 여부와 개별 자료의 재사용 권한을 따로 확인해야 합니다.
• Pawandeep-prog/revpdf-release
  RevPDF Editor 배포 파일을 제공하는 저장소입니다. 오프라인 PDF 편집기로 분할, 병합, 압축과 PDF 및 이미지 간 변환을 지원합니다.
• cdyforever/how-to-live-better
  생활 조언 책을 외부 자료 연결 없이 오프라인에서도 읽는 단일 HTML 독서 페이지입니다. 키워드 검색, 근거 등급 필터, 모바일 화면을 제공합니다.
• cloudflare/nimbus
  사람과 에이전트를 위한 Astro 문서 사이트 골격을 생성합니다. 편집 가능한 레이아웃, 구성 요소, 스타일, 경로, 콘텐츠를 저장소에 두고 공통 기반 기능은 별도 패키지로 제공합니다.

Trendshift 순위 목록에 오른 저장소만 담았고, 목록은 후보를 찾는 데만 썼습니다. 순위 숫자는 옮기지 않았습니다. 설명과 라이선스, 별 수는 각 GitHub 저장소에서 확인했습니다. 해설은 우리의 판단입니다. 이 프로젝트들을 직접 시험한 것은 아니며, 상승 목록에 올랐다고 품질이 증명되지는 않습니다.