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
Chamath 六层 AI 框架：最赚在底层与顶层
Chamath 将 AI 产业链分为土地电力、芯片、云、模型、Harness、应用六层，称当前最赚钱在底层，未来在顶层，中间层对多数人是陷阱。他已与合伙人拿下近 6GW 电力容量，并两年前成立基金 8090 押注 Harness 层，帮企业拥有专有上下文与流程以锁定客户。他认为模型层存在"tokenmaxxing"收入虚高问题，未来应用将转向"定制但可规模化"的软件。 🔗 阅读原文 via...
DeepMind曾造出ChatGPT前身却未发布
Google 太紧张而不敢发布它，DeepMind 也被阻止推出可能颠覆 Google 的产品。 为下一个问你"如果<；现有巨头>；也做这个呢？"的风险投资人收藏这条。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaof80i019xrocc9wbn200b
Cursor 从"使用情况"页面和 CSV 导出文件中移除成本信息
Cursor 已从其"使用情况"页面和 CSV 导出文件中移除成本信息，用户无法再直接查看费用明细。该变动于 8 月 1 日在官方论坛引发讨论，并登上 Hacker News 热榜，获得 114 个 HN 点赞。目前 Cursor 官方尚未说明移除原因或是否提供替代方案。 🔗 阅读原文 via AI HOT ·...
OpenAI Astra 内部版解决 10 大数学难题
OpenAI 下一代模型家族 Astra 的内部版本解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，被视为科学推理的重大进步。主推文指出，找到这 10 个解仅花费约 $2k 推理成本，并对比人类数学家受限于微小搜索预算，而模型可并行保留数千条低概率路径直至产出证明。 🔗 阅读原文 via AI HOT ·...
DeepSeek-V4-Flash-High前端能力惊艳
DeepSeek-V4-Flash-High 模型在前端方面表现出色得离谱。 我跑了一些测试，不得不反复确认自己没选错模型。 这个价格能有这表现，太强了。哇！ 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsanccvn001qrocc4y9hdkz7
Sam Altman 仍在为"用 ChatGPT 育儿"辩护
OpenAI CEO Sam Altman 发帖称，家长可将家庭日历和孩子兴趣接入 ChatGPT Work，让其在每天上学路上生成播客播报孩子日程。《怪诞小镇》创作者 Alex Hirsch 反问"为什么不直接和孩子聊聊"，获 12.2 万赞，远超 Altman 原帖。OpenAI 近期还发布了面向家长的信任敏感型产品经理招聘信息。 🔗 阅读原文 via AI HOT ·...
AMD MI355X 推理性能超越 B200
AMD MI355X 上的 vLLM 已在 Kimi K2.5 上击败 B200 上的 vLLM（与 xAI Cursor Composer 2.5 相同的模型架构）🚀🚨 这使用了来自 @GPU_MODE 社区的上游 AMD 内核。我们在下面解释 👇 1/6🧵 🔗 阅读原文 via AI HOT ·...
Opus 5 单提示词生成 6.9 亿 token 游戏
Opus 5，6.9 亿 token，423 美元，一条提示词。 这款游戏在过去需要投入高昂的开发成本，然后在 Steam 上发售。 如今：一个人，几个小时，小额预算。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsam86eu02j3rodmpg3auqo4
突发奇想，想阅读一下 laper 的代码。 十分钟后：牛逼，这他妈也能运行下去。 （手动百腿母牛图）
突发奇想，想阅读一下 laper 的代码。 十分钟后：牛逼，这他妈也能运行下去。 （手动百腿母牛图） 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsam4jlv02curodmpharsezp
智能体工程与评测是AI构建者核心技能
Elvis Saravia 推荐阅读 Chamath 的 AI 投资指南，强调智能体工程（harness engineering）与评测（evals）是 AI 构建者值得深耕的技能，其机会难以量化。Chamath 认为 harness 层是当前关键，能帮企业掌控专有上下文（数据、工作流、评测与业务规则），实现低模型切换成本；应用层也将长期受益，定制软件将取代"开箱即用"方案。 🔗 阅读原文...
OpenAI Astra 证明非 sofic 群存在等 10 项数学成果
OpenAI 下一代模型 Astra 证明了非 sofic 群存在等多项新数学结果，并发布 10 项完整证明，每项均附带 Lean 证书和 CoT 逐步推演。成果涵盖 von Neumann 代数（推翻 Connes 刚性猜想）、高维球堆积、电路复杂度和多色图单色三角形等方向。 🔗 阅读原文 via AI HOT ·...
OpenAI 持续攻克难题引网友学数学助威
我有点想学数学了，这样当 OpenAI 不断解决各种难题时，我就能和聪明人一起欢呼了。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsal70x801k3rodm3dl7ook0
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 ·...