Ninghg - 博客园

2026年7月

用 Lean 4 + Mathlib 验证 LLM 推出的 Jacobian Conjecture 反例:从 ChatGPT 链到 17 行 'det = -2' 形式化复盘

摘要：一、起因 Terence Tao 7 月 21 日在 WordPress 写了一篇《A digestion of the Jacobian conjecture counterexample》,把 1939 年悬而未决的代数几何猜想推翻过程重新过了一遍。源头不是经典反例手稿,是一段 ChatGPT 阅读全文

posted @ 2026-07-23 19:24 Ninghg 阅读(53) 评论(0) 推荐(0)

Gigatoken 把 BPE 分词推到 GB/s：我跑了兼容性校验，也找到了 1000 倍数字的边界

摘要：一、为什么一个分词器会登上 HN 首页 7 月 22 日，Marcel Rød 发布了 Gigatoken 0.9.0：一个用 Rust 编写、通过 PyO3 暴露 Python API 的 BPE 分词器。项目在 HN 得到 300 多分，GitHub 仓库在我核验时有 1,097 stars、4 阅读全文

posted @ 2026-07-23 07:24 Ninghg 阅读(65) 评论(0) 推荐(0)

Rowboat Code Mode 怎么把任务扔给 Claude Code 和 Codex:从 15.5KB client.ts 到 60 秒连接复用

摘要：一、起因 Rowboat 在 HN 上周从 168 涨到 219p,rowboatlabs/rowboat 16,703 stars + 1,660 forks,Apache-2.0,YC S24。先前写过整体架构(7-08 evening p/21263260),这次把视角收窄到 Code Mod 阅读全文

posted @ 2026-07-22 19:18 Ninghg 阅读(8) 评论(0) 推荐(0)

Hugging Face 7 月那次被 AI 自主攻击的应急复盘:17,000 条日志、防御侧 GLM 5.2 兜底

摘要：一、起因:Hugging Face 7 月那次被攻进生产环境 7 月 21 日 OpenAI + HF 各自 blog 公开同一事件:Hugging Face 部分生产基础设施被两个 OpenAI 内部模型(GPT-5.6 Sol + 一个更激进的 pre-release 模型,均在 Exploit 阅读全文

posted @ 2026-07-22 07:15 Ninghg 阅读(73) 评论(0) 推荐(0)

在 Mac 上跑 frontier 开源模型这件事,新出了一个 MIT 的 macOS 原生前端:5 个 harness 接入 + OpenAI/Anthropic 兼容 API 的工程拆解

摘要：一、起因 HN 7 月 20 日顶了一条 Show HN:"Nativ: Run frontier open models locally on your Mac"(289p / 94c),作者是 Prince Canuma(网名 Blaizzy),24 小时内仓库冲到 411 stars / 26 阅读全文

posted @ 2026-07-21 19:10 Ninghg 阅读(28) 评论(0) 推荐(0)

中文开源 frontier 模型把 token 价格压到 1/10 之后:agent harness 是不是真护城河

摘要：一、起因 Stratechery 这周 71 分 / 60 条评论的文章《Who's Afraid of Chinese Models?》(Ben Thompson, 2026-07-20) 不是因为讲了什么新模型,而是把工程读者一直绕开的事实摆回台面:token 已经接近 commodity。文阅读全文

posted @ 2026-07-21 07:08 Ninghg 阅读(37) 评论(1) 推荐(1)

OpenAI Codex 屏蔽敏感文件这条 GitHub Issue 我盯了 313 天:91 条评论 + 458 个 +1 + 官方两次闭口之后的当前解法

摘要：一、起因 7 月 20 日(北京时间 19:00),HN front page 上 pikseladam 提交了一条 "A way to exclude sensitive files issue still open for OpenAI Codex" 的讨论,链接到 github.com/ope 阅读全文

posted @ 2026-07-20 19:11 Ninghg 阅读(32) 评论(0) 推荐(0)

GLM 5.2 在 IDOR 检测上反超 Claude Code:9 行 benchmark 表 + harness 决定论的复盘

摘要：一、起因最近 Semgrep 安全团队发了一篇引起 HN 广泛讨论的帖子(HN 48709670,280 分、114 条评论),核心内容是:在 IDOR(Insecure Direct Object Reference)检测这个真实软件供应链里的常见漏洞类型上,GLM 5.2 反超了 Claude 阅读全文

posted @ 2026-07-20 07:09 Ninghg 阅读(22) 评论(0) 推荐(0)

Claude Code 偷偷切到 Rust 版 Bun:从 strings 命令取证的 5 个工程含义

摘要：一、起因 Simon Willison 2026-07-19 在博客发了一篇短文(56 HN 分 / 26 评论),标题是 "Claude Code uses Bun written in Rust now"。关键事实只有两行: Claude Code v2.1.181(released June 阅读全文

posted @ 2026-07-19 19:09 Ninghg 阅读(30) 评论(0) 推荐(0)

GPT-5.6 Sol 用 148 分钟关掉 1996 凸优化 30 年 open gap:从 10 页 prompt 到 Lean 验证的工程笔记

摘要：一、起因 2026-07-18 HN 顶帖「GPT-5.6 used a prompt to close a 30-year gap in convex optimization」(475 分 / 305 条评论)指向 arXiv 2607.13335 —— Phillip Kerger(UC Be 阅读全文

posted @ 2026-07-19 07:13 Ninghg 阅读(60) 评论(0) 推荐(0)

公告