AI Milestones: Astra Solves Math Puzzles, ChatGPT and Gemini Hit 1B Users

OpenAI's Astra model solves 10 long-standing unsolved math problems, while both ChatGPT and Google's Gemini cross the 1 billion user milestone, marking significant advancements in the AI landscape.

Astra Achieves Unprecedented Mathematical Breakthroughs

On August 1, 2026, OpenAI announces that its upcoming frontier model, Astra, has resolved ten long-standing open problems in mathematics and theoretical computer science. These problems, each unsolved for over a decade, span various fields including group theory, quantum complexity, lattice cryptography, high-dimensional geometry, and extremal combinatorics. The most notable achievement is the first-ever explicit construction of a non-sofic group, a central question in group theory since 1999.

OpenAI publishes a 249-page manuscript with machine-checkable Lean 4 proof certificates on GitHub, ensuring zero unverified steps across all ten proofs. Thomas Bloom, who maintains the Erdős problems website, calls the results 'more significant' than the unit distance counterexample from May 2026.

ChatGPT and Gemini Reach 1 Billion Users

ChatGPT crosses 1 billion active users on July 31, 2026, becoming the fastest consumer software platform to reach this milestone, doing so in under four years. OpenAI simultaneously cuts GPT-5.6 Luna API prices by 80% (from $1.00 to $0.20 per million input tokens) and expands unlimited free ChatGPT access, partly to drive engagement ahead of its upcoming IPO.

Google's Gemini also reaches 1 billion monthly active users on August 12, 2026, making it Google's fastest-growing product ever and its 14th product to achieve this milestone. CEO Sundar Pichai confirms the achievement on X, stating that 63% of users are engaging with Gemini daily.

Industry Context and Implications

The recent developments highlight the rapid growth and impact of AI in both scientific research and consumer applications. Astra's mathematical breakthroughs signal the potential for AI to contribute verifiable, original discoveries to frontier science, with implications for drug discovery, materials science, and climate modeling.

The dramatic price reduction for GPT-5.6 Luna makes AI automation significantly cheaper for businesses, potentially driving further adoption and innovation. Meanwhile, the massive user bases of ChatGPT and Gemini underscore the increasing integration of AI into everyday life.

These milestones come as the U.S. government begins enforcing new regulations requiring frontier model developers to submit models for government review up to 30 days before public release. This regulatory framework aims to ensure the safe and responsible development of AI technologies.

References

• AI News August 2026: OpenAI 1B Users, Astra Launch & Major Price Cuts [Updated] | Kraviona Tech Solutions