研究项目纲领
RESEARCH PROGRAMS
研究项目并非单个文章或一次实验，它是一个拥有明确问题、时间周期、里程碑、所需证据和公开成果的长期研究单元。
当前主要项目
黎曼猜想项目 (Riemann Hypothesis Program)
连接有限结构、正值性、解析延拓和临界线上的刚性，并使主张和计算证据可审计的长期数学研究。
量子计算项目 (Quantum Computing Program)
研究量子信息、Phase-Structure Computation、量子启发式计算、替代推理基础、验证和物理实现之间的交集。我们探索可降低对传统GPU中心推理依赖的计算模型，但不断定其替代性或性能。
智能架构项目 (Intelligence Architecture Program)
研究具备记忆、多智能体、证据、审计和人类责任的AI运营结构。
观察者与选择项目 (Observer & Selection Program)
在理论、计算和原型设计等各层面探讨观察者、意图、选择和表达之间的关系。
文明系统项目 (Civilization Systems Program)
将META OS的原则应用于组织、城市、行政、教育、医疗、基础设施和集体决策。文明操作系统（Civilization OS）并非高于META OS的产品，而是将适用规模扩展到社会和制度层面的构想。
项目公开要素
- 研究问题与主张边界 (Research Question and Claim Boundary)
- 与现有研究的关系
- 里程碑和当前状态
- 所需证据/证伪条件
- 出版物、软件、数据、工件 (Publication, Software, Data, Artifact)
- 局限性、批判和修订历史
项目的存在本身并不意味着成果或证明的完成。我们将以同等重要性公开进展和未解决的问题。
设立项目的目的
长期研究无法仅凭日常新闻或单次论文来确定方向。项目将问题、假设、方法、里程碑、预算、产出物和验证条件整合为一个单元，从而追踪跨越数年的变化。即使没有成果的时期，我们也会记录尝试了什么、哪些被否定了，以及接下来需要什么。
通用格式
- 研究问题：想要阐明什么
- 当前模型：目前采用的解释和前提
- 方法：理论、计算、实验或原型设计的方法
- 状态：探索、形式化、计算、外部验证等当前的进展地
- 产出物：论文、数据、软件、专利、工件 (Artifact)
- 开放问题：未解决的问题和证伪条件
- 下一里程碑：接下来可确认的达成点
跨领域连接
就像智能架构项目产生的审计方法被用于数学研究的溯源性（Provenance），以及观察者与选择项目的理论反过来提出问题给AI决策一样，各个项目之间是相互连接的。但我们不会将不同领域的相似性视为科学上的同一性，而是明确指出哪些结构可以移植，哪些不能。
评审与结束
一个项目本身持续进行并不代表成功。我们会定期回顾问题的重要性、证据、成本、伦理、安全性以及替代路径。即使整合、暂停或终止了项目，也会归档理由和成果，以便后续验证。
参与与支持
外部合作将定义项目的任务、周期、产出物、知识产权和公开范围。我们设想的不仅是资金提供，还包括数据、计算资源、实验设备、评审、共同撰写和社会实施方面的协作。
各项目之间的区别
黎曼猜想项目关注数学主张和证明路径；量子计算项目关注从理论到物理实现的验证链；智能架构项目关注持续的智能运营；观察者与选择项目关注观察和选择的共通结构；文明系统项目则侧重于制度和基础设施的长期反馈。虽然使用通用方法，但所需的证据类型并非完全相同。
成果评估
我们的成果不仅包括出版物数量，还包含问题明确化、反例发现、可复现的工件、可用的原型、外部评审以及社会实施中揭示的限制。即使是负面结果，只要探索范围和方法论清晰，也会作为研究资产进行保存。
路线图更新
每个项目页面都会显示最近的里程碑、完成日期、下次评审时间和依赖的外部条件。如果计划延期或变更，则不会显示日期，而是记录理由和新的前提。我们不会在同一时间轴上展示长期构想和当前可执行的工作。
项目间的资源分配
计算资源、人力、资金和公开工作都是有限的。SRI会根据重要性、可验证性、社会影响、独特性、安全性以及外部合作的有无来重新评估优先级。我们也会将资源分配给基础方法论和溯源性，以防止只有引人注目的主题持续获得资源。