Private AI
Specializing in Mathematical Theorem Proving The new model employs a Mixture of Experts (MoE) architecture and is trained using the Lean 4 framework for formal reasoning. With 671 billion parameters, it leverages reinforcement learning and large-scale synthetic data to significantly enhance automated theorem-proving capabilities.
Added Nov 15, 2025
Context Window
160.0K
Max Output
16.4K
Input Price (Auto)
$1.00/1M
Output Price (Auto)
$2.50/1M
Cache Read (Auto)
$0.50/1M
Performance metrics and benchmarks
No benchmark data is available yet for this model.
Auto routing is available for this model. Explicit provider selection is not available.
Loading provider options…
