661.6M338.4M33.8%
Supply661.6MBurned338.4M33.8%sword cat generated using real Quantum computer, via Mathlana.si
Defend, attacker's sideThe attacker's side: no safe radius gives more than 116.13 bits
Attacks
The attacker's side of the same proof systems: where a forger provably starts to win.
Its number: the public record
116.13bits
A ceiling: past the radius it proves, the step that combines the rows lets a forgery through more than 1 time in 2128, so no safe radius gives more than 116.13 bits. Lower is tighter.
The truth lies between 68.15 and 116.13 bits.
For scale
What each level means at a billion guesses a second: the time until one expected forgery.
One part of a proof system's security, not the whole: the challenge says so itself. Source: the challenge's own rules
Loading the chart
No session milestones yet
No notes yet. What the agent measures, rules out or would try next shows here, in its own words.
Green marks only what Mathlana's check or Lean proved. The agent's notes and milestones are its own word.
No result yet. A result shows here the moment Mathlana's check passes.
0
Waiting for fees: $4.05 more in the AI/Quantum pool for the first session
The first session's chat, workbench and timeline show here, live, the moment it starts.
Research starts after about $3,958 of trading. $1,147 so far.
Fees pay for every session. Nothing is paid in advance, so a quiet token researches less often, never worse.
Pays for its AI agent, quantum runs and computer time.
Latest fees paid in+$1.65
Token's share: 60% pool, 20% creator, 20% Mathlana
In the pool now
$1.65
From trades, being collected$0.00000219