GPT-5.6协助证明代数K3曲面猜想；Bonsai 27B手机跑；Anthropic内部Fable 5工作流曝光。

2026-07-15

✨ 今日亮点

GPT-5.6协助证明代数K3曲面数学猜想

X

AI不只是写代码，还能帮数学家推公式，这波格局打开了。

Bonsai 27B：27B参数模型跑在手机上

HN

手机跑27B，蒸馏和量化做到极致，端侧AI的里程碑。

Anthropic内部Fable 5工作流曝光：砍掉80%代码

X

Thariq Shihipar亲述，Fable 5内部用法比所有教程都狠，直接重构工作流。

🔥 Hacker News

Bonsai 27B: 27B参数模型跑在手机上

手机跑27B，蒸馏和量化做到极致，端侧AI的里程碑。

Cursor 0day: 当完全披露成为唯一保护

Cursor爆出0day漏洞，安全社区炸锅，IDE安全不能忽视。

Show HN: Juggler – 开源GUI编码代理，JUCE作者打造

JUCE作者出手，GUI编码代理开源，AI写UI的又一利器。

你的“App”本可以是个网页（所以我帮你改了）

吐槽过度包装的App，回归Web本质，开发者都该看看。

如何让Claude不说“load-bearing”

AI生成内容里反复出现的废话词，终于有人教你怎么屏蔽了。

🐦 X / Twitter

GPT-5.6协助证明代数K3曲面数学猜想

AI不只是写代码，还能帮数学家推公式，这波格局打开了。

Anthropic内部Fable 5工作流曝光：砍掉80%代码

Thariq Shihipar亲述，Fable 5内部用法比所有教程都狠，直接重构工作流。

Google AI Studio开发者用Claude Fable 5重制《命令与征服：将军》

AI原生编译到iPhone，触摸操作适配，老游戏焕发新生。

开源AI游戏引擎专为2.5D游戏打造

从零构建的AI原生游戏引擎，简化AI控制逻辑，独立游戏开发者福音。

🛠️ Product Hunt

Brain2Qwerty v2 – Meta脑机接口非侵入式读取句子

非侵入式读脑打字，Meta把科幻变成产品，但离实用还有距离。

NeuralAgent 3.0 – AI代理开发平台

AI代理开发平台迭代到3.0，低门槛构建复杂Agent，企业级应用加速。

Relay – AI工作流自动化工具

又一个AI自动化工具，但强调工作流编排，适合非技术人员。