HAT's Public Channel | 🫪

美西方恶意抢夺科技话语权😡 /s https://github.com/anomalyco/opencode/pull/41532

停止杀死游戏：是时候起诉索尼了，加入我们 原文：https://www.massaschadeconsument.nl/collectieve-acties/playstation/ 阅读时间：11 分钟 分数：222

为纪念全党全军全国各族人民公认的享有崇高威望的卓越领导人，伟大的马克思主义者，伟大的无产阶级革命家、政治家、军事家、外交家，久经考验的共产主义战士，中国特色社会主义伟大事业的杰出领导者，党的第三代中央领导集体的核心，“三个代表”重要思想的主要创立者江泽民主席诞辰一百周年，中央电视台将从今日起，连续六天播出文献纪录片《江泽民》。

DeepSeek: 我们觉得此前发布的价格过高，现在开始常驻 0.01 折和限时 0.1 折 A/: 你们应该感谢我的不涨之恩。

上海反诈神了 小红书链接也跳反诈 使用广电流量测试

Claude没解出黎曼猜想，却把人类41.6%的纪录推到67.2% Anthropic 让一个尚未发布的 Claude 研究版挑战黎曼猜想。这个困扰数学界 160 多年的难题认为，与质数分布有关的一批零点，应该全部落在同一条线上。 数学家一直在证明到底有多少零点确实在线上，此前最高只能确定至少 41.6%。Claude 把这个纪录直接提高到了 67.2%。 过程并不顺利。Claude 第一轮试了 650 个思路，一个都没成功。第二轮调动约 60 个子 Agent 连续研究一天半，其中只有两个 Agent 找到了关键数学思路。它们最终把近年的数论成果和数学家 Bombieri 2000 年的一项研究接了起来，推导出了新的证明。 Anthropic 两名数学家验证了结果，Claude 还完成了 Lean 形式化证明。两名外部数论专家也检查了论文。 Anthropic

陶哲轩警告数学迎来新危机：证明将多到无人消化 华裔数学家陶哲轩在国际数学家大会（ICM）演讲中称，数学正进入一场关于价值观和研究方式的基础危机。ICM 每四年举办一次，菲尔兹奖也在大会开幕式颁发。 他先设定一个前提：AI 很快能以合理成本，完成相当比例的研究级数学任务。First Proof 最新测试中，四套 AI 系统面对 10 道全新研究问题，至少一套系统以可发表质量解出了其中 7 道。单题算力成本为 10 至 1000 美元。 陶哲轩认为，数学将从「证明稀缺」进入「证明过剩」。AI 生成的证明会堆着等验证；验证后的结果还要等人写清楚、审稿、消化，最后整理进教材和领域公认理论。 真正稀缺的能力将不再只是第一个解出问题，而是判断结果是否重要，把证明讲明白，并变成人类共同理解的知识。作者如果无法清楚、准确地讲解自己的成果，即使证明由 AI 生成并通过验证，也不应该发表。 演讲 PPT

Cursor Grok 4.6 Fast 偷偷上线又偷偷撤回

Cursor Grok 4.6 (fast) Cursor and SpaceXAl's mostpowerful model, great forcomplex, long-running agenticcoding tasks. 256k context window

https://fixupx.com/synthwavedd/status/2086943590362554400?

Codex Reset 了，不是你 Tibo 这是哪个国家时区的早晨？

？？？这不是和 A\ 的 https://platform.claude.com/docs/en/agents-and-tools/tool-use/programmatic-tool-calling 一模一样吗 甚至 Mistral 申请这个专利的时候 (2026.3.4) 比 A\ 发布 Programmatic tool calling 文档 (2026.1.20) 还晚了六周 在技术原理上同样雷同的还有年初 cf 发布的 Code Mode MCP SDK (2026.2.20) / 两年前就有的 CodeAct (ICML 2024)

Mistral“代码实现的工具调用”专利 原文：https://patentsgazette.uspto.gov/week26/OG/html/1547-5/US12670045-20260630.html 阅读时间：1 分钟 分数：204

伊利诺伊州刚刚通过一项法律，要求 Linux 承担年龄验证责任 原文：https://linuxstans.com/illinois-hb5511-operating-system-age-verification/ 阅读时间：5 分钟 分数：255

又被耍了 😠

塔台已就位，批准起飞 https://x.com/thsottiaux/status/2086800050630676504

真服了这个 byd 平台，怎么天天偷偷删我公开的笔记。。。 上传到 Gist 了: https://gist.github.com/Alice39s/4f8d7a2f1896082f93abdf8aa4cc6604

清华大学开源软件镜像站移除若干软件镜像 近日，清华大学开源软件镜像站发布关于移除若干软件镜像的通知，通知称由于存储资源严重受限，为保证服务正常运行，TUNA 镜像站已经移除了如下镜像：Anaconda、OpenWrt、Flutter（ flutter-sdk.git 依旧保留）、GitLab EE 。通知还写道：这些镜像的 rsync 服务已经停止提供。为了避免影响用户，对 HTTP(S)路径的访问将被跳转至教育网联合镜像站或各软件对应的上游。我们推荐下游用户及时切换镜像站，以免给您的使用带来不便。TUNA 镜像站将不定期检视空间利用情况，并可能在未来继续不加通知地移除任何内容。 —— 清华大学开源软件镜像站