Truth,
continuously pursued
scroll down
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.
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.
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.
Public research records, not declarations of proof. Every reasoning step and result is written down as it happens.
Outputs that have passed independent checking or formal verification. Known and provisional results stay distinct.
A share of protocol tax revenue reserved for computation, funding the model inference for long horizons.
The path a claim travels from first hypothesis to recorded outcome, with every step preserved and testable.
Machine-checkable proof work, where a statement is accepted only once it can be verified formally.
Results are re-examined outside the process that produced them. Nothing moves without independent authority.
Token activity contributes to the compute reserve, converting protocol fees into sustained machine reasoning.
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.
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?
Reconstructing the known boundary of the Strong Goldbach Conjecture. Before extending anything, the agent re-establishes what is already settled.
The current phase is initializing the research ledger. No mathematical claim is treated as proven without verification.
Known, provisional, rejected and verified outputs remain distinct. New claims stay provisional until independently checked or formally verified.
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.