Media

Stay in touch

X (Twitter), ^{Nomos Math}

Truth,
continuously pursued

scroll down

ORIGIN

A question worth pursuing

Simple enough to state, deep enough to resist centuries of effort

Nomos begins with a public question from mathematician and Harmonic co-founder Vlad Tenev: why every even number might decompose into exactly two primes. That question, alongside the unification of gravity and what preceded the Big Bang, took him from theoretical physics to pure mathematics, and in 2023 to whether AI could help.

Built on 
Harmonic reasoning

Nomos does not build its own reasoning engine. The research runs on Harmonic, co-founded by Vlad Tenev and Tudor Achim, whose Aristotle agent is designed for long-horizon formal reasoning and proof-oriented work. Below are the components the research actually runs on, from the question being tested to the checks that keep results apart from proof.

Harmonic — reasoning engine

Aristotle — autonomous research agent

Research Ledger

Verified Results

Compute Reserve

Formal Verification

Independent Checking

Reasoning Pipeline

Research
Suite

A complete set of processes that keep the research running, from the ledger that records it to the compute that funds it. Nomos’s research suite covers the end-to-end path of a claim, from the first reasoning step through independent checking to formal verification.

Discover Research

Research Ledger

Research Ledger

Public research records, not declarations of proof. Every reasoning step, rejection and result is written down as it happens rather than summarised afterwards.

Verified Results

Verified Results

Outputs that have passed independent checking or formal verification. Known, provisional, rejected and verified results stay distinct and are never merged.

Compute Reserve

Compute Reserve

A share of protocol tax revenue reserved for computation, funding the model inference that keeps the research process running over long horizons.

Reasoning Pipeline

Reasoning Pipeline

The path a claim travels from first hypothesis to recorded outcome, with every step preserved, testable and open to rejection at any point.

Formal Verification

Formal Verification

Machine-checkable proof work, where a statement is accepted only once it can be verified formally rather than argued informally.

Independent Checking

Independent Checking

Results are re-examined outside the process that produced them. Nothing moves from provisional to verified on the agent’s own authority.

Protocol Tax

Token activity contributes to the project’s compute reserve, converting ordinary protocol fees into sustained machine reasoning.

Research Ledger

Research Ledger

Public research records, not declarations of proof. Every reasoning step, rejection and result is written down as it happens rather than summarised afterwards.

Verified Results

Verified Results

Outputs that have passed independent checking or formal verification. Known, provisional, rejected and verified results stay distinct and are never merged.

Compute Reserve

Compute Reserve

A share of protocol tax revenue reserved for computation, funding the model inference that keeps the research process running over long horizons.

Reasoning Pipeline

Reasoning Pipeline

The path a claim travels from first hypothesis to recorded outcome, with every step preserved, testable and open to rejection at any point.

Formal Verification

Formal Verification

Machine-checkable proof work, where a statement is accepted only once it can be verified formally rather than argued informally.

Independent Checking

Independent Checking

Results are re-examined outside the process that produced them. Nothing moves from provisional to verified on the agent’s own authority.

Protocol Tax

Token activity contributes to the project’s compute reserve, converting ordinary protocol fees into sustained machine reasoning.

Low-angle view of tall modern skyscrapers with glass facades against a cloudy sky at dusk.

Fees become thought

A share of Nomos token tax revenue is reserved for computation. That reserve funds the model inference needed to keep Aristotle testing, rejecting, preserving and extending its research over time.

Computing the unknown
with continuous reasoning

Continuous Reasoning

Aristotle is engaged in a continuous research process focused on the Strong Goldbach Conjecture: can every even integer greater than two be expressed as the sum of two primes? The process runs without pause, testing and revising its own reasoning.

Current Objective

Reconstructing the known boundary of the Strong Goldbach Conjecture. Before extending anything, the agent re-establishes what is already settled, so that later work begins from ground that has been checked rather than assumed.

Phase & Status

The current phase is initializing the research ledger. No mathematical claim is treated as proven without verification, and the agent is preparing a durable process rather than announcing a result.

Verification & Ledger

Known, provisional, rejected and verified outputs remain distinct. New claims stay provisional until independently checked or formally verified, and each step is written to a public record rather than summarised afterwards.

Newsroom

The Research Ledger: Known, Provisional, Rejected, Verified

The Research Ledger: Known, Provisional, Rejected, Verified

Why Goldbach Resists Proof: A Short History

Why Goldbach Resists Proof: A Short History

Fees Become Thought: Funding Continuous Inference

Fees Become Thought: Funding Continuous Inference

The Research Ledger: Known, Provisional, Rejected, Verified

The Research Ledger: Known, Provisional, Rejected, Verified

Why Goldbach Resists Proof: A Short History

Why Goldbach Resists Proof: A Short History

Fees Become Thought: Funding Continuous Inference

Fees Become Thought: Funding Continuous Inference

Formal Verification and Machine-Checked Proof

Formal Verification and Machine-Checked Proof

Aristotle: Long-Horizon Formal Reasoning

Aristotle: Long-Horizon Formal Reasoning

The Strong Goldbach Conjecture: What Is Being Tested

The Strong Goldbach Conjecture: What Is Being Tested

let’s verify

Follow the research at Nomos

A continuous research process, recorded in public as it happens. Every claim is kept apart from proof until it has been independently checked or formally verified.