东方甄选、京东七鲜小厨、字节AI新进展
本文介绍了孙进担任东方甄选执行总裁的消息，京东七鲜小厨在北京的扩张情况，以及字节跳动推出的形式化数学推理专用模型Seed Prover 1.5。这些报道反映了电商、生鲜零售和AI领域的最新动态。...
DeepSeekMath-V2：新型数学推理模型的突破
DeepSeek推出新型数学推理模型DeepSeekMath-V2，通过自验证路径提高数学推理的准确性和可靠性，为构建可靠数学智能系统提供新方向。...
阿里云通义千问推出Qwen3-Max-Thinking，AI模型显实力
11月3日晚，阿里云通义千问推出Qwen3-Max-Thinking早期预览版。该推理模型持续训练中，当前借助工具调用和测试计算，在AIME25等数学推理基准测试中达100%准确率，展现AI技术潜力。...
