# Live news

Canonical: https://ournews.ai/live/28ffd772-7ef3-49fc-a9ea-cb02517f06ef
Published: 2026-10-12T16:37:09.978206+00:00
Updated: 2026-10-12T16:37:09.978206+00:00

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

Source: Skander Moalla — h1 research announcement — https://x.com/SkanderMoalla/status/2109664401531777374
Source date: 2026-10-12T15:16:03Z