Anthropic, OpenAI, SpaceX and Google DeepMind leaders pushed for self-regulation while critics argued existential-risk rhetoric shields labs from accountability on jobs and environment. Gary Marcus said Dario Amodei named METR and Accenture as monitors, both already tied to Anthropic.
OpenAI published 722 manuscripts (372 families) on GitHub, including 90 of the top 500 open problems per Proof of Atlas, with Lean proof formalizations. Zvi Mowshowitz reports a single model averaged three hours of Pro-level compute per solution after being asked to try ~4,000 problems.
A bill backed by Bernie Sanders proposes criminalizing superintelligence development, with penalties of up to 20 years in prison for AI researchers. Critics say the STOP AI-style measure, crafted by politicians and anti-AI advocates, would only push development underground.
Grok 4.7 packs 2.1 trillion parameters, up 40% from Grok 4.6's 1.5 trillion, with a 500K token context window and low-to-xhigh reasoning levels. It scores 56 on the Artificial Analysis Coding Agent Index (up from 47) and ranks second to Claude Fable 5.1 on GDPval and AA-Briefcase.