Skip to content
VECTOR WIREAI INTELLIGENCE
UTC

Logical Intelligence AI models

1 MODELS TRACKED

1 published Logical Intelligence models are tracked, with AlephProver carrying the deepest benchmark surface (2 results). Every score is source-attributed with a verification tier; every model opens its full dossier.

● LIVE ROSTER1 MODELSDATA AS OF September 25, 2026 UTCREFRESHES WITH THE PIPELINE

The rosterRANKED BY BENCHMARK SURFACE

#ModelBenchmarksStatusInput priceLast seen
01AlephProver2UNPRICED—2026-09-25

Benchmark counts are source-attributed default-configuration results; input price is the cheapest current per-Mtok rate across tracked providers. Open a model for its full surface.