연구 프로그램
RESEARCH PROGRAMS
연구 프로그램은 개별 기사나 단발성 실험이 아니라, 명확한 질문, 기간, 이정표, 필요한 증거, 공개 성과를 갖는 장기 연구 단위입니다.
현재 주요 프로그램
리만 가설 프로그램
유한 구조, 양수성, 해석적 연속, 임계선상의 강성을 연결하고, 주장과 계산 증거를 감사할 수 있도록 하는 장기 수학 연구입니다.
양자 컴퓨팅 프로그램
양자 정보, Phase-Structure Computation, 양자 착상 계산, 대체 추론 기반, 검증, 물리적 구현의 접점을 연구합니다. 기존 GPU 중심 추론에 대한 의존도를 낮출 수 있는 계산 모델을 탐색하지만, 대체 가능성이나 성능을 단정하지는 않습니다.
지능 아키텍처 프로그램
기억, 다중 에이전트, 증거, 감사, 인간 책임성을 갖춘 AI 운영 구조를 연구합니다.
관찰자 및 선택 프로그램
관찰자, 의도, 선택, 표현의 관계를 이론적, 계산적, 시제품 제작 각 계층에서 검토합니다.
문명 시스템 프로그램
META OS의 원칙을 조직, 도시, 행정, 교육, 의료, 인프라, 집단적 의사결정에 적용하는 연구입니다. Civilization OS는 META OS보다 상위 제품이 아니라, 적용 스케일을 사회 및 제도 영역으로 확장하는 구상입니다.
프로그램 공개 항목
- 연구 질문(Research Question)과 주장 경계(Claim Boundary)
- 기존 연구와의 관계
- 이정표(Milestone)와 현재 상태
- 필요한 증거 및 반증 조건
- 출판물(Publication), 소프트웨어(Software), 데이터(Data), 아티팩트(Artifact)
- 한계, 비판, 개정 이력
프로그램의 존재 자체가 성과나 증명의 완성도를 의미하지 않습니다. 진척 상황과 미해결점을 동일하게 중요도로 공개합니다.
프로그램을 설정하는 이유
장기 연구는 일상의 뉴스나 단발성 논문만으로는 방향을 잃기 쉽습니다. 프로그램은 질문, 가설, 방법론, 이정표, 예산, 결과물, 검증 조건을 하나의 단위로 통합하여 수년에 걸친 변화를 추적하는 시스템입니다. 성과가 나오지 않는 기간에도 무엇을 시도했고, 무엇이 부정되었으며, 다음에 무엇이 필요한지를 기록합니다.
공통 형식
- 연구 질문(Research Question)：무엇을 명확히 하고 싶은가
- 현재 모델(Current Model)：현재 채택하는 설명과 전제
- 접근 방식(Approach)：이론, 계산, 실험, 시제품 제작 방법
- 상태(Status)：탐색, 형식화, 계산, 외부 검증 등의 현재 위치
- 산출물(Outputs)：논문, 데이터, 소프트웨어, 특허, 아티팩트
- 미해결 문제(Open Problems)：미해결점과 반증 조건
- 다음 이정표(Next Milestones)：다음에 확인할 수 있는 도달점
횡단적 연결
지능 아키텍처에서 탄생한 감사 방법론이 수학 연구의 출처 추적(Provenance)에 사용되고, 관찰자 및 선택 이론이 AI 의사결정에 질문을 되돌려주는 것처럼, 프로그램들은 상호 연결됩니다. 다만, 분야 간 유사성을 곧 과학적 동일성으로 간주하지 않으며, 이식 가능한 구조와 그렇지 않은 부분을 명시합니다.
검토 및 종료
프로그램은 지속하는 것 자체를 성공으로 보지 않습니다. 일정 기간마다 질문의 중요성, 증거, 비용, 윤리, 안전성, 대체 경로 등을 재검토합니다. 통합, 일시 중단, 또는 종료한 경우에도 이유와 성과를 아카이브하여 나중에 검증할 수 있도록 합니다.
참여 및 지원
외부 협력은 프로그램 단위로 과제, 기간, 결과물, 지식재산권, 공개 범위를 정의합니다. 자금 지원뿐만 아니라 데이터, 계산 자원, 실험 설비, 검토, 공동 집필, 사회 구현의 협력을 상정합니다.
각 프로그램의 차이점
RH 프로그램은 수학적 주장과 증명 경로에, 양자 컴퓨팅 프로그램은 이론부터 물리적 구현까지의 검증 사슬에, 지능 아키텍처 프로그램은 지속적인 지능 운영에, 관찰자 및 선택 프로그램은 관측과 선택의 공통 구조에, 문명 시스템 프로그램은 제도와 인프라의 장기 피드백을 중심으로 다룹니다. 공통된 방법을 사용하지만, 필요한 증거의 종류는 동일하지 않습니다.
성과 평가
출판물 수뿐만 아니라, 질문의 명확화, 반례 발견, 재현 가능한 아티팩트, 활용 가능한 프로토타입, 외부 검토, 사회 구현을 통해 밝혀진 제약 사항을 성과에 포함합니다. 부정적인 결과도 탐색 범위와 방법론이 명확하다면 연구 자산으로 보존합니다.
로드맵 업데이트
각 프로그램 페이지에는 직전 이정표, 완료일, 다음 검토일, 의존하는 외부 조건이 표시됩니다. 예정이 지연되거나 변경된 경우 날짜를 삭제하여 보여주지 않고, 이유와 새로운 전제를 기록합니다. 장기 구상과 현재 실행 가능한 작업을 같은 시간 축에 표시하지 않습니다.
프로그램 간 자원 배분
계산 자원, 인력, 자금, 공개 작업은 유한합니다. SRI는 중요성, 검증 가능성, 사회적 영향, 독창성, 안전성, 외부 협력 여부를 고려하여 우선순위를 재검토합니다. 화려한 주제들만 지속적으로 자원을 얻지 않도록, 기반 방법론과 출처 추적(Provenance)에도 배분합니다.