AI Pulse by Inblix
Sunday, September 20, 2026 AutoCurated · Updated 11:15 UTC

Tagged: automated-theorem-proving

2 articles

Latest

GPT‑f sneaks new proofs into Metamath's sacred library

Jul 19

Kimina-Prover hits 92.2% on math benchmark by learning to reuse its own lemmas

Jul 10