Releases

DeepSeek released 7B and 671B theorem-proving models and ProverBench.

AWS released its most capable first-generation Nova model with a one-million-token context window.

Microsoft releases Phi-4 Mini Reasoning for efficient step-by-step mathematical reasoning on constrained hardware.

Microsoft releases Phi-4 Reasoning Plus, adding reinforcement learning for stronger and longer reasoning traces.

Microsoft releases Phi-4 Reasoning, a 14-billion-parameter model trained for complex multistep math, science and coding tasks.

Meta launched a standalone personalized AI assistant app built with Llama 4 and connected to meta.ai and AI glasses.

LeRobot introduced the SO-101, a refined low-cost open robot arm for collecting demonstrations and training robotic policies.

NVIDIA had a public equity market capitalization of approximately $2.709 trillion as of Apr 27, 2025 (NASDAQ: NVDA), per StockAnalysis period-end data.

Baidu released an enhanced and lower-cost reasoning model.

Baidu released an enhanced ERNIE 4.5 with improved performance and lower pricing.

Perplexity partnered with Motorola to pre-install its app and integrate Perplexity Assistant into Moto AI on new devices.

Microsoft begins rolling out its Wave 2 spring release with Researcher, Analyst, Agent Store, richer creation and expanded enterprise search.

OpenAI released its native multimodal image-generation model gpt-image-1 through the API.

xAI added conversational voice interaction to the standalone Grok experience.

Anthropic joined Palantir FedStart to accelerate deployment of Claude capabilities to U.S. government customers.

Meta released vision encoders for images and video designed to support recognition, localization and multimodal systems.

Google introduces Gemini 2.5 Flash with hybrid reasoning and controls over how much the model thinks.

IBM added the Granite 3.3 8B instruction model to watsonx.ai and open distribution channels.

IBM added the Granite 3.3 2B instruction model to watsonx.ai and open distribution channels.

Modal raised asynchronous function-call input capacity to one million items.

OpenAI released Codex CLI, an open-source coding agent that runs in the terminal.

OpenAI released o4-mini, a smaller reasoning model optimized for fast, cost-efficient reasoning.

OpenAI released o3, a reasoning model with strong performance across coding, mathematics, science, and visual tasks.

Cohere introduced Embed 4 for multimodal retrieval across text, images and complex enterprise documents in more than 100 languages.

xAI launched Grok Studio, a browser workspace for drafting documents, writing code and building projects with Grok.