DeepSeek quietly open sources Prover-V2, a math-focused, 671B-parameter AI model using mixture-of-experts, on Hugging Face, one day after Alibaba released Qwen3 (Ben Jiang/South China Morning Post)

https://www.techmeme.com/feed.xml Hits: 6

Summary

About This Page This is a Techmeme archive page. It shows how the site appeared at 9:15 AM ET, April 30, 2025. The most current version of the site as always is available at our home page. To view an earlier snapshot click here and then modify the date indicated.

First seen: 2025-04-30 13:27

Last seen: 2025-04-30 18:28

Read Full Article More from this Source

DeepSeek quietly open sources Prover-V2, a math-focused, 671B-parameter AI model using mixture-of-experts, on Hugging Face, one day after Alibaba released Qwen3 (Ben Jiang/South China Morning Post)

Summary

Related News

Q&A with Mark Zuckerberg on Llama 4, benchmarks, AI friends, DeepSeek, China, export controls, open source, monetizing AGI, aligning with Trump, and more (Dwarkesh Patel/Dwarkesh Podcast)

Doc: the EU's draft International Digital Strategy, set for June 4, acknowledges that decoupling from US tech is "unrealistic" and calls for strategic alliances (Mathieu Pollet/Politico)

US v. Google: Sundar Pichai says the DOJ's proposal to share Google search data with rivals amounts to a "de facto" spinoff of Google's search engine and its IP (Bloomberg)

Kintsugi, which uses AI to help companies automate their sales tax compliance, raised $18M at a $150M post-money valuation, up from $80M in November 2024 (Jagmeet Singh/TechCrunch)

AI legal analysis startup Supio, which focuses on personal injury law across 114+ case types, raised $60M led by Sapphire, taking its total funding to $91M (Kyle Wiggers/TechCrunch)