May 2026
Astra's disproof of the Erdős unit distance conjecture is produced (published Aug 1)
MODEL
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