Patronus AI, a frontier lab developing simulation research and infrastructure for human-aligned AGI, is hiring a Member of Technical Staff - Research in San Francisco with a salary of $175k–300k/yr. T…
OpenAI released a 249-page manuscript claiming its internal Astra model solved ten open problems in mathematics and theoretical computer science, with Lean 4 formal proofs published on GitHub under Ap…
OpenAI released a 249-page math manuscript, ten machine-verified Lean 4 proofs, and a GitHub repository under Apache 2.0, introducing its next major model family, Astra, which solved ten decade-old ma…
OpenAI announced that its unreleased Astra model solved ten major open mathematics problems, including new upper bounds on sphere packing, a disproof of Connes's rigidity conjecture, and a superexpone…
OpenAI researcher Noam Brown announced on August 1 that an internal version of Astra, OpenAI's next major model family, solved ten open problems in mathematics and theoretical computer science, includ…
OpenAI published ten advances in mathematics and theoretical computer science, including results on sphere packing, non-sofic groups, and a counterexample to Connes' rigidity conjecture, with Lean cer…
OpenAI's unreleased Astra model reportedly solved 10 decades-old open math problems for under $2,000, including a sphere-packing bound that had not moved since 1978, according to OpenAI researcher Noa…
A surge in AI-related news and content production is overwhelming readers, with aggregator *Don't Worry Abotu the Vase* averaging 1.2 posts per day, each containing around 50 links. The author notes t…
OpenAI announced on August 1st that an internal version of its next major model, Astra, produced new results for 10 longstanding problems in mathematics and theoretical computer science, a claim suppo…
OpenAI's Noam Brown announced that GPT models generated proofs for 10 mathematical breakthroughs at a combined cost of under $2,000 at Sol API prices, highlighting the potential of upcoming Astra mode…
OpenAI's Noam Brown argued at ICML that next-generation models will absorb the agent harness, but the week's releases—including Bun's Rust rewrite via Claude Code and ChatGPT Work with GPT-5.6—show mo…
OpenAI launched ChatGPT Work on July 9, 2026, alongside the GPT-5.6 model family, enabling multi-step task execution across applications for Pro and Enterprise users. The GPT-5.6 family includes three…
OpenAI released its GPT-5.6 model family on June 26, 2026, with three variants—Sol, Terra, and Luna—under a government-supervised phased rollout due to national security concerns. Senior researcher No…
Claude Code creator Boris Cherny told Meta's @Scale conference that AI loops are 'for real,' describing a shift from hand-written code to agents prompting agents that continuously improve code archite…