AI Matrix Map home
CompaniesFrontier LabsLogical Intelligence

Frontier Labs · Private company · Research

Logical Intelligence

✓ Verified

Logical Intelligence is an early research lab focused on energy-based reasoning systems for settings where verification and correctness matter more than generic chatbot fluency.

San Francisco, USFounded 2024No public API trackedWeekly review

Editorial intelligence brief

What matters now

weekly watch

Reported that its Aleph system solved 99.4% of PutnamBench in January 2026 while piloting Kona 1.0, an energy-based model for critical systems.

Focus: Energy-based models and formal verification for high-certainty critical systems

Latest funding

Not tracked

No structured event

Tracked funding

Not tracked

No structured events

Latest valuation

Not tracked

No source-backed record

Latest revenue

Not tracked

Research lifecycle position

Source-backed financial history

Capital and commercial trajectory

Funding, valuation, revenue, and debt are kept separate so unlike measurements are never presented as one trend.

Research pending

A structured financial history has not been completed for Logical Intelligence.

The profile will not manufacture a trend from incomplete or unsourced figures. Each amount must be dated, typed, and linked to public evidence first.

Submit a source →

Chronological activity

What changed

View the complete market log →

Reported that its Aleph system solved 99.4% of PutnamBench in January 2026 while piloting Kona 1.0, an energy-based model for critical systems.

A structured event record is still being assembled for this company.

Product surface

Products and model families

Recent models

Kona 1.0Aleph

Products

Kona 1.0AlephAutomatic formal verification for code generation

Open weights

No

API access

No

Review cadence

Weekly

Market position

Lifecycle and strategic signals

Research

Preview

Growth

Deployment

Research: Early research & prototypes

Focus

Energy-based models and formal verification for high-certainty critical systems

Signals

ReasoningResearch-firstEarly-stage

Taxonomy

Academic + NonprofitResearchSafety

Competitive context

Axiom MathAnthropicOpenAI

Infrastructure & distribution

Where Logical Intelligence sits in the AI stack

Model / product operator
01

Model layer

2 tracked model families

02

Access layer

Application or managed product

03

Market layer

Frontier Labs

Public product surface

Kona 1.0AlephAutomatic formal verification for code generation

Stack signals

ResearchSafetyReasoningResearch-firstEarly-stage

This section reflects publicly visible product and access signals. Undisclosed GPU, cloud, training, and data-center contracts are not inferred.

Evidence trail

Sources and corrections

Primary and public sources used to verify the structured company profile.

Submit a correction →

The Staticbreaker

Get the signal behind the week's AI changes.

The Staticbreaker turns launches, category shifts, and market noise into a concise editorial briefing.