OpenAI has published 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.
Meta has announced the launch of Muse Spark 1.1, a multimodal reasoning model designed for agentic AI, alongside a new Meta Model API that gives developers access to the model for the first time.
Microsoft has moved its Discovery platform into general availability, calling the service a production-ready environment for scientists and researchers that want to apply AI agents.
AI agents have quickly moved into mainstream enterprise use, but the content infrastructure needed to support them has struggled to keep up, according to a new report from cloud content management company Box.