vLLM just landed FlashMLA (DeepSeek - day 1) in vLLM and it is already boosting output throughput 2-16% - expect more improvements in the coming days
Claimed proof for the Kakeya conjecture in R3.
Google is launching a free version of Gemini Code Assist globally
Happy birthday to Grigory Margulis! He's 79 today. He was awarded Fields Medal in 1978 and Abel Prize in 2020 for pioneering the use of methods from probability and dynamics in group theory, number theory and combinatorics
Starting next week, DeepSeek will open-source 5 repos
Happy birthday to John Milnor! He's 94 today. He was awarded the Fields Medal in 1962 and the Abel Prize in 2011 for his groundbreaking work in topology, geometry and algebra
Mistral’s Le Chat tops 1M downloads in just 14 days | TechCrunch
France runs fusion reactor for record 22 minutes
[R] Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention (submitted by Liang Wenfeng - DeepSeek)
Liang Wenfeng (DeepSeek) meets Xi Jinping
Deepseek R1 just became the most liked model ever on Hugging Face just a few weeks after release - with thousands of variants downloaded over 10 million times now
The Largest Sofa You Can Move Around a Corner | Quanta Magazine - Richard Green | A new proof reveals the answer to the decades-old “moving sofa” problem. It highlights how even the simplest optimization problems can have counterintuitive answers
Large sum-free subsets of sets of integers via L¹-estimates for trigonometric series
Le chat doesn’t disappoint
Photos from the AI summit in Paris:
plug, baby, plug
Macron unveils $112B AI investment package, France’s answer to US' Stargate | TechCrunch
How Noether’s Theorem Revolutionized Physics | Quanta Magazine - Shalma Wegsman | Emmy Noether showed that fundamental physical laws are just a consequence of simple symmetries. A century later, her insights continue to shape physics
[R] Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
Android and Apple apps - Le Chat - Mistral AI
Hibiki by kyutai, a simultaneous speech-to-speech translation model, currently supporting FR to EN
Proof of the Hodge Conjecture for abelian varieties of dimension 4, a very special but still notable case.
Hugging Face has released a new Spaces search. Over 400k AI Apps accessible in intuitive way.
DeepSeek just released an official demo for DeepSeek VL2 Small - It's really powerful at OCR, text extraction and chat use-cases (Hugging Face Space)
