分类： AI 资讯

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

菲尔兹奖得主、数学家陶哲轩正在推动一场关于“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 不会取代软件工程师，反而会成为他们的力量倍增器。核心论据是：只要人类专家仍然在驾驭 AI 完成 90% 的工作，而非 AI 完全自主，软件工程师的岗位就是安全的。但该观点同时警告，拥有单一技能（如前端开发）的工程师风险较高。