Meta has developed a new AI system that signals progress in advanced model efficiency, potentially reshaping competition in the generative AI landscape.
DeepSeek’s open-source model DeepSeekMath-V2 solves five of six IMO 2025 maths problems and posts top scores on Putnam, pioneering self-verifiable AI reasoning.
