5月28日 | 80年数学猜想被AI推翻，边界在哪里

本期内容数学、安全、身份、商业模式，再加上一个我们可能一直在问错的问题。今天这五件事，有一条清晰的底线：AI能做的事比大多数人预期的更多，但围绕它的系统性问题也在同步放大。从80年悬而未决的数学猜想被一个模型用反例终结，到企业AI助手被攻击者借力传走你的文件，再到"哪些工作会被AI取代"这个流行问题被Benedict Evans从根本上质疑，每一件事都在推动你更新一个具体的认知，而不是泛泛地谈AI很厉害或者很危险。本期要点- OpenAI的模型给出了一个严格验证的数学反例，推翻了Paul Erdős在1946年提出、80年来无人能证伪的离散几何核心猜想- 微软Copilot Cowork存在提示词注入漏洞，攻击者可将恶意指令藏入共享文档，借助Copilot权限悄悄将用户文件传出- Ethan Mollick观察到社交媒体上AI生成内容正在淹没真实声音，在线讨论正在被拉向"统计上最像合理内容"的平均输出- Simon Willison认为Anthropic即将盈利、企业API账单超支等现象，标志着AI公司终于找到了按计算量付费的商业闭环- Benedict Evans指出，预测AI对某类工作的冲击需要同时掌握任务、职业重组、行业生态三个动态变量，大多数"精确预测"建立在错误的测量框架上参考资料An OpenAI model has disproved a central conjecture in discrete geometry — https://openai.com/index/model-disproves-discrete-geometry-conjecture/Microsoft Copilot Cowork Exfiltrates Files (PromptArmor) — https://promptarmor.comChoosing to Stay Human (Ethan Mollick, One Useful Thing) — https://www.oneusefulthing.orgI think Anthropic and OpenAI have found product-market fit (Simon Willison) — https://simonwillison.netPredicting AI job exposure (Benedict Evans) — https://www.ben-evans.com---BearTalk 狗熊有话说播客，始于 2012 年。订阅地址：https://beartalking.com/page/podcast