2026-10-12

Terence Tao 的幻灯片《Math 2.0》在 Hacker News 上被分享，讨论 AI 正在如何改变数学实践，涉及形式化、解释以及机器生成结果的可信度。目前可得材料是幻灯片，而非论文或可复现实验；源内容未提供，因此无法核实其中具体主张、案例或技术细节。对数学研究者、证明助手开发者和关注 AI 科研应用的人来说，这是一份用于讨论研究实践变化的材料，而不是已证实的突破。

据《金融时报》报道，日本政府宣布进入“网络空间紧急状态”。近几周，超过 20 家大型企业遭攻击，涉及铁路、汽车、医院和政府设施，数千万条客户数据可能泄露；金融厅要求银行停用驾照作为新开户身份证明，改收带芯片证件。JR 东日本称订票系统可能泄露 167 万名客户邮箱，多起事件与软银旗下 IDC Frontier 的勒索软件攻击有关。专家称日本防御薄弱，AI 正降低复杂攻击门槛，但暂无证据表明最新攻击与 AI 有关。