AI 每日快讯
AI 产品、模型、开源工具和官方动态的时间流。保留历史记录，按分类、日期和标签继续筛选。
原文摘要：OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub. 来源：OpenAI 官方动态。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Google DeepMind's EmbeddingGemma 2 maps 5 input types into one 768d space and ships today under Apache 2.0. The post Google DeepMind Releases EmbeddingGemma 2, a 740M Open Multimod 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Mistral AI has released Mistral Large 4, nicknamed Le Chonk, as a public preview. It is a 1.05 trillion parameter Mixture of Experts model with 49 billion active parameters, native 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Data scientists and ML engineers can now create, configure, start, stop, and open Amazon SageMaker Spaces on SageMaker HyperPod EKS clusters directly from SageMaker Studio. Launch 来源：AWS Machine Learning 动态。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Researchers at PhAI Labs have expanded Yann LeCun's JEPA architecture to work across seven fields, from robotics to biomedicine. The effort also produced a liver cancer tr 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Reka has released Rho-1, a 19B omni-reasoning model trained from scratch. One network reads and generates text, images, video and robot actions over a shared KV cache. A distilled 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：JEPA-Anything splits a JEPA's single latent target into 4 orthogonal factors, each with its own predictor. Tested across 7 domains, it beat matched JEPA baselines on all 10 dynamic 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。