Horizon Summary: 2026-10-12 (ZH)
----------------------
科技新闻
1. Terence Tao《Math 2.0》幻灯片谈 AI 与数学实践 ⭐️ 8.0/10
2. 日本宣布网络空间紧急状态，逾 20 家企业遭攻击 ⭐️ 8.0/10
----------------------
科技新闻
Terence Tao《Math 2.0》幻灯片谈 AI 与数学实践 ⭐️ 8.0/10
Terence Tao 的幻灯片《Math 2.0》在 Hacker News 上被分享，讨论 AI 正在如何改变数学实践，涉及形式化、解释以及机器生成结果的可信度。目前可得材料是幻灯片，而非论文或可复现实验；源内容未提供，因此无法核实其中具体主张、案例或技术细节。对数学研究者、证明助手开发者和关注 AI 科研应用的人来说，这是一份用于讨论研究实践变化的材料，而不是已证实的突破。
hackernews · Anon84 · 10月11日 13:16 · 社区讨论
「背景」 这份 Caltech 2026 讲稿延续了陶哲轩近几个月围绕 AI 与数学的公开论述：Horizon 8 月 21 日的日报曾报道，他为 2026 年国际数学家大会撰文警告 AI 可能让数学从「证明稀缺」转向「证明过剩」，并称即便通过形式验证、无人能清晰讲解的证明也应视为不完整；Horizon 9 月 20 日的日报又报道，他主张数学界应更充分地认可证明之外的贡献。同一主题的 ICM 2026 公开演讲幻灯片《Mathematics in the Age of AI》也发布在同一站点（teorth.github.io/tao-web/slides/）上，与本次的《Math 2.0》讲稿同属一个系列的公开材料。
「影响」 对使用证明助手或评估 AI 数学结果的研究者而言，直接后果是验证与整合成本可能上升：正确但难以解释的机器生成证明仍需人类理解并纳入现有理论体系。
「社区讨论」 评论者 dekhn 和 squidmaster 质疑 Tao 关于癌症药物的类比，认为许多药物机制本就未被完全理解，医生未必会因机制不明而拒绝有效疗法；thomasahle 则用软件代码库类比解释 Tao 的观点，称当前数学 AI 不善于以优雅方式扩展现有理论。samuelknight 还提到 10 月 8 日一场有 100 多个反应和 100 多个解答的活动，并转述一些研究者称长期问题被 AI 解答后需要重写资助申请或感到研究方向受冲击。
参考链接
● 2026-08-21 — 陶哲轩：AI 或致数学证明过剩与基础危机
● 2026-09-20 — 陶哲轩发文呼吁数学界重视证明之外贡献
● Mathematics in the age of AI - Public lecture, International ...
标签:
----------------------
日本宣布网络空间紧急状态，逾 20 家企业遭攻击 ⭐️ 8.0/10
据《金融时报》报道，日本政府宣布进入“网络空间紧急状态”。近几周，超过 20 家大型企业遭攻击，涉及铁路、汽车、医院和政府设施，数千万条客户数据可能泄露；金融厅要求银行停用驾照作为新开户身份证明，改收带芯片证件。JR 东日本称订票系统可能泄露 167 万名客户邮箱，多起事件与软银旗下 IDC Frontier 的勒索软件攻击有关。专家称日本防御薄弱，AI 正降低复杂攻击门槛，但暂无证据表明最新攻击与 AI 有关。
telegram · zaihuapd · 10月11日 06:32
「背景」 据外部报道，软银旗下数据中心与云服务商 IDC Frontier 于 2026 年 10 月 7 日确认遭第三方勒索软件攻击，导致 IDCF Cloud 中断，公司隔离了东日本区域 1 数据中心，约 495 家客户受影响。该攻击是日本近期针对关键基础设施和大型企业的一系列事件之一。
「影响」 对日本企业和用户而言，最直接的后果是身份验证流程的强制变更：金融厅已要求银行停止接受驾照作为新开户身份证明，改收带芯片的证件，这意味着新开户客户需改用 My Number 卡等芯片证件办理。同时，JR 东日本表示订票系统可能泄露 167 万名客户的邮箱地址，相关用户应警惕以此为基础的钓鱼邮件。
参考链接
● IDCF Cloud ransomware hits 495 Japanese clients | sakuttoAI
● Ransomware attack disrupts Japan 's IDCF Cloud used by govt clients
● IDC Frontier Ransomware Hits IDCF Cloud, 495 Down
标签:
----------------------
via Horizon Daily - 中文摘要
从 29 条内容中筛选出 2 条重要资讯。
----------------------
科技新闻
1. Terence Tao《Math 2.0》幻灯片谈 AI 与数学实践 ⭐️ 8.0/10
2. 日本宣布网络空间紧急状态，逾 20 家企业遭攻击 ⭐️ 8.0/10
----------------------
科技新闻
Terence Tao《Math 2.0》幻灯片谈 AI 与数学实践 ⭐️ 8.0/10
Terence Tao 的幻灯片《Math 2.0》在 Hacker News 上被分享，讨论 AI 正在如何改变数学实践，涉及形式化、解释以及机器生成结果的可信度。目前可得材料是幻灯片，而非论文或可复现实验；源内容未提供，因此无法核实其中具体主张、案例或技术细节。对数学研究者、证明助手开发者和关注 AI 科研应用的人来说，这是一份用于讨论研究实践变化的材料，而不是已证实的突破。
hackernews · Anon84 · 10月11日 13:16 · 社区讨论
「背景」 这份 Caltech 2026 讲稿延续了陶哲轩近几个月围绕 AI 与数学的公开论述：Horizon 8 月 21 日的日报曾报道，他为 2026 年国际数学家大会撰文警告 AI 可能让数学从「证明稀缺」转向「证明过剩」，并称即便通过形式验证、无人能清晰讲解的证明也应视为不完整；Horizon 9 月 20 日的日报又报道，他主张数学界应更充分地认可证明之外的贡献。同一主题的 ICM 2026 公开演讲幻灯片《Mathematics in the Age of AI》也发布在同一站点（teorth.github.io/tao-web/slides/）上，与本次的《Math 2.0》讲稿同属一个系列的公开材料。
「影响」 对使用证明助手或评估 AI 数学结果的研究者而言，直接后果是验证与整合成本可能上升：正确但难以解释的机器生成证明仍需人类理解并纳入现有理论体系。
「社区讨论」 评论者 dekhn 和 squidmaster 质疑 Tao 关于癌症药物的类比，认为许多药物机制本就未被完全理解，医生未必会因机制不明而拒绝有效疗法；thomasahle 则用软件代码库类比解释 Tao 的观点，称当前数学 AI 不善于以优雅方式扩展现有理论。samuelknight 还提到 10 月 8 日一场有 100 多个反应和 100 多个解答的活动，并转述一些研究者称长期问题被 AI 解答后需要重写资助申请或感到研究方向受冲击。
参考链接
● 2026-08-21 — 陶哲轩：AI 或致数学证明过剩与基础危机
● 2026-09-20 — 陶哲轩发文呼吁数学界重视证明之外贡献
● Mathematics in the age of AI - Public lecture, International ...
标签:
#AI for mathematics, #proof assistants, #machine learning, #scientific epistemology, #Terence Tao----------------------
日本宣布网络空间紧急状态，逾 20 家企业遭攻击 ⭐️ 8.0/10
据《金融时报》报道，日本政府宣布进入“网络空间紧急状态”。近几周，超过 20 家大型企业遭攻击，涉及铁路、汽车、医院和政府设施，数千万条客户数据可能泄露；金融厅要求银行停用驾照作为新开户身份证明，改收带芯片证件。JR 东日本称订票系统可能泄露 167 万名客户邮箱，多起事件与软银旗下 IDC Frontier 的勒索软件攻击有关。专家称日本防御薄弱，AI 正降低复杂攻击门槛，但暂无证据表明最新攻击与 AI 有关。
telegram · zaihuapd · 10月11日 06:32
「背景」 据外部报道，软银旗下数据中心与云服务商 IDC Frontier 于 2026 年 10 月 7 日确认遭第三方勒索软件攻击，导致 IDCF Cloud 中断，公司隔离了东日本区域 1 数据中心，约 495 家客户受影响。该攻击是日本近期针对关键基础设施和大型企业的一系列事件之一。
「影响」 对日本企业和用户而言，最直接的后果是身份验证流程的强制变更：金融厅已要求银行停止接受驾照作为新开户身份证明，改收带芯片的证件，这意味着新开户客户需改用 My Number 卡等芯片证件办理。同时，JR 东日本表示订票系统可能泄露 167 万名客户的邮箱地址，相关用户应警惕以此为基础的钓鱼邮件。
参考链接
● IDCF Cloud ransomware hits 495 Japanese clients | sakuttoAI
● Ransomware attack disrupts Japan 's IDCF Cloud used by govt clients
● IDC Frontier Ransomware Hits IDCF Cloud, 495 Down
标签:
#网络安全, #日本, #勒索软件, #数据泄露, #关键基础设施----------------------
via Horizon Daily - 中文摘要
