Product
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...
Topic: formal-mathematics
3 articles
Explore our coverage of formal-mathematics — 3 curated articles, summaries, and related resources from the Inblix archive.
Product
OpenAI's Math Prover Scores 41.2% on Tough Olympiad Benchmark
OpenAI Blog · Jul 18, 2026 · 3 min read
OpenAI has trained a neural network that can tackle real high-school math competition problems, the kind you see on the...
Research
A tiny 0.6B model just crushed formal math proofs, topping the MiniF2F leaderboard
Hugging Face Blog · Aug 14, 2025 · 2 min read
A new open-source training recipe is producing absurdly strong theorem-proving models that fit on a laptop. The team be...