数学家呼吁抵制 OpenAI:AI 生成证明涌入数学领域
数学界部分人士呼吁抵制 OpenAI,起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明,并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代;复杂性理论家 Scott Aaronson 则称之为 Mathocalypse。
推荐理由:围绕 OpenAI 一次性放出 700 多份 AI 数学证明,呈现数学界对署名、可验证性与研究生态受损的分歧。
数学界部分人士呼吁抵制 OpenAI,起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明,并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代;复杂性理论家 Scott Aaronson 则称之为 Mathocalypse。
推荐理由:围绕 OpenAI 一次性放出 700 多份 AI 数学证明,呈现数学界对署名、可验证性与研究生态受损的分歧。
CrowdStrike 报告称,一名疑似中文使用者于 2026 年 9 月底至 10 月初入侵多家韩国金融机构并窃取大量数据,仅新韩银行就有超过 25000 条含姓名、联系方式、收入和信用额度的记录被窃。
推荐理由:CrowdStrike 披露的攻击案例显示,AI 自动化渗透工具已让单人完成多机构入侵,可据此了解攻击门槛的变化。
Google Private AI Compute 团队公布为 Private AI Compute 平台引入私有服务端记忆的技术方案,让云端 AI 在跨设备场景下持久保留上下文,同时维持端侧级隐私标准。
推荐理由:Google 公开了 Private AI Compute 的持久化服务端记忆方案,读者可了解云端 AI 如何在保留跨设备上下文的同时维持端侧级隐私。