Topic: automated-theorem-proving

2 articles

Explore our coverage of automated-theorem-proving — 2 curated articles, summaries, and related resources from the Inblix archive.

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

OpenAI Blog · Jul 19, 2026 · 2 min read

A quiet milestone just landed in the formal mathematics community. A system called GPT‑f, built by researchers explorin...

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

Hugging Face Blog · Jul 10, 2025 · 2 min read

The team at Numina and Kimi just pushed automated theorem proving past a major milestone. Their new Kimina-Prover-72B s...