当 AI 成为数学“神谕”,数学将发生什么?
Steven Strogatz 与 Alex Townsend 的新书《Big Math》探讨大语言模型、AI 聊天机器人及未来量子计算如何让“大数学”逐渐超出创造者的理解能力。书中关注这一变化对数学的意义,以及人类应如何适应。
Steven Strogatz 与 Alex Townsend 的新书《Big Math》探讨大语言模型、AI 聊天机器人及未来量子计算如何让“大数学”逐渐超出创造者的理解能力。书中关注这一变化对数学的意义,以及人类应如何适应。
全球AI数据中心与乌克兰无人机争夺有限的光纤供应,推高了乌克兰从中国进口相关材料的成本,促使当地无人机制造商调整应对方式。光纤无人机通过数英里缆线与操作员相连,可避开电子战干扰;成品线轴通常支持数十英里的航程,极端情况下可达62 miles (100 kilometers)。俄罗斯军方于2024年率先在库尔斯克州部署此类无人机,乌克兰随后开发了自己的光纤无人机。
NVIDIA 通过加速计算、基于物理的 AI、AI 智能体和数字孪生,帮助晶圆厂缩短仿真周期、预测工艺表现并在部署前验证变更。cuDSS 可将部分仿真最高加速 10 倍,PhysicsNeMo 将形貌仿真最高加速 35 倍,并把等离子体预测从数天缩短至最快数毫秒;NeMo Switchyard 则将模型选择响应时间从数小时降至数分钟。
Berkeley AI Research 研究者提出,随着 GPT-4 级能力的每百万 token 成本从约 $30 降至 $1 以下,数据系统需要围绕智能体重新设计。文章将研究方向分为服务智能体的数据系统、承载智能体的数据系统和由智能体生成的数据系统,涉及重复查询优化、结构化记忆、多智能体协调以及定制系统的验证与可信性。
推荐理由:文章以推理成本快速下降为背景,将智能体与数据系统的共同演进拆分为服务、承载和生成系统三条研究路径。
Berkeley AI Research 系统梳理了自适应并行推理,模型可根据问题动态决定何时拆分任务、生成多少并发线程以及如何协调结果。文章比较 Multiverse 的推理引擎与 KV cache 改造方案和 ThreadWeaver 的客户端编排方案,并介绍基于 SFT、RL、关键路径长度与正确性门控奖励的训练方法。