Conjectures.io

Roadmap

An open market for breakthroughs.

Conjectures turns the hardest problems in mathematics, physics, science and software into global competitions. Anyone can compete. Verification decides. Breakthroughs get paid.

Foundation · done

The verification engine is ready

Now: activate rewards and open the market to mathematics, physics, science and beyond.

Next frontier

Verified software optimization

Turn the world's most valuable software bottlenecks into miner competitions.

Two tracks

Solve the unsolved. Accelerate the world's software.

Two separate competitions, joined by the same objective settlement layer. Results are rewarded only when the network can verify them.

A

Mathematics · physics · science · beyond

Solve the unsolved

  1. 01
    Done

    Turn the impossible into a target

    Take a problem worth solving and define its target, evidence and objective acceptance test.

    Output
    A precise, checker-ready problem specification.
    Advance when
    The target and success condition can be evaluated mechanically.
  2. 02
    Done

    Open the race to every intelligence

    Miners attack the target with any model, agent, proof system or strategy that can produce a valid result.

    Output
    A candidate solution addressing the published target.
    Advance when
    The submission closes the exact problem that was posted.
  3. 03
    Done

    Let verification decide

    No committees and no subjective grading: proof, deterministic tests or published evidence rules settle the result.

    Output
    A reproducible pass-or-fail validity result.
    Advance when
    The complete submission passes the objective acceptance test.
  4. 04
    Now

    Pay the breakthrough

    A verified result wins the bounty and becomes public scientific or technical progress.

    Output
    A public result and an executed miner reward.
    Advance when
    The verified result clears the published reward rules.

Monetization

Put the hardest problems up for bounty

Instead of funding one closed research path, sponsors put a high-value target in front of a global miner network, with objective settlement for any winning result.

Buyer
Problem sponsors
They buy
An accepted competition slot
Reward fires
After an objectively verified result
Revenue
Flows into buybacks
Why sponsors pay
Parallel search
Many independent miners attack the bottleneck at once.
Objective settlement
Published verification rules decide whether the result counts.
Strategic upside
One breakthrough can unlock research, products and credibility.
B

Faster · safer · machine-checked

Accelerate software

  1. 01
    Next

    Name the bottleneck

    Turn a valuable performance limit into a public objective with fixed semantics and a formal proof obligation.

    Output
    A fixed performance target, reference behavior and proof obligation.
    Advance when
    Correctness and benchmark criteria are fixed before mining starts.
  2. 02

    Unleash the optimizers

    Miners compete to rewrite, rework and accelerate the software by any measurable margin.

    Output
    A candidate implementation with reproducible performance data.
    Advance when
    The candidate runs and can enter formal safety checking.
  3. 03

    Prove nothing broke

    Every optimization carries a machine-checked proof that it preserves the challenge's defined behavior. Faster software, with correctness locked in.

    Output
    A machine-checked proof linking the original and optimized programs.
    Advance when
    The proof checker accepts equivalence under the published semantics.
  4. 04

    Pay for speed

    Only proven-safe changes reach the benchmark; the biggest verified performance gain earns the reward.

    Output
    A ranked performance gain and an executed miner reward.
    Advance when
    The safe submission improves the agreed benchmark.

Monetization

Turn bottlenecks into competitions

Partners turn a costly performance limit into an open race and surface benchmarked improvements backed by formal safety proofs.

Buyer
Software partners
They buy
A defined optimization campaign
Reward fires
After proof and benchmark acceptance
Revenue
Flows into buybacks
Why software partners pay
Direct return
Better performance creates lower cost and stronger software.
Safe adoption
Machine-checked preservation reduces the risk of aggressive optimization.
Competitive discovery
Many approaches compete; the strongest verified gain wins.

The verification layer

Without formal verification, neither market can scale.

A permissionless network cannot rely on trust, reputation or a committee's opinion. Every validator needs to reach the same answer about who actually won.

What formal verification is

Claims become proofs. Proofs become payouts.

The problem, its rules and the required behavior are written in a precise machine-readable form. A submission carries checkable evidence, and a deterministic checker verifies it against those rules—producing the same pass or fail result for everyone.

A

Open breakthroughs

Did it solve the problem?

Without verification

No objective winner

A convincing answer can still be wrong. Manual expert review is too slow, costly and subjective for continuous miner competition.

The gate

Machine-checkable evidence

The claimed result must satisfy every rule published with the problem.

What becomes possible

A breakthrough the network can pay

Every validator sees the same valid result and the reward can settle automatically.

B

Software optimization

Is it faster without changing behavior?

Without verification

Speed can hide regressions

A benchmark proves that software ran faster, not that the optimized version still does the same thing.

The gate

Semantic-preservation proof

The optimized and original programs are linked by a machine-checked equivalence proof.

What becomes possible

Safe speedups at competitive scale

Only behavior-preserving changes reach the benchmark, ranking and reward.

Formal verification is the settlement layer that turns breakthroughs into trustless, rewardable outcomes.

The business path

Money targets the problem. Miners chase the breakthrough.

  1. 01

    Sponsors post problems worth solving

  2. 02

    Global miners race for the reward

  3. 03

    Verification declares the winner

  4. 04

    Customer revenue drives buybacks

Customer payments are subnet revenue and flow through buybacks. Miner bounties remain chain-funded and are released only after a result passes its published verification rules.

Choose a problemHow verification works