Aug 1 2026
OpenAI publishes ten resolved open math problems from Astra, with Lean 4 certificates, for ~$2,000 compute
MODELINFRA
Original reporting
Named in this event
OpenAI
Open calls that touch this
- OpenAI's Astra maths results survive independent scrutiny · 80%, resolves December 31st 2026
- OpenAI never publishes the raw Astra reasoning traces · 75%, resolves February 28th 2027
- Anthropic IPOs before OpenAI · 75%, resolves August 6th 2027
- OpenAI does not IPO in September · 80%, resolves September 30th 2026
- OpenAI signs another $10B+ non-Azure compute deal · 65%, resolves August 6th 2027
Issues that mention OpenAI
- Daily brief, August 9th 2026
- Daily brief, August 10th 2026
- Daily brief, August 11th 2026
- Weekly issue, 00-executive-summary
- Weekly issue, 01-top-20
- Weekly issue, 02-full-report
Around the same time
Aug 1 2026MODELOPEN
Prime Intellect ships Prime Agent (MIT-licensed), claiming 95.5% on ARC-AGI-3 [?]