标签： Claude

有人受雇手动证明费马定理，他说Claude只用了11天

Anthropic 用多智能体系统在 11 天内完成了费马大定理的形式化证明，生成 1300 万行 Lean 代码。帝国理工数学家 Kevin Buzzard 承认被 AI“抢先”，但他同时指出，这并未给数学带来新认知，真正的信号是 AI 协作基础设施的成熟。

肯尼亚曾把大学生毕业生的就业希望押注在在线外包与代写产业上，但 ChatGPT 的发布让这条就业通道在两年内几乎塌缩，暴露出生成式 AI 对“数字劳务出口”模式的系统性替代风险。

欧盟科技事务主管 Henna Virkkunen 在 G20 部长级会议上表示，美国最终会走上 AI 监管之路，只是路径不同：欧洲靠事前立法，美国靠法院判例和州级法律。她做出这一表态的场合，恰逢美国发布主张“不新建 AI 监管规则”的《卡罗来纳原则》。

Gemini 嵌入 Gmail 一年多后，真正高频且解决痛点的用法不是写邮件或生成图片，而是把“搜索邮件”升级为“直接给出答案”。它不替代 Gmail 搜索，却省去了用户打开邮件、翻找关键信息的过程。

苹果高管薪酬文件与人事变动透露出两个信号：库克短期内不会退休，且苹果正计划进一步挖掘 App Store 的利润空间，这一策略直接导致了资深高管菲尔·席勒的离任。

运营25年的隐私保护与数字自主组织 Autistici/Inventati（A/I）宣布关停全部服务，原因是其被列入“全球恐怖组织”名单，为保护用户与社区成员免遭法律和人身风险，决定主动停止运营。

《西雅图时报》和 Newsday 两家美国报纸正式起诉 OpenAI 与微软，指控其未经授权抓取付费墙内容用于训练 ChatGPT、Copilot 和 AI 版必应，并要求销毁相关训练数据。这是 AI 版权诉讼浪潮中又一起由传统新闻机构发起的法律挑战。

一位资深软件开发者以个人视角梳理了对当前 AI 浪潮的矛盾感受：既惊叹于神经网络与大模型实际效果，又担忧超级智能风险、AI 公司对开放互联网的破坏、创作者生态恶化以及政治系统应对迟缓。文章最终结论是：技术层面乐观，社会层面悲观。

OpenAI 内部研究材料中直接使用缩写 RSI（递归自我改进）而未加解释，引发外界关于其研究语言是否过于封闭的讨论。该现象折射出顶尖 AI 实验室在自我进化方向上已走得很远，但这种内部术语的“理所当然”也加剧了行业沟通的信息差。

Hacker News 上关于“AI 乌托邦”的讨论再次引发争议：当 AI 在绝大多数领域比人类更擅长工作时，物质富足但无事可做的生活是否值得向往？讨论指出，缺乏奋斗感可能带来精神危机，但这并非普遍共识。