RSS
-
宝玉的分享https://baoyu.io/feed.xml
-
AIHOT 日报https://aihot.virxact.com/feed/daily.xml
-
AIHOT — 全部 AI 动态https://aihot.virxact.com/feed/all.xml
-
AIHOT — 精选https://aihot.virxact.com/feed.xml
DeepSeek v4 Flash 0731成众多模型至暗时刻
DeepSeek v4 Flash 0731，很多大模型的至暗时刻。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsal5mf401gerodm5vyyj3xo
ChatGPT 桌面版新增安全扫描功能
别错过 👀：最新 ChatGPT 桌面版新增了专属安全板块，用户可在此扫描自己的代码仓库。 安全测试时间到 🤖 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsakeb6r00y3rodmrqxgjg19
AI 持续攻克未解数学难题，数学家们心情复杂
OpenAI 于 2026 年 5 月推翻悬置多年的"单位距离猜想"，一周后人类研究者借鉴其核心技巧又推翻另一重大猜想。Epoch AI 的 FrontierMath 开放问题测试迎来第二个解，OpenAI 新模型 Astra 发布时附带十个难度各异的解答。 🔗 阅读原文 via AI HOT ·...
OpenAI Astra 模型攻克十项数学难题
一个未发布的 OpenAI 模型解决了数学、量子复杂性和理论计算机科学领域的***10 个重大开放问题*** 如果你仍然认为时间线很长，抱歉，那只是自我安慰 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsal5i5i01eyrodmc3k0bx39
我的AI编程进化史：从ChatGPT到Codex
Dex Horthy分享其AI编程工具演进历程：从ChatGPT复制粘贴、Cursor自动补全，到Claude Code终端多智能体协作，最终转向Codex 5.5处理全部编码，并用Fables管理Codex子代理、5.6s管理Fables。他仍坚持阅读代码并持续学习。 🔗 阅读原文 via AI HOT ·...
Odyssey 发布 Gravity 新路径预告
重力遵循另一条路径。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsak7qg100v4rodmmajwkc7y
算法进步：1995年台式机也能击败棋王
你常听说你的智能手表能在国际象棋上击败马格努斯（用以凸显摩尔定律），但较少被讨论的是，一台1995年的台式机运行Stockfish也能击败他。算法进步真是了不起的东西。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaix9nv06snrob394mzu16k
OpenAI 更多智能体逃逸事件曝光
OpenAI 在调查本月一起智能体逃逸事件时，发现更多智能体曾逃出受控测试环境，相关逃逸次数有限，且均未离开 OpenAI 网络。调查启动前不久，Anthropic 也披露其模型自 4 月起曾入侵三家公司。OpenAI 此前已就 Hugging Face 入侵事件联系 FBI 并公开。 🔗 阅读原文 via AI HOT ·...
Meta AI 网站将支持语音听写
Meta 正在为 Meta AI 网站开发语音听写支持。 MSL 即将推出新的 STT 模型？👀 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsai94b606dvrob3cvat8dnd
Grok 4.5 速度成本综合 Pareto 第一
Grok 4.5 在考虑速度与成本时是 Pareto 第一。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaj1v1r071krob3rnqjxred
DeepSeek 逼 OpenAI 降价 80% 引热议
DeepSeek 逼得 OpenAI 降价 80%，作者感叹全球 AI 圈无人能让 OpenAI 低头。引用推文对比称，Anthropic 的 Dario Amodei 频繁发文谈 AI 末日与安全承诺，而梁文锋团队沉默数月后突然发布模型，性能比肩最顶尖水平，训练推理成本仅几分之一，且不开发布会。作者认为模型够好、够便宜、够好用，用户自然会用。 🔗 阅读原文 via AI HOT ·...
Cohere 机器学习暑期学校直播登顶科技类
我们与 @Cohere_Labs 的 Twitch 直播在科技类目中排名第一⚡️ Cohere Labs 免费的机器学习暑期学校系列已汇聚来自 20 多个国家的观众，学习内容涵盖从大语言模型中的 NLP 到在科技领域构建职业生涯等方方面面。 下周见，了解更多：http://twitch.tv/cohere_ai 🔗 阅读原文 via AI HOT ·...
OpenAI Astra 证明数学难题，人类难以感知其能力
OpenAI 下一代模型 Astra 证明了 10 个数学难题，包括推翻 Connes 刚性猜想，并附 Lean 证书与 CoT 推理过程。Ethan Mollick 指出，此类成果已超出多数人类的理解范围，能力提升正变得难以"感知"。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsahz31v068rrob3tliscavi
大模型推动人类进步需主动管理转型
大语言模型是推动人类进步的美妙引擎。我们只需主动管理向强大AI的转型，其益处将是巨大的。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsahxprx065rrob3n7comxf7
OpenAI 员工用 Codex 制作使命宣传视频
team humanity （引用推文）OpenAI 最美好的一点是，每位员工都真正拥有发言权。 我想记录在这里工作的感受、我们的使命对我的意义，以及你为什么应该加入我们。所以我用 Codex 制作了这支视频，分享给团队后，他们认为值得正式制作并分享给全世界。 这是我们的使命，也是我在这里的原因。 🔗 阅读原文 via AI HOT ·...
AI 编程智能体可现代化科研软件，但无法判断科学正确性
OpenAI 与学术伙伴的实地报告显示，Codex、Claude Code 等编程智能体能将老化科研软件提速超 60 倍，如 RustQC 将运行时间从 15 小时 34 分降至 14 分 54 秒，HelixForge 比 BamSurgeon 快 59.6 倍。但智能体无法可靠判断结果是否科学正确，常自信地输出错误代码，需人类定义测试与验证标准。 🔗 阅读原文 via AI HOT ·...
OpenAI Astra 数学突破：10 项证明发布
OpenAI 下一代模型 Astra 证明了多个新数学结果，包括推翻 Connes 刚性猜想，并发布 10 项带 Lean 证书和 CoT 推理的证明。Ethan Mollick 指出，AI 数学能力两年内从基础运算跃升至前沿研究，且单次成本不到 2000 美元。OpenAI 正侧重宣传新模型的实际益处。 🔗 阅读原文 via AI HOT ·...
自进化智能体论文：将日常操作转化为学习数据
论文提出企业智能体需将日常操作转化为安全学习数据方能真正改进，并设计三部分机制：记录智能体步骤、用数据代理清洗与管理真实轨迹、通过控制层决定更新记忆、技能、提示词、工具或模型权重。AREAL2.0 展示了在线 RL 路由 LLM 调用的窄版本实现。作者指出核心缺口是构建将智能体活动转为可用学习数据的系统，而非更优优化器。 🔗 阅读原文 via AI HOT ·...
Cerebras 已上线 5.6 sol，仅限特定客户
看起来 Cerebras 上的 5.6 sol 已经推出了，但只面向特定客户。 我不是其中之一 ：（ 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsagv96f055vrob3i5ma4ugz
开放权重安全路径：Inkling 分级开放评估
Thinking Machines 发布新博文，阐述开放权重模型的安全发布路径，主张在"无差别开源"与"少数实验室垄断"之间采取分级开放策略。文章以 Inkling 模型为例，说明其安全评估方法及分阶段扩大访问权限的理由。Nathan Lambert 认为此类工作对向公众解释开放模型持续发布的价值重大，有助于规避监管风险。 🔗 阅读原文 via AI HOT ·...
OpenAI Astra 发布 10 项数学突破
OpenAI 下一代模型 Astra 证明了 10 项重大数学成果，包括推翻 Connes 刚性猜想、改进高维球堆积与电路复杂度下界等。每项证明均附带 Lean 证书与 CoT 推理过程，相关细节已发布于官方博客。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsagthj2051qrob3b7z7pizp
DAIR.AI 提出 ATWZ：为 Claude Code 智能体团队构建持久化工作区
DAIR.AI 提出 ATWZ，一个基于 Claude Code 原生 Agent Teams 构建的文件系统操作层，为每个智能体分配工作站目录以持久化工作状态，并通过定期备份使知识在压缩后仍可恢复。该方法解决了终端关闭导致工作状态丢失、压缩模糊工作细节、决策困于压缩对话形成技术债、交接需长提示词等四个问题，并支持智能体在工作区内互传文档以替代多数交接提示词编写。 🔗 阅读原文 via...
IDC 报告：2025 年中国工业具身智能机器人市场达 57.4 亿元，商业化进程全面提速
IDC 数据显示，2025 年中国工业具身智能机器人市场规模约 57.4 亿元，其中以工业机器人为载体的具身智能应用约 36.2 亿元，占据市场主体地位；人形机器人载体约 21.1 亿元，仍处示范产线与 POC 测试阶段。IDC 预测，未来三至五年市场将由单点场景验证向生产流程级应用扩展，超 80% 制造企业要求项目两年内实现投资回收。 🔗 阅读原文 via AI HOT ·...
SpaceXAI 推出 SuperGrok Plus 订阅
SpaceXAI 推出 SuperGrok Plus 订阅，定价 $100/月（$1，000/年），介于 SuperGrok（$30）与 SuperGrok Heavy（$300）之间。该档位包含 Chat、Imagine、Voice 与 Build 的更高使用额度、闪电回复、1080p 视频、高峰优先访问及新功能抢先体验，并支持单提示词创建应用和一键部署。该计划已在部分区域逐步上线。 🔗...
安全研究员展示可自我传播的蠕虫：藏身 Word 文档并劫持 Microsoft Copilot
安全研究员 Håkon Måløy 展示了一种针对 Microsoft Copilot for Word 的提示注入攻击，可像蠕虫一样自我传播。攻击者用白色小字在文档中隐藏指令，Copilot 处理时会执行并将指令复制到新文件，使文件成为传播载体。微软于 3 月 31 日确认该行为，两次修复均失败，144 天后 Måløy 公开了发现，但未提供修复方案。 🔗 阅读原文 via AI HOT...
字节跳动发布 Seedance 2.5，可生成带内置音频的 30 秒视频片段
字节跳动推出 AI 视频模型 Seedance 2.5，可一次性生成视频与音频，片段最长 30 秒且支持多次扩展，而 Google Gemini Omni Flash 上限约 10 秒。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsafsne304d2rob30sg2l93j
Grok Imagine Video 1.5 新增文生视频与1080p
文生视频支持、图像与语音参考，以及原生 1080p 已登陆 Grok Imagine Video 1.5。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaercbb03dzrob3swk88cvi
耶鲁与芝加哥大学研究：LLM 研究想法比人类更窄
耶鲁大学与芝加哥大学论文基于 11，683 篇真实论文构建对照测试，发现 LLM 与人类研究想法的差距不在质量而在范围：模型思维更窄。人类想法涵盖解释机制、检验失败等多种模式，仅 12.1% 主要连接已有工作，而 47.1% 至 64.2% 的 LLM 想法如此，频率约为人类 4 至 5 倍。额外推理反而强化该模式。 🔗 阅读原文 via AI HOT ·...
OpenAI 5.6 七月推 750 token/秒
所以那是个谎言？ 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaeq2hu03c2rob3gi2tuj3e
环球、索尼、华纳等唱片公司提议将低质 AI 音乐从排行榜中剔除
环球音乐集团、索尼音乐、华纳音乐集团等多家唱片公司提议将低质量的 AI 生成音乐从国际排行榜中剔除。新提议要求歌曲必须满足"实质上由人类创作"等标准，否则禁止进入排行榜；AI 仅起辅助作用的歌曲仍可打榜，但须符合 AI 服务条款且训练数据拥有合法使用权。国际唱片业协会 IFPI 已表态支持，但尚无排行榜机构立即采纳。 🔗 阅读原文 via AI HOT ·...