本文介绍了孙进担任东方甄选执行总裁的消息，京东七鲜小厨在北京的扩张情况，以及字节跳动推出的形式化数学推理专用模型Seed Prover 1.5。这些报道反映了电商、生鲜零售和AI领域的最新动态。...