清华 AI 数学家来了!从想法一路推到定理,参与完成 84 页量子算法论文

清华大学团队开发的 AI 数学研究助手 AIM,不再仅用于解答数学题,而是深度参与了一项前沿量子算法研究,从模糊直觉出发,辅助完成了 84 页的论文。这标志着 AI 在数学研究中的角色,正从“解题工具”向“研究协作者”演进。

清华大学团队开发的 AI 数学研究助手 AIM,不再仅用于解答数学题,而是深度参与了一项前沿量子算法研究,从模糊直觉出发,辅助完成了 84 页的论文。这标志着 AI 在数学研究中的角色,正从“解题工具”向“研究协作者”演进。
![[程序员] 这年头,程序员带新人是不是很亏,还不如带 AI 吧](https://www.chat-gpts.plus/wp-content/uploads/2026/07/ai_cover_3-331-768x403.jpg)
V2EX 社区近日热帖中,一位拥有 tech lead 经验的老程序员发帖抱怨,在 AI 工具(vibe coding)辅助下带新人性价比骤降,引发一场关于“教会徒弟、饿死师傅”与“管理价值”的激烈讨论。核心矛盾在于:当 AI 能替代大部分基础编码工作,管理者投入时间培养人的回报是否还值得。

GitHub 为 REST API 新增了一个端点,允许企业一次性查询所有成员在多用户预算下的使用进度与限额状态,省去了过去逐人调用的繁琐流程,大幅提升了大企业预算管理的效率。

宇树科技创始人王兴兴在2026年7月11日王府井论坛上明确表态,机器人最终会走向普通消费者,进入家庭和生活场景。这并非产品发布时间表,而是对机器人消费品化趋势的行业判断,直接关联人形机器人的市场定位与商业化路径。

由美国唱片业协会(RIAA)和国际唱片业协会(IFPI)牵头的行业联盟,正推动 Spotify、Apple Music 等流媒体平台为 AI 生成或辅助创作的歌曲添加强制性标注标签,旨在解决 AI 音乐带来的版权、创作者权益和听众知情权问题。

Kraken 即将推出基于 AI 的智能自主交易功能,用户可用日常语言下达指令,由 AI 代理自主执行交易、管理投资组合。这是加密交易所从交易撮合平台向 AI 驱动的金融基础设施转型的重要一步,也为熊市中的用户留存提供了新思路。

ZoomInfo 发布了名为 GTM Bench 的测试系统,专门评估 AI 在真实市场推广任务中的表现,并公布了自家产品 GTM.AI 的测试数据。这套基准让行业首次有了可比较的尺度来判断 AI 销售工具的实际能力与成本。

一位前大学乐队成员用 AI 工具,将 2001 年简陋的宿舍录音重制为 2026 年的高品质版本,并在网站上提供“前/后”对比播放器,展示了一种克制且透明的 AI 创作范式。

美国唱片业协会(RIAA)联合多家行业组织,计划在 Spotify、Apple Music 等主流流媒体平台上,为歌曲添加“AI 生成”或“AI 辅助”标识,让听众直观区分纯粹由 AI 创作的音乐和人类主导仅借助 AI 辅助的作品。

百度搭子在成都AI Day上一次性更新了个人版、自媒体专业套件、企业版并启动了搭子联盟。这意味着这款上线仅三个多月、日均提问量翻了20倍的产品,正从个人效率工具向内容创作、企业协作和生态平台加速扩展。