HAT's Public Channel | 🫪

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 镜像站将不定期检视空间利用情况，并可能在未来继续不加通知地移除任何内容。 —— 清华大学开源软件镜像站

*背景补充: 他们家 (Sakana AI) 做的日本信创模型 (Sakana Namazu) 也是基于另一家国模 Kimi K2.6 微调而来 https://t.me/hatschannel/5459

中星 4B 没了。 上次中星 4A 也是长征七号甲打的，那一发没事。

炸了个长征7A https://fixupx.com/NASASpaceflight/status/2086790576402256321

日本要拿Fugu当「国产AI」进自卫队，结果司令塔一直是Qwen 日本政府正在考虑把 Sakana Fugu 用于自卫队指挥统制，《读卖新闻》甚至把它列为「国产 AI」的主要候选之一。防卫用途还要求排除中国 AI，相关开发人员也必须是日本人。 但这个「国产 AI」其实很微妙。Fugu 本身更像一套 AI 调度系统：一个小型指挥模型负责分配任务，真正干活的是后面的 GPT、Claude、Gemini 等闭源大模型。Sakana 今天还明确承认，过去这个指挥模型一直基于阿里的 Qwen 训练。 如果 Fugu 真要进入防卫用途，Qwen 这一层就得换掉。Sakana 已经先用谷歌 DeepMind 开源的 Gemma 4 E2B 重训指挥模型，性能基本没掉。下一步还准备换成从预训练开始就在日本完成的国产模型。 日本正在努力把 Fugu 的「司令塔」国产化，但真正提供前沿能力的模型依然还是来自美国。 这个被当成「国产 AI」代表的系统，最后很可能变成：日本模型负责指挥，美国模型负责干活，中国模型不许进门。 读卖新闻

🎉喜报！ 就在刚刚，GitHub Linguist (GH 主站语法高亮库) 合并了我们提交的 PR： #7513 Add BIRD2 language 按照官方流程，变更将随后续 Linguist 新版本发布并逐步部署到 GitHub.com 主站、GitHub Enterprise 编辑器与语法高亮预览中（预计需要 4~5 周，具体以官方 release 为准），更新后 GitHub 主站将能够利用原生识别 bird.conf (支持 BIRD2/BIRD3)，并使用我们维护的 TextMate grammar 提供相应的语法高亮能力支撑。 至此，Shiki.js 与 GitHub Linguist 两大主流代码高亮引擎均已正式接纳由我们维护的 BIRD-tm-language-grammar。 这意味着 在未来，将会有越来越多基于 Shiki、TextMate grammar 以及 GitHub Linguist 的编辑器、文档站点和代码托管场景出现，我们都将有机会获得更加体验统一、准确无误的 BIRD 配置代码着色体验 ✨

*我们是 BIRDCC（BIRD Chinese Community），一个由网络工程师与热爱 BIRD 的开发者们驱动的社区，专注于提升 BIRD 在中文用户与全球运维场景下的使用体验。（我们与 CZ.NIC 无任何隶属关系） 我们目前正积极维护一系列与 BIRD 相关的基础设施项目，涵盖编辑器插件、语言服务、格式化工具、解析器及 dprint 插件等： · 语法高亮库： BIRD-tm-language-grammar (tmLanguage) (欢迎 Star🌟!) · VS Code (with LSP) 插件: 开源地址 (欢迎 Star🌟!) // 扩展包安装链接 [VSCode 安装 | OpenVSX 安装] · Vim 语法高亮插件：BIRD.vim (欢迎 Star🌟!) NeoVim 语法高亮插件：BIRD.nvim (欢迎 Star🌟!) · LSP Server: BIRD-LSP, 涵盖完善的生态： @birdcc/parser | BIRD config Linter | BIRD config Formatter | BIRD config [dprint plugin] (Rust/WASM) (欢迎 Star🌟!) · Agent Skills 技能包：BIRD.skills 如果您日常也喜欢编写或维护 BIRD 配置、对网络基础设施工具链感兴趣，欢迎 Star 我们维护的相关仓库、提交任何 Issue / PR，也欢迎加入我们，让 BIRD 生态更加完善🌟！

Claude Code 现已默认启用自动模式 原文：https://claude.com/blog/auto-mode-default-in-claude-code 阅读时间：5 分钟 分数：152

TIL: 在 Chromium 的 CSS 渲染引擎实现中，页面布局长度上限为 33,554,431.984375px ((2^31 - 1) / 64) src: https://source.chromium.org/chromium/chromium/src/+/main:third_party/blink/renderer/platform/geometry/layout_unit.h;l=66;drc=23f5271fa18d22362f3c739c631ef83ac709a1c1

好快啊, Vite8 这就发布到 8.2 了 https://github.com/vitejs/vite/blob/v8.2.0/packages/vite/CHANGELOG.md