Research / Supernova
Efficientverifiablereasoningsystems.
Supernova investigates compact reasoning architectures that may complement or outperform transformer-based systems on structured reasoning tasks — with a focus on efficiency, verifiability, and sovereign deployment.
Research, not product hype
Supernova is positioned as Post-Transformer Reasoning Research — not superintelligence or AGI marketing. We lead with benchmarks, parameter count, energy use, and sample efficiency.
Research directions include hierarchical reasoning, latent reasoning, recurrent architectures, world models, neuro-symbolic systems, verifier-based RL, and theorem proving.
Shipped capabilities
- ARC-AGI benchmark evaluation
- Theorem proving (Lean) experiments
- Planning and maze task benchmarks
- Compute-efficiency and reasoning-accuracy metrics
- Design partner programme (selective, grant-funded)
- Separate from product site — teaser only on homepage
Bring us one operational problem.
You do not need a finished brief. Bring the problem — we will work out the next step together.
Or book a call with the team