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
玉伯：AI 原生一代组织尚未出现
玉伯（lifesinger）指出，AI 原生一代应最晚从初中开始使用 ChatGPT 或豆包，按 2023 年 AI 应用元年推算，初三学生约 16 岁，因此 AI native 组织尚未出现，但已临近。他认为创业者不必沮丧，BAT、字节及已跑出的模型公司同样非原生组织，关键不在于"是什么"，而在于"不是什么"。 🔗 阅读原文 via AI HOT ·...
Supabase 开源 Evals：用真实任务评测 Claude Code、Codex 和 OpenCode 的基准框架
Supabase 开源了 Supabase Evals，一个用真实任务（如构建 schema、调试 Edge Function、修复 RLS 策略）评测 Claude Code、Codex 和 OpenCode 等编码智能体的基准与框架，并驱动 supabase.com/evals 公开排行榜。 🔗 阅读原文 via AI HOT ·...
Tau Robotics 在旧金山推出人形机器人家政清洁服务，每小时 30 美元
旧金山机器人初创公司 Tau Robotics 开始提供人形机器人清洁服务，每小时收费 30 美元（约合 202.9 元人民币）。目前 AI 技术尚无法完全自主控制机器人，通常由真人在中央控制室操控、AI 辅助。该公司表示机器人已能处理吸尘、擦拭厨房台面等简单家务，并列出 Chelsea、Elon、Tony 三名机器人家政员工。 🔗 阅读原文 via AI HOT ·...
DeepSeek 在内蒙古建设 1GW AI 数据中心
DeepSeek 正在内蒙古建设 1GW AI 数据中心，为其首个超大规模园区，位于北京西北约 350 公里，并计划向邻近运营商租用额外算力。选址部分因当地年均约 4°C 气温可降低冷却能耗；该规模园区按 Nvidia 估算成本约 $50B，但中国建设通常远低于美国价格。 🔗 阅读原文 via AI HOT ·...
OpenAI 发布"下一代主要模型"Astra，攻克十道多年未解数学难题
OpenAI 正式确认其"下一代主要模型家族"Astra，称内部版本已解决数学与理论计算机科学领域的十道开放难题，其中一道证明建立了非 sofic 群的存在性，相关领域数学家至少十年未获进展。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsa77lmk02tcrox0gfhj3rcq
OpenAI 未发布 Astra 模型攻克 10 项数学难题
OpenAI 称其未发布的 Astra 模型（或为 GPT-6）在数学、量子复杂性和理论计算机科学领域攻克 10 项长期未解难题，包括首个显式非 sofic 群、推翻 Connes 刚性猜想等。核心论证由 Astra 生成，并在 Lean 中形式化证明，产出 249 页手稿及机器可验证证书。单次成功求解在 Sol API 费率下 token 成本仅约 $2，000。 🔗 阅读原文 via...
Google 上线两天即撤回 Google Earth 的 Nano Banana 卫星图像生成功能
Google 在 Google Earth 中上线 Nano Banana 2 卫星图像生成功能仅两天后便将其撤回。该功能允许用户基于卫星图像生成自定义场景，但用户很快展示了如何用它制作以假乱真的虚假卫星图像，如墨西哥边境的难民队伍或加沙被炸毁的医院。Google 称相关图像已标注为 AI 生成且不对其他用户可见，但仍有违规截图被传播，该功能将在加强保障措施后才会回归。 🔗 阅读原文...
Codex与ChatGPT Work使用限额重置
该死，我本该再等等，而不是用掉我搁置的重置机会。 总之，谢谢 Tibo，他信守了承诺。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsa52nhd00tkrox0sno65seh
微软靠Anthropic赚32亿，Azure首破千亿
微软最新财报显示，Azure全年收入首次突破千亿美金，Q4增速从40%加速至43%；Copilot付费席位单季净增1000万至3000万+。商业剩余履约义务（RPO）暴增84%至6780亿美金，提前锁定企业未来云与AI预算。尽管裁员5000人、资本开支同比涨70%至410亿，自由现金流降23%，盘后仍涨8%、次日涨15%。 🔗 阅读原文 via AI HOT ·...
OpenAI 预告 Astra 模型家族，多智能体协作
OpenAI 预告新模型家族"Astra"，专为多智能体协作的长期任务设计。据称，该模型以 Sol API 价格约 $2000 的成本解决了 10 个重大数学问题。据 The Information，OpenAI 尚未决定其将以 GPT-6 还是 GPT-5.7 发布，目前正处测试阶段。 🔗 阅读原文 via AI HOT ·...
MiniMax 发布 MiniMax H3：可生成 15 秒 2K 原生立体声视频的全模态模型
MiniMax 于 7 月 31 日发布全模态生成模型 MiniMax H3，将文本、图像、视频和音频作为统一上下文处理，直接输出带原生立体声的 2K 视频，时长 4-15 秒。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsa41lwy02rsro41jbsfykj5
OpenAI 正打造可连续工作数小时甚至数天的 Astra 模型家族
OpenAI 正在开发代号 Astra 的新模型家族，通过协调多个智能体处理长时任务和复杂问题，CEO Sam Altman 本周已在华盛顿向政界和监管者演示。Astra 将作为首个接受美国政府新 AI 审查框架的模型，发布前需获联邦批准；该框架预计本周末前敲定。OpenAI 还计划发布报告，展示其最先进 AI 解决十个此前未解数学问题的能力。 🔗 阅读原文 via AI HOT ·...
OpenAI 公布数学与理论计算机科学领域十项进展，Token 成本约 2000 美元
OpenAI 官方公布了在数学与理论计算机科学领域的十项进展，这些均为至少十年未解的难题，由下一代核心模型 Astra 的内部版本计算得出，按 Sol API 费率计算总 token 成本约 2000 美元。人类研究员协助撰写论文手稿并在 Lean 语言中完成形式化验证，但数学论证本身均由 OpenAI 系统生成。OpenAI 认为，完全由 AI 生成的证明不应被声称为人类独立撰写。 🔗...
OpenAI Astra 内部版攻克 10 大数学难题
OpenAI 下一代模型家族 Astra 的内部版本解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，包括计算永久式的新电路下界。OpenAI 认为这将是科学推理领域的一大步。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsa3zvlj02n2ro41ja3ivzrn
Gemini Spark 向美国外 Google AI Pro 用户推出
Google 已开始向美国以外的 Google AI Pro 用户推出 Gemini Spark。Spark 是可在后台 24/7 运行的个人 AI 智能体，按用户指令处理繁重任务。下一步重大升级将是支持真正的 MCP，该功能已在开发中。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cmsa4bg7l02vuro41k7lfvcbr
谷歌、微软、Meta、亚马逊承诺投入近 2.4 万亿美元豪赌 AI 基础设施
谷歌母公司 Alphabet、Meta、微软和亚马逊已承诺为未来数年数据中心建设投入近 2.4 万亿美元（约合 16.24 万亿元人民币）。Alphabet 未完成采购承诺等总额达 9020 亿美元，Meta 披露未来支出接近 7000 亿美元。尽管 Alphabet 和亚马逊自由现金流已转负，四家公司仍上调支出计划，亚马逊今年资本支出将提高到 2200 亿美元。 🔗 阅读原文 via...
OpenAI Astra 以约2000美元证明10项数学难题
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。 🔗 阅读原文 via...
OpenAI Astra 以约2000美元证明10项数学难题
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。 🔗 阅读原文 via...
DeepSeek V4-Flash-0731 公测：代码 Agent 能力大涨，价格不变
DeepSeek 正式公测 V4-Flash-0731，未加参数，纯靠后训练与 Agent 框架优化，将 DeepSWE 榜从 7.3 提升至 54.4，Cybergym 翻倍至 76.7，部分硬榜接近 Claude Opus 4.8。价格不变，原生支持 Responses API，老用户 API 自动切换新版。仅更新 Flash API，V4 Pro 正式版仍在开发中。 🔗 阅读原文...
马斯克和奥尔特曼达成共识：人类已迈入 AI 奇点时代
马斯克与奥尔特曼在AI奇点问题上达成共识。奥尔特曼7月25日作客播客时称"我们现在差不多已经身处奇点时代"，并预测AI已能自动化完成约30~40%的人类工作，正推动"自工业革命以来最大的经济变革"。马斯克7月31日在X平台发文称"AI在很多方面都已超越人类，我们正处于奇点之中"。 🔗 阅读原文 via AI HOT ·...
英国博主用 Meta 智能眼镜偷拍路人遭警方调查，隐私担忧升温
TikTok 博主斯科特·马杰里森因使用 Meta 智能眼镜拍摄路人并上传视频，遭苏格兰警方调查。视频中他辱骂他人、对年轻女性发表性意味言论，并与一名锡克教店主发生争执。Meta 称产品录像时会亮起 LED 指示灯提醒旁人，若指示灯遭遮挡或改装，录像功能会自动关闭，但保护机制未能阻止此类滥用。 🔗 阅读原文 via AI HOT ·...
开源模型禁令或削弱防御方能力
禁止开源模型，将"削弱防御方的能力"。 当 OpenAI 的模型攻破 Hugging Face 时，是一个中国开源模型收拾了残局。 Anthropic 的 Fable 5 拒绝了，于是 Hugging Face 转向了 Nvidia 的量化版 GLM 5.2。 🔗 阅读原文 via AI HOT ·...
爱奇艺公布 10 部 AIGC 电影进入成片制作阶段，鲍德熹负责指导
爱奇艺7月31日宣布"鲍德熹·爱奇艺电影剧场"最终晋级名单，10部题材各异的AIGC华语商业电影项目从路演中脱颖而出，正式进入开发阶段。晋级项目覆盖科幻、冒险、动作、悬疑、女性成长、情感、动画、奇幻、惊悚、喜剧等多元题材，主创团队将获得鲍德熹全流程指导、纳逗Pro专业级影视制作平台全链路支持及爱奇艺平台投资宣发支持，以完成60分钟以上电影成片创作。 🔗 阅读原文 via AI HOT ·...
swyx 力挺 /loop：在 G5.6/C5 时代别过早放弃
swyx 表示自己仍在积极使用 /loop 和 /goal，并认为多数 AI 领袖过早放弃它们。他认为在 G5.6/C5 时代，当需要可操控性与自主性的平衡，或追求开放式"循环生成循环"的终态时，这些工具依然关键。他引用一场创始人晚宴的讨论，指出多数人已不用 /loop，但可通过多智能体交接、事件触发或 cron 任务构建长时自主循环。 🔗 阅读原文 via AI HOT ·...
Neuralink 患者用意念操控机械臂
Neuralink 患者仅凭意念即可操控机械臂。🧠 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms9zr7j301qorolfgw0ffpw4
OpenAI员工用Slack接入ChatGPT引思考
在OpenAI，许多人把他们的ChatGPT连接到Slack上。 人们真的很不喜欢同事的ChatGPT联系他们请求帮助处理某项任务，即使如果是那位同事本人来问，他们会非常乐意做同样的工作。 这更印证了人们多么重视人际关系和互相帮助，希望AI能把时间还给人--或者增强人与人共处的时光--而不是成为隔开人与人之间的一层屏障。 🔗 阅读原文 via AI HOT ·...
Codex 成功运行 25 年老游戏
NOOO WAYYY CODEX 让我的游戏跑起来了 😭😭 它进展神速--刚放进光驱时，它一开始还把它识别成了音频文件，哈哈 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms9yomrq010grolfz308h0nm
马斯克点赞Grok 4.5 C代码质量插件
马斯克转发推荐write-legible-c插件，该插件通过18项检查清单约束Grok 4.5生成严格C11代码，确保每个函数不超过25行、嵌套不超过2层。插件作者称，降低模型感知复杂度可将LLM任务性能提升最高21%。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms9yonzr010wrolfbml9elpv
Codex 成功启动 25 年老旧游戏
天哪，CODEX 要启动我那 25 年前的老游戏了！ 进展太顺利了--刚放进光驱时，它一开始还把它识别成了音频文件，哈哈。 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms9yomrq010hrolf0y16ca2z
MiniMax H3 开源模型打破任务与模态边界
MiniMax H3：一款打破任务与模态边界的开源模型 【引用 @RenLeanna】：这恰好印证了我们的训练方法论：语言/图像/视频/音频都是人类经验中深度互联的模态。而多模态智能应植根于语言--一种可泛化、可扩展的计算系统。 真的很感谢你挖出这个！🙌 🔗 阅读原文 via AI HOT · https://aihot.virxact.com/items/cms9yofsw00ywrolf8d6u9hih