
Image from a featured story
Monday, August 3, 2026
OpenAI solves ten major math problems
OpenAI's Astra model just solved ten major open problems in mathematics and theoretical computer science. A Fields Medal winner joined OpenAI despite concerns about AI extinction risk, and OpenAI cut GPT-5.6 prices by 80 percent while now serving a billion users.

Image from a featured story
Top Stories
OpenAI
OpenAI's upcoming Astra model has autonomously solved ten long-standing mathematical problems spanning multiple fields, from quantum complexity to cryptography, raising important questions about AI's role in mathematical research and the need for proper attribution of AI-generated proofs.
qwen.ai
Qwen3.8-Max is a 2.4T parameter model (95B active) that sets new benchmarks in autonomous coding, professional work tasks, and long-horizon planning, marking the first open-weight release at Max scale with weights coming next week. The model demonstrates frontier capabilities in self-evolving code generation, multi-day autonomous projects, and multimodal agent tasks across hundreds of professional domains.
Wall Street Journal
A renowned mathematician terrified of AI existential risks has joined OpenAI to work on AI safety, bringing academic rigor to the company's safety research efforts.
arXiv
Researchers demonstrated the first AI-powered computer worm that uses open-weight LLMs on compromised machines to autonomously generate adaptive attack strategies for each target, creating a new cyber threat that bypasses traditional security measures and centralized AI safety controls.
OpenAI
OpenAI slashes GPT-5.6 pricing by up to 80% and details its strategy of creating 'abundant intelligence' through a feedback loop connecting 1B+ users, efficiency gains, and infrastructure investment. The company emphasizes that value comes from useful outcomes at lower cost rather than raw computational scale.
Keep Reading
Enjoyed this issue?
Get daily AI intel delivered to your inbox. No fluff, just the stories that matter.