新闻
AI批量产出数学证明引发抵制：OpenAI被指“收割”开放问题
OpenAI一次性发布700余篇AI生成的数学手稿，次日因符号错误撤回三篇，数学界发起抵制呼吁。菲尔兹奖得主陶哲轩警告，AI对开放问题的大规模“收割”可能让整个数学分支失去活力。
The Decoder2 分钟阅读
AI 新闻
来自全网的最新 AI 资讯，每日自动聚合更新
共 2844 篇
新闻
Anthropic 更新使用政策：明确禁止选举干预与极端滥用
Anthropic 修订使用政策，首次将选举干预、欺骗性宣传、武器软件与监控等场景写入禁止条款，同时保留用户对 Claude 的正常批评与不满表达空间。
TechCrunch2 分钟阅读
新闻
OpenAI 的数学证明为何没达到学界标准？
TechCrunch 报道称，OpenAI 生成的大量数学证明偏离了其咨询的数学研究者所设定的规范。这暴露出前沿模型在专业数学场景中，形式正确性与学术规范之间仍存在明显落差。
TechCrunch2 分钟阅读
新闻
叫它 AI 还是 SI？一场关于术语的政治化争论
Hacker News 上一条帖子提出用 SI（Synthetic Intelligence）替代 AI（Artificial Intelligence），并戏称坚持叫 AI 的人成了美国的敌人，折射出技术命名背后的话语权争夺。
Hacker News2 分钟阅读
新闻
《今日美国》起诉 OpenAI：索赔 2.5 亿美元，版权战火烧到地方媒体
《今日美国》母公司及其旗下多家地方报纸起诉 OpenAI，指控其未经授权复制数十万篇文章用于训练模型，索赔逾 2.5 亿美元。这是新闻出版业与 AI 公司版权之争的最新一例。
The Verge2 分钟阅读
新闻
SpaceXAI 以 150 万美元算力入股 Omarchy：马斯克阵营为何押注这个争议 Linux 发行版
SpaceXAI 以创始企业赞助方身份加入 Omacom 基金会，向 DHH 的 Linux 发行版 Omarchy 捐赠价值 150 万美元的 Grok token，算力而非现金成为开源赞助的新形式。
The Verge2 分钟阅读
新闻
Anthropic 首次更新使用政策：禁止对 Claude 持续辱骂，AI 治理进入“行为规范”阶段
Anthropic 一年多来首次更新使用政策，在选举干预、武器开发、监控等高风险场景之外，新增禁止对 Claude 进行“持续且不必要的辱骂或残忍行为”，把用户与 AI 的互动方式本身纳入监管。
The Verge2 分钟阅读
新闻
不再雇一个AI盯着AI：Goodfire用“由内而外”的监控压低成本
Goodfire推出一种新的AI代理监控方案：不再让第二个模型逐条读取代理的全部行为，而是直接观察模型内部状态，只在出现异常迹象时才调用外部审查，从而大幅降低监控开销。
TechCrunch3 分钟阅读
新闻
AI 算力狂飙之后，能源公司开始登上科技舞台
TechCrunch Disrupt 2026 首次将 Ambrosia Energy 与 Bloom Energy 高管请上 Smart Systems Stage，讨论 AI 基础设施扩张中能源环节的机会。这标志着 AI 叙事正从芯片与模型向电力供给延伸。
TechCrunch2 分钟阅读
新闻
瓜达尼诺拍了部奥特曼讽刺片：当科技领袖想扮演上帝
《Artificial》在纽约电影节首映，导演卢卡·瓜达尼诺用讽刺喜剧处理萨姆·奥特曼式的人物，同时强调影片仍忠于事实。这标志着AI权力叙事正式进入主流文化视野。
The Verge2 分钟阅读
新闻
Meta Muse 与 OpenAI Dots：消费级 AI 代理能托付你的生活吗？
The Verge 资深 AI 记者 Hayden Field 做客 Decoder，讨论新一波面向普通消费者的 AI 代理。从极客自建方案走向大众产品，代理正在接管更多日常任务，但信任与可靠性仍是最大悬念。
The Verge2 分钟阅读
新闻
TechCrunch Disrupt 2026 倒计时：门票涨价前的最后窗口
TechCrunch Disrupt 2026 将于 10 月 13-15 日在旧金山 Moscone West 举行，现场购票更贵，提前购票最高可省 100 美元，同类型第二张票享五折。
TechCrunch2 分钟阅读