China is using AI-powered weather models to track typhoons, with recent forecasts predicting landfall times and locations with high accuracy, including Typhoon Dolphin. More here:

@mtrainier2020 还是订阅带来的使用惯性。最恨的应该是那些不得不采购 A\ 的 API 额度来提供给员工作为额外用量的企业，以至于很多公司都把这个直接关掉，如果用超了就用自己的个人账号去订阅，再给你报销。

这个试验很有意思：100万美元预算，让给20多人的团队不限量 Token 使用 AI。 结论是： 人会更累，AI 的成本比人还高； 效率提升最大的是组织从 0 到 1 使用 AI； 公司的组织架构还是为人设计的，就算有无限 Token，效率提升上也有明显天花版； 人的思考都外包给 AI 了，对项目细节掌控度下降，需要问 AI 才能回复别人的问题。

Anthropic 今天宣布，一个未公开的研究版 Claude 在尝试证明黎曼猜想的过程中，虽然没能证明猜想本身，却在一个相关问题上取得了重大突破： 它把黎曼 ζ 函数的非平凡零点落在临界线上的已知比例下界，从 41.6% 提高到了 67.2%。 黎曼猜想是数学界最著名的未解难题之一，1859 年提出，至今 167 年无人能证明或推翻。它的核心主张是：黎曼 ζ 函数的所有非平凡零点都落在复平面上一条特定的竖直线上，数学家称之为“临界线”。 如果这个猜想成立，素数的分布就有了一种深层的规律性。这个问题列在克雷数学研究所的七大千禧年问题之中，悬赏 100 万美元。 既然全面证明太难，数学家们退而求其次： 能不能至少证明有多大比例的零点确实在这条线上？ 这个方向上的进展，过去 80 年是这样的： - 1942 年 Selberg 首次证明有正比例的零点在线上，但比例很小； - 1974 年 Levinson 证明至少三分之一； - 1989 年 Conrey 推到五分之二； - 此后又经历了几代数学家的努力，到 2020 年 Pratt 等人才把这个数字推到 41.7%。 换句话说，从 33% 到 41.7%，人类花了将近 50 年。Claude 一步跳到 67.2%，跨度接近 26 个百分点，是这个问题历史上最大的一次单步提升。 Claude 的发现建立在前人的工作之上。它结合了 Baluyot、Goldston、Suriajaya 和 Turnage-Butterbaugh 近年发表的一系列成果，以及数学家 Bombieri 在 2000 年的一篇论文。这些工作本身已经为突破铺好了路，而 Claude 找到了把它们拼在一起的方法。 Anthropic 的两位数学家 Levent Alpöge 和 Ralph Furman 审查验证了 Claude 的证明，外部专家 Brian Conrey 和 Dan Goldston 也在短时间内审阅了论文。Claude 还用 Lean（一种形式化证明语言）写出了可机器验证的证明。 过程本身和结果一样有故事。Anthropic 的一位员工 Jarred Sumner（不是数学家）在 Claude Code 中对 Claude 说了一句“认真试试黎曼猜想”，然后就把数学决策交给了模型。 Claude 先生成了 650 个想法，全部失败。被鼓励再试一次后，它花了一天半时间协调大约 60 个子智能体（subagent），运行了 2400 条命令，写了数百个 Python 脚本。这些子智能体之间分工明确：2 个负责核心数学思路，13 个为它们提供想法，30 个尝试但未能提出新思路，13 个做验证，2 个帮忙写论文。 整个过程中 Jarred 的参与基本限于给 Claude 打气，发的消息大多是“继续”和“相信自己”。 Anthropic 说，这种鼓励似乎帮助 Claude 克服了“我真的能在这种级别的问题上有所推进吗”的自我怀疑。 这已经是 Claude 今年第二次在数学领域搞出大新闻了。三周前，Anthropic 的数学家 Levent Alpöge 用 Claude Fable 5 找到了 Jacobian 猜想（Jacobian Conjecture）的反例，推翻了这个 87 年历史的代数几何猜想的一般形式。那次的反例简洁到人类数学家一天之内就能手动验证。 两次事件有一个共同点：Claude 做的不是解题，而是原创性的数学研究，是在数学家们几十年没能推进的前沿问题上找到了新路径。 Anthropic 也明确表示，Claude 使用的技术不太可能直接导向黎曼猜想的最终证明，但这个结果展示了 AI 模型在数学能力上的进步速度。 Anthropic 公布了 Claude 的完整论文、Lean 形式化证明、简明证明笔记，以及 Claude 自己描述思路演化过程的附录，都可以在 Anthropic 官网的研究页面找到。

与此同时： 研究员：给我写个脚本来扫描能corrupt的函数指针😊 Gemini：你这个太危险了我不给你写🙄 研究员：我可是Google Project Zero的正经研究员😡 Gemini：P0的是吧？那你更该自己写🙄

我刚点进征订页面，居然这么多黑话，幸好我也玩邮品要不然根本看不明白了，如果你也要买直接第一个选项吧，我就不花俩小时解释这些选项什么意思了。 我不明白（奉化口音），邮票是国家公开发行的有价票证，几乎发行每版纪特都有新闻的。这一版你低调得没有任何宣传，只是因为旧例不得不发行（毛邓诞辰100、110周年等均发行了纪念邮票），还让人不能提名字不能发图，只能用极其曲折隐晦的黑话去买，何必呢？而且即使如此，我也眼睁睁看着刷新了几下好多选项就缺货了，粉丝是真的多啊🐸！

中共对宗教的事儿比较敏感，主要是针对基督教、伊斯兰教。 佛教还行，因为佛教汉化了千年，已经成了中国文化的一部分。 中共对伊斯兰的警惕，主要是边疆民族问题。 而对基督教的警惕，则是因为，野生基督教会，几乎都是些披着宗教外衣的支黑。 不信，可以去电报群、脸书群听听那些福音宣讲。在讲解圣经时，他们会大量穿插对中国文化的批判。 他们还会说，西方的文明成就是因为有基督教。犹太人之所以出了很多杰出人物，是因为他们是上帝的选民。 中国人为什么经历那么多苦难，因为中国人不信上帝。 基督教的排他性、攻击性也很大，他们经常会批判其他宗教。 他们说释迦牟尼、老子、孔子、关公、妈祖，都是人，不是神。中国人拜他们，是一种愚昧。 我没有任何宗教信仰，但我更喜欢佛教、道教。这俩宗教不会去攻击别的宗教，但基督教总是要通过否定别人来抬高自己。 佛教、道教也从不主动传教。寺庙道观静静地在那里，你信，就过来上柱香。不信，也没人去向你推荐，没人拉你进群。 而基督教，太像传销了。