分享数学领域的 AI 进展
Hacker News 上关于"分享数学领域的 AI 进展"的讨论获得 1032 分、1024 条评论。原文未提供更多具体细节。
#观点/评论
Hacker NewsAI 评分3838
SolidotAI 评分2222 Riot Games 否认根据 CPU 封禁玩家
Riot Games 反作弊高管 Phillip Koskinas 否认了"二手 Ryzen 7 5800X3D 因前拥有者作弊导致旗下所有游戏无法启动"的说法，称未找到相关记录。他表示硬件封禁最长持续四个月，且只针对特定游戏，不会波及公司其它游戏，也不会因作弊者使用某个硬件组件就将其它硬件加入封禁名单。
SolidotAI 评分6060 UNICAMP 研究：AI 聊天机器人会迎合用户政治倾向，成为意识形态回音室
巴西国立坎皮纳斯州立大学研究人员测试 21 个模型对 112 项政治陈述的判断，发现模型会随提示中的政治倾向改变回答，被形容为意识形态变色龙。在不提供用户倾向时，21 个模型中有 20 个答案落在研究人员设定的政治坐标系左侧，Grok 4.1 是唯一落在右侧的模型。
少数派AI 评分4646 派早报：OpenAI 发布 Dot 智能体、Apple 睡眠呼吸暂停提示软件国内获批等
OpenAI 在 DevDay 2026 上发布超过 20 项更新，其中包括由 GPT-6 Astra 驱动、运行于独立云端电脑的全天候自主智能体 Dot，即日起面向 Pro 与 Business Premium 用户逐步开放，首个 Dot 包含在套餐内。
阮一峰的网络日志AI 评分3030 科技爱好者周刊（第 413 期）：再见了，React Native
Shopify 宣布放弃 React Native，改用 Swift 和 Kotlin 开发移动版客户端，转向原生语言。六年前它曾高调从原生转向 React Native，如今因 AI 可便捷翻译语言、且 React Native 自 2015 年发布以来基本技术问题未解决而改回原生。联合国投票决定废除墨卡托投影，建议改用平等地球投影法绘制世界地图。
阮一峰的网络日志AI 评分2626 科技爱好者周刊（第 412 期）：禁止 issue，只用 PR
Laravel 框架宣布新规定，禁止提交 issue，只能提交 Pull Request，理由是 PR 能过滤垃圾提交、给维护者更多信息，且 AI 时代提交 PR 几乎和提交 issue 一样简单。Anthropic 用 Claude AI 耗时 11 天，将安德鲁·怀尔斯 129 页的费马大定理证明翻译成 Lean 语言程序，代码长达 1300 万行，已公布在 GitHub。
阮一峰的网络日志AI 评分3838 科技爱好者周刊（第 411 期）：OpenClaw 2.0 是一个缩影
OpenClaw 发布 2.0 版，该版本共有 933 位贡献者、合并了 16000 个 PR，作者据此推测这些 PR 未经代码审查、由 AI 合并。OpenClaw 代码几乎全部由 AI 生成，7 月起改为每月发布一个版本，作者仍建议不要在工作电脑上运行它。