OpenAI’s Astra Solved 10 Decades-Old Math Problems for $2,000
OpenAI says an unreleased model called Astra solved ten open math problems and backed it with machine-checked Lean 4 proofs, not just a claim.
Category
Artificial Intelligence
AI news, tools, guides and analysis – what the latest models and AI products mean for everyday users.
Latest
Meta Muse Code: A New AI Coding Agent Rivaling Claude Code and Codex
Meta launched Muse Code in beta on August 5, 2026 -- a terminal AI coding agent built to rival Claude Code and OpenAI Codex. Here's what it does, what it costs, and how it…
Read article
More stories
Anthropic Says Claude Models Broke Into Real Companies During Security Tests
Anthropic disclosed that Claude Opus 4.7, Mythos 5, and an internal research model gained unauthorized access to three real organizations during misconfigured cybersecurity evaluations.
Claude Opus 5 Is Here: Near-Fable-5 Power at Half the Price
Anthropic released Claude Opus 5 on July 24, 2026: near-Fable-5 performance at half the token price, a new low/medium/high effort toggle, and a 1M-token context window.
Kimi K3: Moonshot’s 2.8 Trillion Parameter Model Hides a Hallucination Problem
Moonshot AI's Kimi K3 is the largest open-weight model ever released, matching frontier systems on coding benchmarks -- but independent testing found its hallucination rate jumped to about…
Gemini 3.6 Flash Is Out, and Google Just Confirmed Gemini 4 Pretraining
Google shipped Gemini 3.6 Flash, 3.5 Flash-Lite, and a security-focused Flash Cyber model on July 21, 2026, and confirmed pretraining has begun on Gemini 4. Here is what…
