ai

Newsom Signs Order Preserving “Artificial Intelligence” Terminology, Countering Trump’s “Super Intelligence” Rebrand

Newsom Signs Order Preserving “Artificial Intelligence” Terminology, Countering Trump’s “Super Intelligence” Rebrand

California Governor Gavin Newsom signed an executive order on September 30, 2026 requiring state agencies to continue using “artificial intelligence” and “AI,” directly countering President Trump’s move to rename the technology “super intelligence” in federal communications — a one-day-apart clash that turns a naming convention into a federal-state policy dispute.

AI

OpenAI claims a Lean-verified solution to the Navier–Stokes Millennium Prize problem, and the first objection is about who got there first

OpenAI says 10,000 coordinating AI agents spent 88 hours producing a finite-time singularity proof for the 3D Navier–Stokes equations, with a Lean formalization to back it. The trouble is that a parallel team at NYU and Anthropic posted closely related results 12 hours earlier, and one of them is now publicly asking whether OpenAI's models had access to his work.

AI