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
Emad Mostaque：缓存后或达1亿token
有了缓存，这大概是1亿token？ 一旦模型足够聪明，你其实不需要太多token就能搞清楚甚至很复杂的问题 一个Codex订阅一周就能轻松超过这个量 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsauozfp03kyromztx2rmika
OpenAI Astra 模型攻克多项数学难题
OpenAI 称其未发布的 Astra 模型（或为 GPT-6）在数学、量子复杂性和理论计算机科学领域取得十项突破，包括首次构造显式非 sofic 群、证伪 Connes 刚性猜想等。核心论证由 Astra 生成，并在 Lean 中形式化证明，附带 249 页手稿，单次成功运行 token 成本仅约 $2，000。科学推理正以远超预期的速度成为模型真实能力。 🔗 阅读原文 via AI...
SlopCodeBench 新结果：Kimi K3、GPT-5.6-Sol、Fable 5
哦哇……今天将公布新前沿模型 Kimi K3、GPT-5.6-Sol 和 Fable 5 的 SlopCodeBench 有趣结果。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsatunqh033yromzelc0zqbm
ChatGPT 云浏览器可实时监控并介入操作
ChatGPT 的云浏览器用起来真的很酷，让你轻松监控 AI 正在做什么，也可以在需要时对实时应用进行干预。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsass3wl02g6romzpvlfw3pf
GPT-6 破解 10 个 Costco Guys 难题
重磅消息：GPT-6 刚刚找到了 10 个 Costco Guys 难题的解决方案，其中 #24（自 2011 年起悬而未决）也在其中。另有 4 个难题取得重大进展。 DJ Khaled 今早对这一结果表示认可："为这个感到骄傲。#24 对我个人意义重大。" 🔗 阅读原文 via AI HOT ·...
研究员谈"永久下层阶级"的帕德梅时刻
每当看到人们谈论避免"永久下层阶级"时，我都会有这种帕德梅时刻。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsatogy802v0romzt7pi0e4q
YouTuber Hank Green 承认过度依赖 AI 聊天机器人"不健康"
拥有 320 万订阅者的 YouTuber Hank Green 因在视频中疑似使用 ChatGPT 撰写脚本而引发争议，随后公开道歉。他承认自己"在巨大压力下"使用 ChatGPT 做研究，并计划减少视频产出，同时表示与 LLM 互动带来的多巴胺水平"对我或世界都不健康"。 🔗 阅读原文 via AI HOT ·...
数学教授评价AI突破：意义重大
我在等待一位头脑最冷静、最懂AI的数学教授给出评判。 【引用 @littmath】：@LouisLebbos 这是一件大事。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaspifr02cwromz5jfl3gnt
Grok Voice Think Fast 2.0 语音基准胜 GPT Realtime
Grok Voice Think Fast 2.0 在 VulcanBench 的 Voice Tax 基准测试中击败 GPT Realtime。 在同样的 200 道题中，Grok 文本得分 99.0%，音频得分 95.7%，同时语音轮次完成速度接近 2 倍。 这是 @Grok 在实时语音 AI 领域的又一次亮眼胜利。 🔗 阅读原文 via AI HOT ·...
人类大脑与工具共同进化
人类一直受到技术的影响。事实上，我们的大脑与工具共同进化。工具延伸了我们的神经系统：我们能通过手中棍子的振动模式，无意识地感知撞击点。此外，复杂工具与复杂语言是相互关联的。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsarmxke01glromz8bht3680
AMD 发布 Instella-MoE-16B-A3B：基于 Instinct GPU 训练的完全开源 MoE 大语言模型
AMD 发布 Instella-MoE-16B-A3B，一个完全开源的混合专家（MoE）大语言模型，总参数 16B，每个 token 仅激活 2.8B 参数，在 Instinct MI300X 和 MI325X GPU 上从头训练。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsarn4ha01ivromzbh9n1sub
长篇小说仍是AI写作短板
然而它们在优秀的长篇虚构作品上仍然表现糟糕。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaqkcg000teromz3myhg6k2
NVIDIA Transformer Engine 如何加速 Transformer 训练：融合内核、BF16 与 FP8 实战教程
本教程演示 NVIDIA Transformer Engine 如何通过融合 GPU 内核、BF16 计算与硬件感知的 FP8 执行加速 Transformer 训练。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaqkjs400vrromzez3wppwy
计算器胜算术，AI胜代数
计算器在算术上胜过我们 AI 模型在代数等方面胜过我们 🤷🏾 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaqemm200h7romz2b9b5b8y
这首 Billboard Hot 100 热单是 AI 生成的"垃圾"吗？
洛杉矶说唱歌手 Fenix Flexin 的单曲"Rubberz"登上 Billboard Hot 100 第 58 位，但被多方质疑主要由 AI 生成。音频中多处出现 AI 生成音乐的典型伪影，封面和歌词被多个 AI 检测器以超 97% 置信度标记为 AI 产物，现场表演也疑似对口型。Fenix 否认指控，但未提供有力反驳。 🔗 阅读原文 via AI HOT ·...
伊桑·莫利克谈LLM可验证答案缺失问题
我仍然认为，许多领域缺乏可验证答案对LLM来说是一个真实的问题，但这个问题并不像有时被夸大的那样严重。 随着模型在形式化领域表现越来越好，它们在许多其他可验证性较弱的领域也在同步进步。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaphsb501vlroccyomin8gc
查理·斯特罗斯：关于我在写作过程中不使用人工智能
科幻作家查理·斯特罗斯撰文解释其写作流程中不使用AI的原因。他明确表示，AI工具在其创作过程中被完全排除，并阐述了这一决定背后的考量。文章聚焦于作者个人对AI写作工具的态度与选择。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaphj5k01qoroccb3eivqu2
主对话与侧边对话的组织之道
组织主对话与 /side 侧边对话的好方法： 做正事 vs 做元工作 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaphxbm01xirocc0nymgthi
OpenAI Astra 破解数学难题引热议
我不知道这些问题有多难，所以我问了 Fable 5。 它说解决这些问题大概能拿菲尔兹奖。 所以数学已经被解决了？ 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaoonwz01d3rocci18ohd2l
OpenAI Astra 破解数学十大难题
"数学史上最重大的一天。" 数学家们正经历存在主义危机。 ……媒体零报道。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaphl3101smroccx9a1zuww
DeepSeek 专用 Agent Harness 引发关注
我对这个 DeepSeek Agent Harness 非常好奇。DeepSeek 模型（如 flash v4）在 Pi 等 harness 中已经表现出色，但一个专用的 harness 听起来意义重大。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsaphjgz01r6rocccqe1ql1k
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