President Donald Trump has launched a new executive order aimed at maintaining United States AI leadership while addressing the security risks posed by increasingly powerful AI systems.
OpenAI has announced what it says is an AI-generated solution to the Navier-Stokes existence and smoothness problem, one of mathematics' seven Millennium Prize Problems, while Anthropic has reported separate advances in research mathematics and formal proof generation.
Leaders in the artificial intelligence industry have warned for years that increasingly capable AI systems could eventually become dangerous, all the while continuing to race to build them. Now, their sentiments have changed.
The recent Microsoft Build 2026 developer conference highlighted a significant shift in the company's Windows strategy. Rather than presenting artificial intelligence as a collection of standalone features, Microsoft is increasingly positioning Windows as an operating environment for AI agents.