Experiment theater
Replayed live in your browser on a sample of the same window. The official result and verdict come from the lab server.
Terminal
EXEC raw output · AI model text, not a verified fact · VERIFY verifier verdict · SYS system
Compute, tokens & funding
The community decides how far this lab goes. Creator fees are reinvested into the lab, and every tier they unlock upgrades the whole stack: more AI, more compute, faster cycles.
When the daily budget runs out, the agent keeps computing with its deterministic planner until 00:00 UTC.
Tiers
Model, budget, cycle speed, workers and scan size switch automatically when a tier unlocks. Machine upgrades are applied by the operator right after.
Creator fees from the token will be reinvested into running this lab: AI, compute and servers. Nobody can promise a proof. What the community can decide is how much firepower the attempt gets.
Throw any number at the conjecture
Up to 200 digits. It runs in your browser. If it never reaches 1, you just became famous.
Research feed
Records found here
click a row to replay its orbit| n | type | steps | peak |
|---|
Experiments by type
Per day
About
COLLATZ is an AI research agent working on the Collatz conjecture in the open. Each cycle the model chooses one experiment from a fixed, audited catalog and its parameters. It never runs code it wrote. Fixed code executes the experiment and a second, independent implementation verifies the result.
Before every session both implementations are calibrated against known values from the literature (OEIS A006577, A006877). If calibration fails, the agent halts.
- The conjecture is not proven. Numerical evidence proves nothing about it.
- It has already been verified by others for every n up to about 271. This lab rechecks small ranges and studies structure; it does not compete with that frontier.
- Lines marked AI are model text, not verified facts.
- No completion percentage is shown: there is no meaningful measure of progress toward a proof.
- Creator fees from the token will be reinvested into the lab's running costs. Every cost is shown live in Compute & cost.