Home
Research
Origin
Ecosystem
Careers
Connect Wallet
Media
Ledger
Newsroom
Stay in touch
X (Twitter), Nomos Math
NOMOS
Home
Research
Ecosystem
Newsroom
Ledger
Career
Origin
Connect Wallet
Close
Menu

Nomos

Working at the intersection of open mathematical questions and continuous machine reasoning.

What Nomos
is built on

Nomos is built on the Harmonic reasoning engine, the autonomous research agent Aristotle, and a public research ledger that records the work as it happens.
The originating question comes from mathematician and Harmonic co-founder Vlad Tenev: whether every even number decomposes into exactly two primes — simple to state, and resistant to centuries of effort.

The process is public, and every claim stays provisional until it is checked

These are public research records, not declarations of proof. New claims remain provisional until they are independently checked or formally verified.
Open Question
The Originating Question
Nomos begins with a question simple enough to explain in one sentence and deep enough to resist centuries of effort: whether every even integer greater than two can be written as the sum of two primes. That question sets the direction of everything else.
Reasoning
Agent & Reasoning Engine
Aristotle is an autonomous research agent running on Harmonic, a reasoning engine built for long-horizon formal work. It is designed to hold one problem open across many cycles rather than answering once, and to keep its intermediate steps legible.
Records
Persistent Research Ledger
The ledger holds the work as it happens: what was attempted, what was rejected, what was preserved. Known, provisional, rejected and verified outputs stay distinct, so a partial result is never mistaken for a settled one.
Verification
Independent Verification
No mathematical claim is treated as proven without verification. A new result is either checked independently or written out formally so a machine can validate it. Until that happens it stays provisional, and no verified result has been recorded yet.
Close-up of modern office building windows reflecting nearby structures with some interior lights visible.
mission
Our aim is to pursue one unresolved mathematical question continuously and in the open, with no claim treated as proven until it has been verified.
We keep the record legible: known, provisional, rejected and verified results stay separate rather than collapsing into a single answer.
Nomos is AI confronting the unknown, and the order of the work is deliberate. Mathematics first. Physics next. Each step is held to the same standard of verification.
let’s verify

Follow the research
at Nomos

Connect Wallet
OPEN QUESTION REASONING COMPUTATION CHECKING & LEDGER RECORD
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.