Skip to content
AIMarketCap

Releases

5 matching — model launches, API releases, product updates, financial events and news.

Clear filters

April 20255

Apr 30, 2025DeepSeek-Prover-V2 releasedDeepSeek · DeepSeek-Prover-V2

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

DeepSeek Open weightsDeepSeekDeepSeek-Prover-V2
Apr 30, 2025Amazon Nova Premier becomes generally availableAmazon · Amazon Nova Premier · Premier

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

AWS News Blog Model releaseAmazonAmazon Nova Premier
Apr 30, 2025Phi-4 Mini Reasoning releasedMicrosoft · Phi-4 Mini Reasoning

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

Microsoft Azure Blog Open weightsMicrosoftPhi-4 Mini Reasoning
Apr 30, 2025Phi-4 Reasoning Plus releasedMicrosoft · Phi-4 Reasoning Plus

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

Microsoft Azure Blog Open weightsMicrosoftPhi-4 Reasoning Plus
Apr 30, 2025Phi-4 Reasoning releasedMicrosoft · Phi-4 Reasoning

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

Microsoft Azure Blog Open weightsMicrosoftPhi-4 Reasoning
1–5 of 5 releases