Models333•08/01/2026, 15:30Astra Model from OpenAI Solves Ten Complex Open Mathematical Problems2 min readRead
Models0•10/27/2026, 07:37OpenAI and Anthropic Publish Refutations of the Exponential Time Hypothesis1 min readRead
Models140•10/07/2026, 08:17OpenAI Releases 722 Math Papers After Attempt to Solve 4,000 Open Problems1 min readRead
Models149•10/15/2026, 21:02OpenAI commits $5M to help mathematicians understand recent AI-generated proofs1 min readRead
Models246•08/01/2026, 10:45OpenAI Unveils Astra — A New Family of Models for Long-Term Tasks2 min readRead
Models373•08/11/2026, 07:00Claude Improves the Estimate of the Zeros of the Riemann Zeta Function2 min readRead
Models154•10/12/2026, 17:49AI digest of the week: Claude Haiku 5.5, Mistral Large 4, Gemini and Odyssey-33 min readRead
Agents509•09/23/2026, 05:3710 Opus 5.5 Agents Discover Shortest Path Algorithm Surpassing Dijkstra in 15 Hours3 min readRead
Vibe Coding132•10/11/2026, 18:31Claude Code: restrict Haiku subagents to code exploration only2 min readRead
Models421•09/21/2026, 05:33Jensen Huang: 'Runaway AI' Narrative Is a Loophole to Avoid Existing Laws3 min readRead