Evals Foundation Model Research Formal Mathematics Astra

Tycoon

The AI manager for all your agents

AI-powered company-operations platform in which an AI CEO, Astra, coordinates specialist AI employees to plan, delegate, execute, and report on work for founders.

Recent stories

1 linked story

newsPRIMARY2026-08-01

OpenAI says Astra produced 10 Lean 4-certified math results

OpenAI says an internal Astra model generated arguments for ten long-standing math and theoretical CS problems, with Lean 4 certificates in openai/ten-proofs. Posts focused on the reported sub-$2,000 inference cost.