不是 R2，不是 V4，DeepSeek 却悄悄放了个 6710 亿参数的狠活
DeepSeek 发布了一个专注于数学证明和复杂推理的新模型 DeepSeek-Prover-V2-671B，它是目前全球最大规模的数学定理证明模型。该模型在多个数学评测数据集上表现出色，可应用于数学论文验证、教材开发及数学研究助理等场景。
49
ChatGPT正式集成苹果三大平台：iPhone16一键启动多模态，Siri终于不再鸡肋了
OpenAI的ChatGPT与苹果合作正式登陆iPhone、iPad和Mac平台。通过Siri集成、写作工具集成和相机控制集成等方式，用户可以更便捷地使用ChatGPT，包括直接创作文档和进行视觉智能识别等新功能。