← Back

Harmonic

software 1 mention from 1 sources

A startup focused on combining language models with Lean theorem prover for mathematical reasoning and proof generation.

ai startup math theorem proving
1

sources

Mentioned by

Sebastian Raschka

All mentions

Sebastian Raschka mentioned ✓ High confidence
"I think there are startups—maybe Harmonic is one—where they're going all in on language models plus Lean for math"
From: State of AI in 2026: LLMs, Coding, Scaling Laws, China, Agents, GPUs, AGI | Lex Fridman Podcast #490 • ▶ 3:14:23 • Jan 2026

Attribution: Sebastian mentions Harmonic as an example of a startup doing AI research in mathematics