Topic: proof-assistants

2 articles

Explore our coverage of proof-assistants — 2 curated articles, summaries, and related resources from the Inblix archive.

$OpenAI's Astra model cracks 10 decade-old math problems for just $2,000 — Inblix summary$

OpenAI's Astra model cracks 10 decade-old math problems for just $2,000

OpenAI Blog · Aug 1, 2026 · 2 min read

OpenAI just dropped a bombshell on the mathematics world, and it's not a preprint—it's a proof of concept. The company'...

OpenAI Blog · Jul 20, 2026 · 2 min read

Theorem proving isn't just about getting to QED — it's about the thousands of tiny, tactical decisions that get you the...