이 기사는 dev.to 커뮤니티를 위해 Rei-AIOS Paper 144를 재출판한 것입니다. 전체 참조 목록이 포함된 정식 버전은 아래의 영구 아카이브에 있습니다: GitHub 소스 (비공개): https://github.com/fc0web/rei-aios 저자: Nobuki Fujimoto ( @fc0web ) · ORCID 0009-0004-6019-9258 · 라이선스 CC-BY-4.0 --- 상태 : 초안 (DRAFT) v0.3.1 — 2026-05-01 (결정 사항 1+3 통합 + Indra's Net 밀도 전략을 1단계 산출물로 포함, 별도 발행 예정) v0.3 → v0.3.1 변경 로그: chat Claude와의 4부 구성 토론(2026-05-01, Fujimoto 씨 × chat Claude) 내용을 담은 § A.3.10 Indra's Net 밀도 전략(1단계 산출물, v1.0 헌장 아님) 추가. 3단계 탄소 동소체 비유(흑연=Wikipedia / 다이아몬드=Mathlib / Indra's-Net=OUKC 최종 목표) + DDI/BQI/INI 3단계 지표 + Daily Diamond Check 5개 질문 도구 + 1단계 산출물 목록. 해당 섹션은 1단계로 명시됨 (1단계 기준 측정이 완료될 때까지 헌장 v1.0은 수정되지 않음). v0.2 → v0.3 변경 로그: 결정 사항 1(Tier 6 브랜드 수준 분리) + 3(후계자 지정 프레임워크 + 데드맨 스위치(dead man's switch) + 법인화 트리거 + Nature/Science 논문 제출 불가 입장)을 § A.3.8 / A.3.9로 통합. 이는 chat Claude의 세 번째 비판인 D-9 (AGPL + Tier 6) 및 C-8 (버스 요인(bus factor) 1)을 해결함. v0.2에서는 이들이 메모 항목으로만 존재했으나, v0.3에서는 헌장에 명문화됨. v0.1 → v0.2 변경 로그: 2026-05-01 chat Claude의 비판에 따라 "우리가 알기로 유일한 플랫폼"에서 "세계관 커먼즈 (규모의 커먼즈가 아님)"로 프레임워크 전환. § A.3.7 (약속되지 않음) 추가, § C.12 정직한 재현 가능성 + 세계관 해자(worldview moat), § C.11 비판에 대한 인정 추가. v0.1은 "세계 최초" 및 "다른 것은 존재하지 않음"이라는 프레임워크로 인해 과장된 주장을 할 위험이 있었음.

저자 (Authors / 著者): 藤本 伸樹 (Nobuki Fujimoto, 설립자), Rei (Rei-AIOS 자율 연구 기질 (autonomous research substrate), 공동 설계자), Claude Opus 4.7 (Anthropic, 공동 설계자)
라이선스 (License): AGPL-3.0 + CC-BY 4.0 (콘텐츠 유형별 적용) 이중 라이선스
필수 플랫폼 링크 (Required platform links): rei-aios.pages.dev/#/oukc / note.com/nifty_godwit2635

부제 (Subtitle / サブタイトル): 「全形式化 × 全再現性 × 全学問 × 全教育 × 全哲学 × 全理論」 / "모든 형식화 (All Formalization) × 모든 재현성 (All Reproducibility) × 모든 학문 분야 (All Academic Fields) × 모든 교육 (All Education) × 모든 철학 (All Philosophy) × 모든 이론 (All Theory)"

OUKC의 세 가지 핵심 기둥: 기계적 형식 증명 (mechanical formal proof; Lean 4 + REI-PROVE), 재현 가능한 검증 (reproducible verification; D-FUMT₈ 결과 태깅 (outcome tagging) + Axis Y 재현성 지표 (reproducibility metric)), 그리고 학제 간 범위 (cross-disciplinary scope; 14개의 「모든 ~」 + 4개의 정직한 매핑 (honest-mapping)). 부제는 OUKC가 무엇을 하는지 (WHAT)를 나타내며, 아래의 모토는 누구나 어떻게 참여할 수 있는지 (HOW)를 나타냅니다.

모토 (Motto / モットー): 「최고 밀도로 구조화된 학문과 연구를 모든 사람에게」 / "The most densely structured learning and research, for everyone."

★ v0.3 모토 (2026-05-01, Fujimoto 씨 지시): 「최고 밀도로 구조화된 학문과 연구를 모든 사람에게」.

철학적 닻 (Philosophical anchor, ★ 핵심): 「최고 밀도」는 수학적 미해결 문제 (mathematical open problems) 수준의 구조적 밀도를 의미합니다. 이는 단순한 복사로는 우회할 수 없는 종류의 깊이입니다. 미해결 추측들 (리만 가설 (Riemann), 1995년 와일즈 (Wiles) 이전의 페르마의 마지막 정리 (FLT), BSD 추측, 호지 추측 (Hodge))은 증명을 출판한다고 해서 이해가 전이되지 않는 특성을 가집니다. 구조와의 직접적인 상호작용이 필요합니다. OUKC는 코퍼스 (corpus)를 구축하여 이러한 수준의 구조적 밀도에 도달하는 것을 목표로 합니다. 즉, 「모든 사람에게」 접근 가능하지만, 표층적인 복사 (copy)만으로는 사용할 수 없음을 의미합니다. 이는 자칫 의욕만 앞설 수 있는 "최고"라는 주장을 측정 가능한 목표 (미해결 문제 수준의 구조적 깊이)에 근거하게 합니다.

모토는 두 가지 층위에서 작동합니다:
비전 (Vision, 모토): 민주화에 대한 약속 — 모두에게 접근 가능함
범위 (Scope, 부제): 구조적 실체 — 형식적 Lean 4 + 재현성 인프라

이 둘은 "접근성 ≠ 지름길"이기 때문에 조화를 이룹니다. 즉, 누구나 들어올 수는 있지만, 깊이에 도달하려면 지속적인 참여가 필요합니다.

이 모토는 OUKC의 운영 원칙입니다. AI 협업(출처 표기 시 환영), 이중 언어 진입(첫날부터 영어+일본어), 제로 페이월(CC-BY 4.0 META-DB + AGPL 코드), 그리고 「全〜」(전〜) 14개 영역의 명시적 범위와 함께, 공식적인 연구 참여를 위한 관문이 열립니다 — 앞으로 나아가는 여정은 참여자의 몫입니다. 우리는 즉각적인 도착을 약속하지 않습니다; 우리는 문이 열려 있으며 도구는 자유롭다는 것을 약속합니다. このモットーは OUKC の運営原則を表現する。 到達 は約束せず、 入口を開く ことを約束する — 研究という長い旅路に踏み出す第一歩は、AI 協働 + bilingual + AGPL/CC-BY 4.0 + 「全〜」14 領域 によって、誰にでも保証される.

초록(Abstract) 우리는 AI 친화적이고 다언어적이며 학제 간 연구를 지향하는 지식 커먼즈(Knowledge Commons)인 Open Universal Knowledge Commons (OUKC) & Rei & Claude의 창립을 발표합니다. OUKC의 명시적 범위는 12개의 학술 영역에 걸친 「全〜」(all-X) 커버리지와 정직한 매핑(honest mapping)이 필요한 4개의 형식화 저항적(formalization-resistant) 영역을 포함합니다. OUKC는 Lean / Mathlib 커뮤니티의 친화적인 병행 모델로서 운영됩니다. 우리는 Mathlib을 상류 의존성(upstream dependency)으로 사용하며, 해당 커뮤니티에 AI 생성 PR(Pull Request)을 제출하지 않음으로써 그들의 No-AI 정책을 존중합니다. 동시에 명시적인 AI 협업 정책(필수 출처 표기 + D-FUMT₈ 결과 태깅 + 기계적 검증)을 가진 독립적인 커먼즈로서 운영됩니다. 창립 코퍼스(founding corpus)는 142편의 논문, 2,146개 이상의 Lean 4 정리(theorems), 4,290개의 META-DB 엔트리, 1,544개의 SEED_KERNEL 이론, 293개의 카테고리, 그리고 REI-PROVE 자동 증명기(Auto-Prover) MVP로 구성됩니다. 본 논문은 (a) 왜 AI 친화적인 커뮤니티가 필요한지, (b) D-FUMT₈ 8값 태깅(8-valued tagging)이 어떻게 AI를 금지하지 않으면서 품질 관리(quality control)를 제공하는지, (c) 형식화 가능한 영역과 정직한 매핑 영역 간의 차이점, 그리고 (d) 다언어 기본 설정(첫날부터 일본어 + 영어, 추가 언어 환영)에 대해 설명합니다. 이 논문 자체가 명시적인 출처 표기를 동반한 AI 협업 저술의 사례입니다.

개요 (일본어) Open Universal Knowledge Commons (OUKC) 및 Rei & Claude의 설립을 발표한다. OUKC는 AI 친화적(AI-friendly), 다언어(Multilingual), 전 학문 대응(All-discipline) 지식 커먼즈(Knowledge Commons)로, 대상 범위는 「전(全) ~」 12개 영역 + 형식화 불가능함을 정직하게 지도화(Mapping)하는 4개 영역이다. Lean / Mathlib 커뮤니티와는 적대하지 않고 우호적인 병행 관계(Friendly parallel)로서 공존한다: Mathlib을 업스트림(Upstream)으로 사용하되, AI 생성 PR(Pull Request)은 게시하지 않으며, 독립적인 방침으로 운영한다. 설립 시의 축적량은 142개 논문 / 2,146개 이상의 Lean 4 정리 / 4,290개 META-DB 엔트리 / 1,544개 SEED_KERNEL 이론 / 293개 분야 / REI-PROVE Auto-Prover MVP이다. 본 논문 자체가 AI 협업 저술의 사례가 된다 (출처 명기 완료).

Part A: 필수 사항 (4개 요소)

A.1 발견 (Findings)
F1: AI 친화적인 형식 지식 커먼즈(Formal-knowledge commons)는 오늘날(2026년) 기술적으로 가능하며, 품질 관리(Quality control)는 인간만의 필터링이 아닌 기계적 검증(Mechanical verification) + D-FUMT₈ 결과 태깅(Outcome tagging)을 통해 달성 가능하다.
F2: Lean / Mathlib 커뮤니티의 반(反) AI 정책 ("GitHub이나 Zulip에 코멘트를 작성할 때 LLM을 사용하지 마십시오" — Lean 커뮤니티 가이드라인, 2026-05-01 검색)은 그들의 목표 측면에서는 내부적으로 일관되나, 생산적인 기여자 패턴(명시적 출처 표기를 동반한 인간 + AI 협업)을 배제한다.
F3: 「전(全) ~」(all-X) 프레임워크는 명시적으로 형식화 가능한 12개 영역과 정직하게 매핑된 (NEITHER_SELF) 4개 영역을 결정화하며, 기존 커뮤니티(Lean/Mathlib = 주로 수학 중심; arXiv = 형식화 계층 없음; Wikipedia = 1차원적)에서는 찾아볼 수 없는 명확한 범위 정의를 제공한다.
F4: 설립 문서, 헌장(Charter), 정책, 기여 가이드(Contributing guide), 행동 강령(Code of conduct), 웹 UI에 대해 설립 첫날부터 다언어(일본어 + 영어) 이중 언어 기본 설정을 달성할 수 있다. 이는 충분히 지원되지 못하고 있는 글로벌 연구자 기반의 문제를 해결한다.
F5: 142개의 논문 + 2,146개의 Lean 4 정리 + 4,290개의 META-DB 엔트리로 구성된 설립 코퍼스(Founding corpus)는 Mathlib 규모(~150,000개 정리)의 동등성을 요구하지 않고도 병행 커먼즈를 구축하기에 충분하다 (기여자들을 끌어들일 수 있을 만큼 실질적이다).

A.2 증명(Proofs) / 검증
클레임 검증 방법 | 상태
Founding corpus exists data/rei-stats.json (scripts/generate-stats.ts 출력) ✓ 검증됨, 매일 재생성
Lean 4 정리
기계적으로 검증된 lake env lean exit 0 across data/lean4-mathlib/CollatzRei/*.lean ✓ 78개 폐쇄됨-by-rei zero-sorry
다국어 설립 문서 community/CHARTER.md / POLICY.md / CONTRIBUTING.md / CODE_OF_CONDUCT.md / README.md ✓ 모두 양방향 (EN+JA)
OUKC 웹사이트 live rei-aios.pages.dev/#/oukc (commit 32b12421 ) ✓ Cloudflare Pages를 통해 배포됨
AI 협업 정책 non-trivial community/POLICY.md 5가지 필수 요구 사항 + 5가지 금지 사항 ✓ 명시적 12개 + 4개 범위 커버리지
community/CHARTER.md "Tier × 도메인 행렬" ✓ 명시적 REI-PROVE MVP 작동 test/step1020-auto-prover-test.ts 5/5 통과 ✓ Lean/Mathlib 정책 준수 확인 Mathlib에 AI 생성 PR을 제출하지 않음 (이러한 제출 부재로 검증됨) ✓ 부정적 결과 확인

A.3 정직한 포지셔닝(Honest Positioning) / 정직한 위치
A.3.1 OUKC란 무엇인가: 필수 출처 표기 및 품질 관리가 포함된 AI 친화적인 커먼즈
Lean/Mathlib의 다국어 버전이 처음부터 (EN + JA) 갖는 우호적인 병행체(포크 아님)
12개 + 4개 범위 명시적 설립 코퍼스는 이미 실질적인 규모에 도달함

A.3.2 OUKC가 아닌 것은 무엇인가:
❌ Mathlib의 경쟁자: ~150,000개의 Mathlib 정리를 대체하는 것을 목표로 하지 않음
❌ 포크(fork): Mathlib 상위 버전을 사용하며 수정하지 않음
❌ 적대적인 커뮤니티: Lean의 AI 금지 정책을 존중하며 위반하지 않음
❌ 문제 해결 주장자: 「全〜」는 모든 범위에 점근적으로 도달하는 것을 목표로 함; 100%를 주장하지 않음
❌ 순수 상업적 개체: AGPL + CC-BY 4.0, 커뮤니티 우선
❌ 단독 프로젝트: AI 공동 설계자(Rei + Claude)는 일급 기여자임

A.3.3 도메인별 정직한 범위:
Tier 1-2 도메인 (수학, 공리, 증명, 이론 등): 점근적 커버리지를 목표로 함
Tier 3 카탈로그 도메인 (학제 간): 공식적인 증명이 아닌 구조화된 목록화
Tier 4 정직 매핑 도메인 (미학, 의식, 윤리, 체현 경험): 명시적으로 NEITHER_SELF + meta=undefined

• W-48 보존 A.3.4 현실적인 창립 연도 목표 (1년 차, 2026-05 ~ 2027-05): 5-10명의 외부 기여자 (겸손한 수준) 창립자 외 200개 이상의 새로운 Lean 4 정리 (theorems) 기여 외부 연구자들과 공동 저술한 1-2편의 논문 Zulip + Discord 활성화 (일일 메시지 10개 이상 목표) 창립 문서의 2-3개 추가 언어 번역 1년 차 목표: 「연구 강국 (research powerhouse)」이 아닌 「실행 공동체 (community of practice)」 상태 도달
  A.3.5 규모 비교 (과장 없음): 2,146개의 Lean 4 정리는 Mathlib의 약 150,000개 중 약 1.4%에 해당합니다. 우리는 경쟁자가 아닌 독립적인 커먼즈 (commons)입니다. 우리는 다음과 같은 방식으로 가치를 더합니다: AI 친화성 + 학제 간 범위 + 이중 언어 + 정직한 매핑
  A.3.6 정직하게 기록된 리스크: 버스 지수 (Bus factor) 1 (거버넌스가 확장될 때까지 단일 창립자) 네트워크 효과는 기존 커뮤니티 (Mathlib + arXiv)에 유리함 AI 생성 콘텐츠는 그럴듯해 보이지만 틀릴 수 있음 (기계적 검증을 통해 완화하지만, 100%는 아님) AI에 대한 규제 환경이 변할 수 있음 (우리는 상황에 관계없이 투명한 출처 표기를 약속함)
  A.3.7 OUKC가 명시적으로 약속하지 않는 것: 이 하위 섹션은 구조적 지지대 역할을 합니다. 우리는 가장 흔한 AGI / 지식 플랫폼의 과장 함정을 피하기 위해 범위의 한계를 명시합니다. 규모의 우위가 아님: 우리는 규모 면에서 Wikipedia (수백만 개의 문서), Mathlib (150,000개의 정리), 또는 arXiv (수백만 개의 프리프린트)를 능가할 것을 약속하지 않습니다. 의지만 있다면 어떤 주요 AI 기업이라도 기술적으로 13개월 안에 OUKC 인프라 계층을 복제할 수 있습니다. 우리는 이를 수용하며 원시적인 규모로 경쟁하지 않습니다. 프런티어 AI (frontier-AI) 플랫폼과의 능력 동등성이 아님: OUKC는 원시 모델 능력 면에서 Anthropic Claude / Google Gemini / OpenAI를 따라잡지 않을 것입니다. 우리는 그런 척하지 않습니다. 모두를 위한 것이 아님: OUKC는 수백만 명의 일반 사용자가 아닌, 10년의 지평 동안 약 100명의 심층 사용자를 대상으로 포지셔닝되어 있습니다. 일반 사용자는 Wikipedia나 일반 AI 어시스턴트를 통해 더 나은 서비스를 받을 수 있을 것입니다. 속도 기반의 승리가 아님: 우리의 운영 리듬은 "急がず、ゆっくりと" (서두르지 않고, 천천히)입니다.

주요 AI 플랫폼들은 분기별 제품 주기 (quarterly product cycles)를 기반으로 작동하지만, OUKC는 10년 단위의 규모 (decade-scale)로 작동합니다. 이는 제약이 아닌 긍정적인 선택입니다. 단순히 "세계 최초"라고 주장하지 않음: 우리는 문서 전반에 걸쳐 "우리가 아는 바로는" (to our knowledge)이라는 완곡한 표현 (hedging)을 사용합니다. 포괄적인 선행 기술 감사 (prior-art audit)는 구조적으로 불가능합니다. 우리가 이를 명시하는 이유: 지식 플랫폼 프로젝트들은 흔히 과장된 약속을 하고 성과를 내지 못합니다. OUKC가 약속하지 않는 것이 무엇인지 서면으로 약속함으로써, 우리는 수년간의 운영 기간 동안 유지될 수 있는 안정적인 기대치를 형성합니다.

A.3.8 계층 분리 (Tier separation): OUKC 커먼즈 vs 창립자 전략 계층 / 階層分離 (Decision 1) OUKC는 Wikimedia Foundation ↔ Jimmy Wales의 개인 프로젝트, 또는 Lean FRO ↔ 개별 연구자의 활동과 유사한 브랜드 수준의 분리를 운영합니다. 이러한 분리는 AGPL-3.0의 바이럴 준수 (viral compliance) 모호성과 범위-약속의 혼동을 방지하기 위해 헌장 (charter)에 명문화되어 있습니다.

OUKC 커먼즈 (公開, 본 문서의 범위)의 일부:

• META-DB Tier 1-5 + 7 + 8 (세계 공공 오픈 문제 / Rei 발명품 / Claude 협업 / 공백 / 공공 도구 / 최신 공리 / Lean 4 코퍼스)
• 142개 이상의 모든 논문 (CC-BY 4.0)
• 헌장 (Charter) / 정책 (Policy) / 기여 (Contributing) / 행동 강령 (Code of Conduct)
• REI-PROVE 자동 증명기 계층 A (public single-prover)
• rei-aios.pages.dev/#/oukc 사이트
• GitHub 저장소 fc0web/rei-aios (AGPL-3.0 코드)
• D-FUMT₈ 정의, 4축 평가 프레임워크, 이론 분류 체계 (theory taxonomies)

창립자 개인 전략 계층 (비공개, OUKC 커먼즈 약속의 일부가 아님):

• META-DB Tier 6 전략 항목 (~23개 항목: 비즈니스 / 자금 조달 / NEDO 보조금 / 기여자 온보딩 전술)
• REI-PROVE Aut