5月24日 | AI 推翻了数学家八十年没解开的猜想

本期内容从一道困了数学家近八十年的几何题被 AI 推翻，到 Meta 正式宣布"个人超级智能"战略，再到编程代理异步化、AI 嵌入设计迭代流程、零成本本地自动化工具的出现，今期五件事共同指向一个转折：AI 不再只是执行已知任务的工具，它开始突破人类还没突破的边界。听完这期，你会对 AI 当前的真实能力边界有更清醒的判断，也会对自己的工作流有新的想象空间。本期要点- OpenAI 模型构造出反例，实打实推翻了 1946 年提出的平面单位距离猜想，靠的不是算得更快，而是找到了人类从未想到过的构造方式- Meta 成立 Superintelligence Labs 并推出 Muse Spark，手握 WhatsApp 和 Instagram 数十亿用户的分发管道，是其他所有竞争者都不具备的优势- Mistral 把编程代理搬上云端，Vibe 远程代理让 AI 工作流从同步变成异步，你可以睡前启动任务，早上看结果- Google Stitch 3.0 在实时画布上做 AI UI 迭代，回答的不是"能不能生成"，而是"能不能无缝嵌进已有的迭代流程"- Freu AI 以零经常性成本自动化任何 Mac 应用，当 AI 自动化工具不再按使用量收费，它就从效率工具变成了基础设施参考资料An OpenAI model has disproved a central conjecture in discrete geometry — https://openai.com/index/model-disproves-discrete-geometry-conjecture/Introducing Muse Spark: Scaling Towards Personal Superintelligence — https://ai.meta.com（Meta AI 官方博客）Remote agents in Vibe. Powered by Mistral Medium 3.5. — https://mistral.ai/news/vibe-remote-agentsGoogle Stitch 3.0 — https://www.producthunt.com/posts/stitch-3-0-by-googleFreu AI — https://www.producthunt.com/posts/freu-ai---BearTalk 狗熊有话说播客，始于 2012 年。订阅地址：https://beartalking.com/page/podcast