Tagged: formal-mathematics

3 articles

Latest

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

OpenAI's Math Prover Scores 41.2% on Tough Olympiad Benchmark

A tiny 0.6B model just crushed formal math proofs, topping the MiniF2F leaderboard