Research / Supernova
Efficient verifiable reasoning systems.
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