SRI Institutional Page

Research Programs

RESEARCH PROGRAMS

A Research Program is a unit of long-term research that possesses clear questions, defined periods, milestones, required evidence, and public deliverables, rather than being based on individual articles or single experiments.

Current Core Programs

Riemann Hypothesis Program

Long-term mathematical research connecting finite structure, positivity, analytic continuation, and rigidity on the critical line, making claims and computational evidence auditable.

View Program

Quantum Computing Program

We study the intersections of quantum information, Phase-Structure Computation, quantum-inspired computation, alternative inference foundations, verification, and physical implementation. While we explore computational models that could reduce reliance on traditional GPU-centric inference, we do not assert their feasibility or performance.

Intelligence Architecture Program

We study AI operational structures equipped with memory, multiple agents, evidence, auditing capabilities, and human accountability.

Observer & Selection Program

We examine the relationship between observer, intention, selection, and representation across theoretical, computational, and prototyping layers.

Civilization Systems Program

This research applies the principles of META OS to organizations, cities, administration, education, healthcare, infrastructure, and collective decision-making. Civilization OS is not a product superior to META OS; rather, it is a concept for extending the scope of application to social and institutional scales.

Program Components

  • Research Question and Claim Boundary
  • Relationship to Existing Research
  • Milestones and Current Status
  • Required Evidence / Falsification Conditions
  • Publication, Software, Data, Artifact
  • Limitations, Critiques, Revision History

The existence of a Program does not imply the completion of results or proofs. We disclose progress and unresolved points with equal importance.

Research System Public Deliverables Collaborative Research & Support

Rationale for Programs

Long-term research can lose direction based only on daily news or single papers. A Program is a mechanism that consolidates questions, hypotheses, methods, milestones, budgets, deliverables, and verification conditions into a single unit, allowing tracking of changes over several years. Even during periods without results, it documents what was tested, what was refuted, and what is needed next.

Standard Format

  • Research Question: What we aim to clarify
  • Current Model: Explanations and assumptions currently adopted
  • Approach: Methods of theory, computation, experimentation, and prototyping
  • Status: Current stage (e.g., exploration, formalization, computation, external verification)
  • Outputs: Papers, data, software, patents, Artifacts
  • Open Problems: Unresolved points and falsification conditions
  • Next Milestones: Next verifiable achievement point

Cross-Disciplinary Connections

Programs connect with each other, such that auditing methods developed in Intelligence Architecture are applied to the Provenance of mathematical research, and theories from Observer & Selection pose questions back to AI decision-making. However, we do not treat similarities between fields as scientific identity, but rather explicitly delineate what structures can be ported and which cannot.

Review and Termination

The continuation of a Program is not considered success in itself. At set intervals, we review the importance of the question, evidence, cost, ethics, safety, and alternative paths. Even if integrated, paused, or terminated, the reasons and outcomes are archived to allow for later verification.

Participation and Support

External cooperation defines challenges, periods, deliverables, intellectual property, and scope of disclosure on a Program basis. We anticipate collaboration not only in funding but also in data, computational resources, experimental facilities, review, co-authorship, and social implementation.

Distinctions Among Programs

The RH Program focuses on mathematical claims and proof paths; the Quantum Computing Program covers the verification chain from theory to physical implementation; the Intelligence Architecture Program addresses sustained intelligence operation; the Observer & Selection Program deals with the common structure of observation and selection; and the Civilization Systems Program centers on long-term feedback between institutions and infrastructure. Although they use common methodologies, the types of required evidence are not identical.

Evaluating Outcomes

Outcomes include not only the number of publications but also the clarification of questions, discovery of counterexamples, reproducible Artifacts, usable Prototypes, external reviews, and constraints revealed through social implementation. Even negative results are preserved as research assets if the scope of exploration and methodology are clearly defined.

Updating Roadmaps

Each Program page displays the nearest Milestone, completion date, next review, and dependent external conditions. If a schedule is delayed or changed, we do not simply delete the dates; instead, we record the reason and new assumptions. We do not display long-term concepts and currently executable work on the same timeline.

Resource Allocation Among Programs

Computational resources, personnel, funding, and public work are finite. SRI reviews priorities considering importance, verifiability, social impact, originality, safety, and the presence of external cooperation. Resources are allocated not only to flashy themes but also to foundational Methods and Provenance, ensuring sustained support.