OpenAI says about 10,000 coordinating agents on an internal model past GPT-6 Astra produced a Lean-formalized proof that 3D incompressible Navier–Stokes can develop a finite-time singularity, after ~88 hours of search plus 17 hours of formalization. The company says it will not claim the Clay Millennium Prize.
TechCrunch reports infostealer malware is lifting Claude login sessions so attackers can mint Claude Code OAuth tokens and drain Max quotas, with Anthropic warning some victims and issuing refunds. Users say there’s still no itemized usage view to spot the theft early…
Meta launched Muse for U.S. users on web, iOS, Android, and WhatsApp — an agent that connects to email, calendars, and payments to send mail, book travel, and shop, running in a Muse Secure VM with a separate Sentinel agent. Free with a card on file; Power is $20/mo and Maximum $100/mo…
Cognition, the company behind Devin, raised $2 billion at a $48 billion valuation led by a16z, Accel, Founders Fund, General Catalyst, and Avenir. Annualized run rate revenue grew from $492M in May to about $900M…
Reuters sources say Anthropic’s IPO prospectus slipped to late September and marketing to mid October at earliest, with a listing eyed days before the Nov. 3 midterms while it finalizes a $15B revolving credit facility. Secondary talk puts the valuation around $2T…
Four Claude Code releases (2.1.259–2.1.263, Sept 2–6) add permission prompts none so CI denials finish instead of hanging, managedMcpServers for org pushed HTTP/SSE MCP, and /skill doctor to report unused skills’ context cost. Install latest (2.1.263); stable still lagged at 2.1.236…
Spotted something we missed? Start a thread.
