not much happened today

**Microsoft** released **Phi-reasoning 4**, a finetuned 14B reasoning model slightly behind QwQ but limited by data transparency and token efficiency issues. **Anthropic** introduced remote MCP server support and a 45-minute Research mode in **Claude**. **Cursor** published a model popularity list. **Alibaba** launched **Qwen3-235B** and other Qwen3 variants, highlighting budget-friendly coding and reasoning capabilities, with availability on **Together AI** API. **Microsoft** also released **Phi-4-Mini-Reasoning** with benchmark performance on AIME 2025 and OmniMath. **DeepSeek** announced **DeepSeek-Prover V2** with state-of-the-art math problem solving, scaling to 671B parameters. **Meta AI**'s **Llama** models hit 1.2 billion downloads, with new **Llama Guard 4** and **Prompt Guard 2** for input/output filtering and jailbreak prevention. **Xiaomi** released the open-source reasoning model **MiMo-7B** trained on 25 trillion tokens. Discussions on AI model evaluation highlighted issues with the **LMArena leaderboard**, data access biases favoring proprietary models, and challenges in maintaining fair benchmarking, with suggestions for alternatives like **OpenRouterAI** rankings. *"LMArena slop and biased"* and *"61.3% of all data going to proprietary model providers"* were noted concerns.