Skip to content

Sam's News — gpt — 2026-08-02

TL;DR

AI

OpenAI Announces Astra AI Model

OpenAI unveiled Astra, a new model family whose internal version solved ten long-standing open problems in mathematics and computer science, some unresolved for decades.

  • Results include disproving Connes's rigidity conjecture and resolving a 1999 Gromov question on non-sofic groups
  • First improvement to sphere-packing density bounds since 1978
  • Solved three Erdős catalog problems, including problem 183 on Ramsey numbers
  • All proofs formalized with machine-checkable Lean certificates in a 249-page manuscript
  • Cost roughly $2,000 in compute at Sol API rates
  • Uses multiple AI agents coordinating over hours or days, a new model class for OpenAI
  • Undecided whether it will launch as GPT-6 or a GPT-5 variant; expected first model reviewed under new Trump administration AI framework

Sources: The Decoder Research, explainx.ai Research, Gizmodo RSS, 조선일보 RSS, Yellow.com RSS

OpenAI Cuts GPT-5.6 Pricing by Up to 80%

OpenAI reduced pricing for GPT-5.6 by up to 80%, making long-running AI agents significantly more economical for customers.

Sources: Memeburn RSS

OpenAI Planning Family of ChatGPT Devices

OpenAI president confirmed that a family of ChatGPT-enabled hardware devices is coming soon.

Sources: Yahoo Tech RSS

OpenAI Researcher Lab Faces Talent Shortage Despite High Salaries

An influential AI research lab founded by an ex-OpenAI researcher reports difficulty attracting talent despite offering $500,000 salaries.

Sources: Business Insider RSS

AI Safety

Former OpenAI Worker Warns of Human Extinction Risk

A former OpenAI employee warned that human extinction remains a possibility in the ongoing AI race.

Sources: LADbible RSS