库克回应Mac mini卖爆，马斯克被判误导投资者，美团开源大模型，《红色沙漠》首日销量200万份，这就是今天的其他大新闻！

库克回应 OpenClaw 带动 Mac mini 大卖

（ IT之家）在一场与 Mac 有关的访华行程中，库克接受记者采访，针对近期 OpenClaw 带动 Mac mini 大卖的问题进行了回应。

他表示，苹果十年前就在 Mac 中加入了神经网络引擎，随着苹果芯片、生成式 AI 以及智能体交互的共同发展，这种硬件与软件的集成使得 Mac mini 成为最适合做 AI 任务的电脑。

苹果接下来会持续优化针对 AI 工作流的 Mac 性能，事实上，用户现在已经可以在 Macbook Pro 上训练大语言模型。

马斯克被裁定收购推特期间“误导投资者”

马斯克在2022年5月发布了两条推文，马斯克在其中称他正在调查推特平台上的虚假账户数量，收购推特的交易“暂时搁置”。

9人组成的陪审团经过近4天的审议后作出裁决，称马斯克对发布上述两条推文“误导投资者”负有责任，裁定相关股东应获得每股每日约3-8美元的赔偿金。原告律师称，马斯克可能被迫向推特前股东支付约25亿美元赔偿金。

美团开源 LongCat-Flash-Prover 大模型

（ 新浪科技 ）美团现已开源 LongCat-Flash-Prover 大模型，采用 5677 亿参数、MoE（混合专家模型）形态，旨在解决复杂的数学证明问题。

据介绍，该模型引入了混合专家迭代框架，用于生成大规模、高质量的形式化推理轨迹。可通过整合 Lean4、基于 AST 的多阶段严格验证流程，消除“幻觉”现象。

基准测试表明，这款模型在 MiniF2F-Test 上取得 97.1% 的成绩，仅需 72 次推理尝试；在 PutnamBench 任务上解决了 41.5% 的问题，使用 118 次推理尝试，在上述两项测试中刷新 SOTA 水平。

《红色沙漠》发售首日全球销量突破 200 万份

尽管该游戏首发表现强劲，但媒体评分整体却表现为两极分化，M 站平均分约 78 分，IGN 给出初期评分 6 分，目前 Steam 简体中文评测为“多半差评”。

该作的首日补丁已经修复了评测版本的一些问题，不过两极分化的评分也对开发商珍艾碧丝造成冲击，公司股价一度下跌 30%。