洞察2026.10.26
AI一口气交出722篇数学论文,如今缺的是来读这些论文的数学家
OpenAI一次性公开了722篇由AI生成的数学手稿,但撤回后剩下的719篇中,证明经Lean程序确认的只有42%。本文梳理公开次日因计算错误撤回3篇、另行修改14篇证明的记录,以及数学家的反应,观察数学所缺的东西如何从生产证明的能力,转向能阅读和核实证明的人。

洞察2026.10.26
OpenAI一次性公开了722篇由AI生成的数学手稿,但撤回后剩下的719篇中,证明经Lean程序确认的只有42%。本文梳理公开次日因计算错误撤回3篇、另行修改14篇证明的记录,以及数学家的反应,观察数学所缺的东西如何从生产证明的能力,转向能阅读和核实证明的人。

洞察2026.10.26
TypeSafe的判定模型Jev以每次0.0004美元的成本拿到了与Claude Sonnet 5相同的67.8%,但这个分数的标准答案是由两款不在榜上的AI定的。Red Hat用自带标准答案的公开数据重新比较后,Jev的排名因任务不同分别是第1和第4,也没有得出“更快更便宜”的结论。在判定几乎免费的今天,首先要问的不是模型价格,而是有没有一份标准答案,能判断这些判定在你的工作中是否正确。

洞察2026.10.26
美国安全公司CrowdStrike分析了攻击者服务器上残留的AI工作记录。攻击者用别家公司的商用AI模型驱动一款免费开源工具,对多家金融机构不加选择地尝试入侵。被攻破的不是银行App,而是身份验证薄弱的贷款中介和员工业务系统。韩国金融委员会要求按系统是否对外开放、而不是是否面向客户来进行检查。
洞察2026.10.23
Workday汇总了554家大企业11个月的招聘需求单。“会用AI工具”这一要求在2026年1月见顶后下降25%,“能搭建AI并接入业务”这一要求比2025年9月增长51%。至于“会用”的要求为何减少,数据本身无法回答。

洞察2026.10.19
大型银行认为AI让法律工作变快了,要求降低律师费。但2026年上半年律所计费工时增长4.2%,是平时增速的两倍多。律所把学习AI的时间计入内部目标,AT&T等客户则把工作收回内部,谈判的焦点正在改变。

洞察2026.10.19
Anthropic用Claude逐一核查了美国约900种职业下的1.9万项任务。按美国总工时计算,机器人能做的工作占34%,但大多只能在工厂这类专用空间里完成;同一基准下,比人便宜的只有0.3%。即便机器人成本每年下降3%,比人便宜的工作要占到总工时的10%,也需要约40年。

洞察2026.09.27
Shopify 正在把 2020 年起用一套代码开发的移动 App,按 iOS 和 Android 分别重写。编程智能体把同一个功能写两遍的成本降了下来,Shopify 的精力也从代码量转向了核查 AI 产出所需的时间。

洞察2026.09.27
普林斯顿大学、英国人工智能安全研究所等机构,把两篇尚未公开的 NeurIPS 投稿论文的研究问题交给最先进的 AI 智能体,再请原作者亲自打分。智能体从文献调研到排版全程没让人插手,两篇却都被拒。本文梳理了论文根据运行日志归纳的五种失败,以及作者自己列出的局限。

洞察2026.09.27
亚利桑那大学的 Schilke 和 Reimann 在收集数据前预先登记了 13 项实验,这是他们得到的结果。注明由职业教练代写的求职信,信任得分和什么都没注明的一样,只有注明由 AI 撰写的那封分数下降;把告知 AI 使用的说法换成六种、或用规定强制公开,结果都没变。最后一项实验里,被第三方揭穿的税务顾问,得分比主动说明的还要低。

你好,我是 Working Reference 的 Rush。
Work Smarter with AI
订阅成功 下一期起,我们在你的邮箱见。