Researchers introduce h1, a simple Lean-feedback loop that solved eight open conjectures in their tests without a fixed prover-agent hierarchy.

Published 12 Oct 2026 · 16:37 UTC

Skander Moalla — h1 research announcement ↗ · Source dated 12 Oct 2026

Browse all Live updates · Read Features