The day in AI
No written reading for this day yet. Here is everything that was logged.
Everything from this day
Launches and products
30 Apr 2025AmazonAmazon Nova Premier Amazon's most capable Nova model, with 1M-token context, 87.4% MMLU and 42.4% SWE-bench Verified, positioned as a teacher for distillation.30 Apr 2025MicrosoftPhi-4-reasoning and Phi-4-reasoning-plus (14B) 14B reasoning model SFT'd on o3-mini traces; reasoning-plus adds outcome RL. Beats DeepSeek-R1-Distill-70B on reasoning benchmarks, per Microsoft.30 Apr 2025Xiaomi (MiMo)MiMo-7B Xiaomi's first reasoning LLM: a 7B model pretrained for reasoning (25T tokens) and RL-tuned on 130K verifiable problems, claimed to beat OpenAI o1-mini.30 Apr 2025DeepSeekDeepSeek-Prover-V2 (7B, 671B) Lean 4 prover built on V3: 88.9% on miniF2F-test and 49 of 658 PutnamBench problems, using V3-driven subgoal decomposition for cold-start data.