标签： DeepSeek

陶哲轩如何成为人工智能在数学领域的布道者

菲尔兹奖得主、数学家陶哲轩正在推动一场关于“AI如何重塑数学研究和实践”的深度讨论。这场讨论的核心并非AI能自动证明定理，而是AI能否改变数学家的工作方式、降低数学实践的门槛，甚至颠覆整个软件开发范式。

据报道，一架搭载全自动目标识别与攻击系统的四旋翼无人机首次在实战中自主锁定并击杀一名人类士兵，标志着廉价、自主攻击武器的战争用途从概念走向现实。这一事件的核心变化不在于无人机外形，而在于成本大幅降低——从造价数十万美元的游荡反坦克导弹，降为几千甚至几百美元的消费级改装无人机。

OpenAI 宣布收购云平台 Ona，旨在为旗下 AI 代理（AI Agent）产品提供更强的云端基础设施与运营支持。此举标志着 OpenAI 从模型层向基础设施层延伸，为独立部署和商业化 AI 代理铺路。

Visa 与 OpenAI 达成合作，将 Visa 支付网络直接集成到 ChatGPT 之中，使得用户可以通过自然语言指令让 ChatGPT 搜索商品并代为完成购买。这是支付基础设施首次深度接入主流 AI 对话系统，意味着 AI 代理从“建议工具”正式迈向“执行代理”。

OpenAI 收购了云服务公司 Ona，旨在将其团队整合进 Codex 项目，以强化 AI 代理的基础设施能力。这次收购并非瞄准现有产品，而是为了加速代理化 AI 的部署和稳定性。

OpenRouter 推出了一个基准探索器，允许用户基于 10 个不同基准测试绘制帕累托曲线，从而更直观地对比不同模型在多个维度上的性能取舍。这为开发者选择模型提供了一个高效的可视化工具。

Anthropic 对 OpenAI 提起诉讼，指控其违反竞争与合同条款，核心矛盾在于双方对 AI 发展路径（安全优先 vs. 快速商业化）的根本分歧。这场诉讼不仅关乎两家明星公司的恩怨，更可能重塑 AI 行业的合作与竞争规则。

加拿大隐私监管机构裁定，xAI 旗下 Grok 的图像生成工具在收集和使用用户数据时违反了《加拿大个人信息保护与电子文件法》。该决定提示，AI 图像生成工具在训练与推理中的数据合规问题正成为全球监管焦点。

甲骨文因宣布大规模增加AI基础设施支出及新的债务融资计划，导致股价大幅下跌。这一事件反映出资本市场对科技公司重金押注AI算力的回报周期和财务健康度的担忧正在加剧。

一项来自 Hacker News 的讨论揭示了 AI 在工作场景中的悖论：员工被要求每周花 6 小时以上与 AI 协作，甚至将原本赋予工作乐趣的环节（如客户关系维护、代码精雕细琢）也交给 AI 自动化。这非但没有带来预期的效率提升，反而因剥夺了工作的意义感和成就感，导致挫败感和生产力下滑。