AI爆改陶哲轩30年主页，顺手揪出两个藏了20多年的bug
AI爆改陶哲轩30年主页，顺手揪出两个藏了20多年的bug都以为AI应该先去替数学家证定理，陶哲轩却让它搬30年前的旧网页。一天迁走560篇论文，还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。
来自主题:
AI资讯
5663 点击 2026-07-14 11:09
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
都以为AI应该先去替数学家证定理，陶哲轩却让它搬30年前的旧网页。一天迁走560篇论文，还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。
昨天，又看到一个新闻，又有一个新成员官宣加入Anthropic。
近日，新基石研究员、北京大学集成电路学院教授、深圳研究生院信息工程学院院长杨玉超团队，联合中国科学院上海微系统与信息技术研究所宋志棠研究员团队等，在国际顶级学术期刊《科学》发表最新成果，在新型神经动力学计算芯片领域取得重大突破。
7 月 8 日，xAI 发布了 Grok 4.5。马斯克给的定位很直白，「Opus 级别，但更快，更便宜」。
打官司，从来不是一问一答就能结束的事。
过去几年，扩散模型几乎定义了高质量图像生成：从随机噪声出发，经过多轮迭代，逐步 “雕刻” 出一张图像。但随着大语言模型席卷人工智能领域，另一条路线正迅速走到舞台中央 —— 图像，能否也像语言一样，通过自回归方式逐步生成？
大家好，我是极客杰尼。 今天，md2wechat 正式发布 3.0.0 大版本，这次最重要的变化，是普通创作者也能让 Agent 帮自己完成多图和 SVG 排版。
7月13日，阶跃星辰在上海正式发布面向智能体时代的大模型原生AI终端品牌STEPX，并同步推出全球首个智能体原生操作系统Step AOS（Step Agentic-native OS）和阶跃新一代个人智能体阶跃Amoo，正式打通了从基座模型、智能体系统到硬件终端的完整链路。
OpenAI正处在关键的战略转型期。
这事听着像钓鱼帖，但偏偏是真的。
4月30号，快手Krow团队推出了一款桌面端AI智能体KroWork，在这里你不用写一行代码，对着它说一句话，它就能自己写代码、调试、部署，最后交付一个能直接在桌面运行的应用。
把一个Bug交给Claude Code或Codex，十几分钟后它回了一句“Done”和一大片Diff。过程中它读错了什么、为什么反复改同一个文件、最后有没有重新跑测试......开发者想知道就只能去几百行日志里碰运气。7月11日，一个名叫Mindwalk的开源项目发布了v0.1.0。
2026年，视频生成赛道正在经历一场从“离线生成”到“实时交互”的范式转移。7月3日全球数字经济大会上——生数科技创始人朱军正式发布Vidu S1实时交互模型，让AI从“视频生成”正式迈入“实时交互”的新阶段。
AI基础设施的核心任务，已经从支撑大模型推理，转向支撑海量智能体的规模化运行与高质量Token的持续生产。
Lyzr 的为其 Agent B 轮融资开展外联活动。该轮融资据公司称有望筹集 1 亿美元，估值约为 5 亿美元。Agent 回应了来自 130 多位投资者的查询，并协助起草了数十份投资备忘录。最终，这家获得 Accenture 支持的公司吸引了来自硅谷基金、中东风投公司和金融行业投资者共计 4 亿美元的兴趣。
CB Insights 上个月公布了 2026 年 AI 100。简单来说，就是从全球 AI 初创公司里，挑出 100 家它认为最值得关注的企业。CB Insights 的筛选范围超过 4 万家公司，不只看融资，还会综合交易活动、投资机构、团队招聘、行业合作和实际商业进展等数据。
一家推翻传统网络架构的清华系创业公司，联合智谱、清华大学推出了全新的网络架构ZCube，能提升推理算力集群15%的Token产量，还能砍下约33%的网络硬件成本。近日，驭驯网络已完成智谱独家领投的数千万元融资，源合资本担任长期财务顾问。
过去十几年，程序员面试早就形成了一套成熟的应试套路。背题、刷题、共享面经，一条龙服务，从几块钱的 PDF 到十几万的“包过内推”，每一个价位都有对应的产品。只要你花够时间准备，进大厂的概率不低。
米哈游吊了人们一年的AI陪伴产品《BSide：Olivia Lin》（以下简称《林离》）在今天悄悄开放了抢先体验。这款产品的主角就叫林离，在前几日的BW展会上，米哈游还带着她来到了现场。不过当时现场的互动内容只有简单地写信与回信，我们还是不清楚具体到了桌面之后，她会是什么样子的。
就在今天，阶跃星辰在发布会上一口气抛出三样东西——全球首个大模型原生AI终端品牌STEPX；全球首个智能体原生操作系统Step AOS；全球首款大模型原生智能体手机STEPX Neo。
本期Product Hunt周榜Top 1出自中国团队，AnySearch——一款AI搜索产品。过去一年，PH榜一的位置被Agent、AI IDE、大模型轮番占据，几乎没见过搜索类产品的影子。就是因为在全球开发者眼里，普通AI搜索已经很难突围了。
近日，有外媒报道称，自 2022 年成立以来一直专注于编程工具的 Cursor，正在开发一款名为 Sand 的通用型 AI 智能体，希望在更广泛的生产力场景中，与 Anthropic 的 Claude 和 OpenAI 的 ChatGPT 展开正面竞争。
这家名为 PrismML 的初创公司表示，已将 Qwen 3.6 缩减至可在 iPhone 17 Pro 上运行，该模型拥有 270 亿参数（参数大致类似于大脑中的突触，能够帮助决定模型可处理数据的复杂性）。相比之下，大多数在手机上运行的模型一次仅有几十亿个参数处于活动状态。
图片来源：Unsplash 在 ChatGPT 的发布将生成式人工智能带入主流市场三年多之后，OpenAI 正将其关注点从个人用户扩展到家庭。 OpenAI 正在旧金山招聘一名专职产品经理，负责在其产
刚刚，Agnes 升级了！
OpenAI高管亲自下场，教开发者5分钟极速「策反」Claude Code，这波贴脸开大太狠了。
最近刷小红书，总能刷到 ChatCut。
AI 生图最难的地方，早就从「生成一张好看的图」变成了「把那张差一点的图改对」。
这一天天的，OpenAI的安全负责人怎么接二连三地跑路啊…
试图把医疗级脑刺激技术装进日常耳机。
