⌘ K
… 读取采集状态 同步中...
雷

#现象/趋势

今日 4 条
8月7日周五
  3. 新智元62

    陶哲轩解读AI数学冲击：菲尔兹奖得主与数学家应对“证明过剩”时代的思考

    文章汇总了陶哲轩在ICM大会的演讲及多位菲尔兹奖得主的观点。陶哲轩提出数学正从“证明稀缺”进入“证明过剩”时代，AI加速了证明生成与验证，但阐释、消化等环节仍高度依赖人类。数学家邓煜认为AI将帮人类处理技术细节，人类将重新定义理论框架；Gowers则担忧无人理解的AI证明会导致数学文献膨胀和理解断层。整体观点认为，AI改变了人类对数学价值的追求，但未改变人类寻求理解本身的动机。

  5. CVer10

    CVer 成立 AAAI 2027 投稿交流群

    CVer 为已进入审稿阶段的 AAAI 2027 投稿者成立微信交流群。该会议定于 2027 年 2 月 16 日至 23 日在加拿大蒙特利尔举行，投稿量已突破 5 万。群内仅限已投稿人员加入，主要沟通投稿注意事项、rebuttal 及后续开会事宜，严禁泄露个人及论文信息。

8月6日周四
  1. 特工宇宙18

    AI 全面强化人才培养三要素：从书中学、与高人聊、在事上练

    人才培养的从书中学、与高人聊、在事上练三大方式正被 AI 全面强化。豆包、DeepSeek 等模型的综合认知水平优于多数人类，在规划、决策及情感问题上，AI 建议比社交媒体或身边人更高效。Agent 的高智能降低了试错成本，压缩了验证想法的时间周期，使想法能快速结合 Agent 上手落地。

  2. 极市平台18

    极市平台十周年｜镜头之外，11位开发者也写下了自己的CV十年

    极市平台十周年征集收到11位未出镜开发者的故事，涵盖从入门到实战、从比赛到项目、从职业到创业、从科研到课堂四类经历。他们通过ECV开发者大赛、横幅识别算法开发大赛、PRCV极市计算机视觉技术挑战赛、CV101计算机视觉开发者大赛等赛事及抽屉钥匙识别、船舶流量统计、渣土车识别等落地项目，完成从刷榜到工程落地的能力转变，多人借此拿到offer或确定职业方向。

  3. 人工智能学家30

    AutoResearch 如何推动物理世界的递归自我进化

    安德烈·卡帕西发布的 AutoResearch 展示了递归自我改进在软件沙盒中的逻辑，但物理现实打破了封闭环境假设。物理 RSI 需将现实映射为智能体世界模型，利用分布外事件（OOD 事件）作为路由信号，通过“遭遇-意外-诊断-抽象”循环同时提升执行者与世界模型。该路线旨在通过规模化积累物理经验，使系统具备扩展问题空间的能力，将未知转化为持续进化的起点。

  4. AI科技评论43

    Vibe Coding 重塑软件开发，OceanBase 以“逻辑独立、物理共享”重构数据库基础设施

    Vibe Coding 推动应用生成量激增，传统数据库难以承载海量、动态且单体数据量小的“小库”需求。蚂蚁 OceanBase 提出“逻辑独立、物理共享”的新架构，通过 JSON 统一存储和 SQL 自动转换，在保障计算准确性的同时实现资源高效利用，解决了 3000 万个闪应用的持久化存储与确定性计算难题。

  7. 机器之心88

    Jeff Dean 等人离职创业，对 Gemini 有什么影响

    Jeff Dean、Oriol Vinyals 等人离开谷歌创办 Discovery Loop，文章分析这对 Gemini 的影响：短期直接影响有限，Gemini 4 预训练已启动、执行团队完整，接任的 Koray Kavukcuoglu 是内部资深人士；中长期的损失在架构判断力、TPU 到模型的纵向链路和组织引力三层。

    推荐理由：文章把打包成一条新闻的离职拆成地基层与模型层两条线，并给出短中长期三层影响，便于读者判断事件真实分量。

  8. AI信息Gap50

    Agent 缺乏 Ontology 导致业务判断出错

    Agent 工具调用无误但业务判断常因缺少 Ontology 而失效。RAG 提供知识而非实体关系，指标体系无法解决业务语义边界，MCP 赋予调用能力但缺乏行动约束。Ontology 通过定义对象、关系与规则，补全业务世界模型以稳定 Agent 推理。

8月5日周三
  2. 数据猿27

    数据猿发布《2026中国AI Agent产业图谱1.0版》

    数据猿携手上海大数据联盟发布《2026中国AI Agent产业图谱1.0版》，系统梳理AI Agent全产业链核心玩家与技术路线。图谱展示了达观数据在金融、工业及流程自动化领域的智能体落地成果，以及袋鼠云在数据分析、金融与能源行业的解决方案。该图谱为企业选型与产业协同提供中立参照。

  4. 极客公园46

    从会聊天到能管钱：Agent 进入交易时代

    Airwallex 空中云汇全球首席营收官吴恺在 AGI Playground 2026 圆桌上提出，Agent 的终局是能真正运转企业资金的执行系统，并推出 AI 原生金融平台 T:0 与一键结账钱包 Airi。他强调 Agent 落地需嵌入企业审批、合规与风控框架，资金操作遵循「用户全权掌控、操作分级放行、全链路可追溯」准则，不可逆操作仅可发起申请、由用户最终决策。

  6. 量子位73

    微软叫停Tokenmaxxing：设AI Token预算目标，内部默认模型换为GPT-5.6

    微软从今年7月起为各业务部门设置AI Token预算目标，并将内部默认模型切换为GPT-5.6，原因是更便宜；执行副总裁Jay Parikh在内部邮件中称Tokenmaxxing不是优化目标，要求像管理其他关键资源一样管理token花费，员工可查看个人token支出，许多工程师每月花费在几百到几千美元之间。

    推荐理由：原文梳理了Tokenmaxxing从激励到收紧的完整链条，读者可理解企业为何转向按成果考核AI使用。

8月4日周二
  2. 新智元70

    新智元分析 Dwarkesh Patel 观点：算力供需失衡或将引发十倍价格暴涨

    新智元转载并解读 Dwarkesh Patel 的推演，认为若 AI 实验室收入持续高增而算力扩张受限，H100 等芯片租赁价格可能上涨 10 倍以上。分析指出 Anthropic 等头部实验室商业收入扩张远超供给速度，AI 竞争已转入对专属 GPU 集群的基础设施争夺阶段。作者同时收录了部分反对观点，提示算力估值在触及物理世界场景时可能面临天花板约束。

    推荐理由：新智元梳理了 Dwarkesh Patel 关于算力供需错位的推演，解释了 GPU 从工具属性转向数字劳动力载体的估值逻辑。

8月3日周一
8月2日周日
  1. 极客公园38

    极客早知道：马斯克和 Altman 达成共识人类已迈入 AI 奇点时代；小米手机多款涨价 300 元起；苹果警告 AI 算力短缺或导致产品延期发布

    马斯克和 Altman 就 AI 奇点达成共识，Altman 称 AI 已能自动化完成人类约 30~40% 的工作，马斯克则表示「我们正处于奇点之中」。苹果在 10-Q 财报文件中警告 AI 及机器学习计算资源可能面临短缺，或导致新产品与服务部署推迟。小米手机多款机型涨价 300 元起，涉及小米 17 系列、REDMI K90、REDMI Turbo 5 等。

8月1日周六
  1. AI For Developers38

    AI For Developers newsletter 发布一周年回顾

    AI For Developers newsletter 满一周年，订阅用户达到 39,528 人。作者回顾了过去一年 Claude 从 4.1 到 5 系列、Mythos 模型、OpenClaw 开源项目以及 Skills 和 MCP 等关键进展。同时指出，尽管 OpenAI 和 Kimi K3、DeepSeek 等模型竞争加剧，Claude Code 仍是作者日常主要开发工具。

  2. 特工宇宙69

    大厂集体收拢 Work Agent 的战略逻辑与终局判断

    阿里、腾讯和字节在一个月内分别通过合并产品、调整组织和拆分能力链条，集体收拢 Work Agent 产品线。作者分析认为，这一动作源于第一阶段赛马结果出炉、产品目标从辅助转向完成工作，以及商业化需要统一责任主体。三家公司分别押注统一旗舰、组织合并保留矩阵和多链路协同三种不同的终局形态，而 Work Agent 的核心壁垒正转向工作上下文与权限体系。

  4. AI科技评论40

    AI 产业新叙事：从智能稀缺转向可验证生产力

    AI 行业需重构估值逻辑，核心从为智能稀缺性定价转向为可验证生产力定价。Anthropic 披露 Claude Code 年化收入超 25 亿美元，但 METR 研究显示在特定任务中 AI 可能增加 19% 完成时间。医疗影像等领域正通过德适的基座模型探索数据回流与跨任务复用，试图将模型能力转化为可持续的商业回报。

7月30日周四
7月28日周二
7月20日周一
7月6日周一
5月22日周五
5月17日周日
  1. 宝玉27

    为什么我不“凭感觉编程”

    作者驳斥了“LLM 消除开发摩擦”的观点，坚持通过代码死磕与架构决策记录（ADR）获取深层理解。他指出 LLM 无法感知“摩擦”这一关键设计线索，且缺乏元认知能力，易导致过度简化。对于多数场景，依赖 LLM 的盲目自动化往往劣于人工对系统复杂性的审慎处理。

5月12日周二
  1. 宝玉37

    为什么资深开发者无法传达其专业价值

    资深开发者因沟通逻辑错位而难以传达专业价值，根源在于用管理复杂性的视角回应业务端消除不确定性的需求。作者建议以“能不能试个更快的办法”为核心话术，通过精简功能、复用代码或验证性测试来降低不确定性。尽管AI能快速生成代码，但资深开发者承担系统稳定责任的价值依然不可替代。

5月11日周一
5月10日周日
4月15日周三
  1. 宝玉49

    Vibe Coding 是中年男人的钓鱼

    Vibe Coding 对中年男人而言如同钓鱼，核心价值并非产出结果，而是获得一段名正言顺的独处时间与掌控感。AI 大幅降低门槛，使中年人跳过技术学习，通过简单交互重获从零到一的创造快感。这有助于他们短暂逃离生活责任，找回被琐碎消磨的好奇心与创造欲望。