[ORGANIZATION]

Lean

Featured in 3 tracked stories · first seen about 2 months ago

Situations

[ACTIVE] [TECHNOLOGY] [US] [GB] [AE]

OpenAI GPT-6 launch, model competition, and antitrust suit

24 clusters · 810 sources · last updated about 10 hours ago

Latest: OpenAI launches GPT-6 Sol and Luna with 50% API price cuts

OpenAI has released GPT-6 Astra, an autonomous agent model described by President Greg Brockman as the beginning of the ‘AGI era.’ Designed to interact directly with computers, web browsers, and software, the model has a

[QUIET] [TECHNOLOGY] [US]

Anthropic Claude AI mathematical breakthroughs

4 clusters · 25 sources · last updated 18 days ago

Latest: Anthropic's Claude formalizes Fermat's Last Theorem proof in 11 days

Anthropic’s Claude AI models have demonstrated significant capabilities in solving and formalizing complex mathematical problems. In early August 2026, the Claude Fable 5 model generated a counter-example that disproved