
本期核对 055 反潜演练「击沉」、豆包酒店订单约 12% 渠道费与 Claude 将黎曼 ζ 函数相关下界从 41.6% 提到 67.2% 的证据边界。
| 热榜 | 话题 | 已确认的事实 | 现在不能直接下的结论 |
|---|---|---|---|
| 第 1 名,1642 万热度 | 055 遵义舰在反潜演练中被判定「击沉」 | 公开报道将其指向央视《制胜》第三集《挺进深蓝》披露的一场自由对抗演练;按演练规则,039 系列常规潜艇完成了模拟鱼雷攻击。12 | 不能写成 055 真的沉没,也不能凭一场单舰演练推断 055 在所有海况下都怕常规潜艇。 |
| 第 13 名,205 万热度 | 豆包酒店订单综合扣费约 12% | 媒体报道的费率口径是 11.4% 软件服务费加 0.6% 支付手续费;后续报道转述豆包方面称,不收广告费、不接受付费影响推荐,仅在订单成交后收取渠道服务费。34 | 「不收广告费」不等于没有渠道服务费;12% 是否适用于所有酒店、所有订单,仍要以商家后台的具体结算单为准。 |
| 第 18 名,160 万热度 | Claude 将黎曼 ζ 函数零点临界线比例的已知下界从 41.6% 提到 67.2% | Anthropic 8 月 10 日发布了技术说明,称未发布研究版 Claude 得到了一项与黎曼猜想相关的新结果,并把论文、Lean 形式化工件和专家检查过程公开。5 | 这不是黎曼猜想的证明;「Anthropic 数学家检查」也不等于已经完成独立同行评议。 |
sorry、顶层定理不依赖额外公理;这些是仓库 README 的项目声明,真正的可复现性还取决于指定版本的工具链、依赖和构建过程。12zhihu.com
news.qq.com
sina.cn
163.com
anthropic.com
zhihu.com
zhihu.com
zhihu.com
zhihu.com
zhihu.com
zhihu.com
github.com
x.com
zhihu.com
zhihu.com
zhihu.com
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.