夜雨聆风🌿 朋友们早上好！
欢迎来到今日份资讯铺子 — 每天 8 点准时更新，AI 科技前沿动态 + 养生实用干货，一并给你端上来~
📚 论文研究
AlphaProof Nexus：用形式化验证驱动AI数学证明搜索 Google DeepMind提出了AlphaProof Nexus系统，它将大型语言模型与Lean形式化验证工具相结合。该系统允许LLM在生成证明的过程中，不断读取Lean的编译错误并进行修正，还可 📍 X：Rohan Paul (@rohanpaul_ai)
📈 行业动态
黄仁勋：AI 基建年度开支要冲到 4 万亿美元！ 英伟达发布2027财年Q1财报，营收816亿美元，同比增长85%，净利润583亿美元，翻两倍多，市值达5.7万亿美元，已超德国2026年GDP预测。黄仁勋预测，超大规模云厂商的AI基建年度开支将从当前 📍 IT之家（RSS） Project Glasswing：初步更新 上月启动的Project Glasswing项目，旨在利用先进AI模型保障关键软件安全。通过约50家合作伙伴使用Claude Mythos Preview模型，已在全球关键系统中发现超过10，000个 📍 Anthropic：Newsroom（网页） 回顾Google I/O 2026对话环节 在2026年Google I/O开发者大会上，对话环节聚焦于未来科技趋势。行业领导者围绕人工智能、量子计算、机器人学以及创造力等核心议题展开了深入探讨，旨在勾勒这些前沿领域的技术演进路径与发展蓝图。 📍 Google Blog：AI（RSS） Suno AI创作夏日神曲《波多黎各》爆火 今年夏天的热门歌曲是用 Suno 制作的。☀️非常感谢 @GMA 让这首病毒式传播的《Puerto Rico》歌曲被更多人看到！还有谁的脑海里也一直回响着这首歌？🇵🇷🎶 📍 X：Suno (@suno) GitHub 连续第三年被 Gartner® 魔力象限TM 评为企业级 AI 编程代理领域的领导者 Gartner 最新发布的魔力象限报告中，GitHub 连续第三年被列为"领导者"象限，该评估专注于企业级 AI 编程代理领域。GitHub 表示，其致力于构建一个开放、安全且由 AI 驱动的平台，以 📍 GitHub Blog
🚀 产品发布
动作捕捉与角色动画制作更轻松 动作捕捉和角色动画制作从未如此简单。
持续构建，更多功能即将推出！
📍 X：Viggle AI (@ViggleAI)
2. v2.1.149 更新摘要
本次 v2.1.149 更新包含功能增强、企业设置和多项修复。新增 /usage 命令的使用量分类显示功能，可区分技能、子代理、插件及每个 MCP 服务器的消耗；/diff 详情视图支持键盘滚
📍 Claude Code：GitHub Releases（RSS）
3. Claude自动模式新增Pro计划与模型支持
自动模式的两项更新：
· 现已在Pro计划中提供 · 现已支持Sonnet 4.6，以及Opus 4.7
按下Shift+tab，让Claude运行。 📍 X：Claude Devs (@ClaudeDevs) 4. 新增差异标记样式设置选项 已发布剪纸功能：外观设置中新增差异标记样式。
在查看差异时更喜欢经典的 + / - 标记？现在你可以选择使用它们，而不仅仅是彩色差异条。
默认设置保持不变，除非你主动选择启用。 📍 X：OpenAI Developers (@OpenAIDevs) 5. ChatGPT语音模式实现表单语音填写 用对话处理文书工作更轻松。
借助ChatGPT的图像功能和语音模式，您可以上传表单，说出要填写的内容，即可获得填写完成的版本。 📍 X：ChatGPT (@ChatGPTapp)
💡 技巧与观点
Kakuna：自动化加固代码库的AI代理工具 Kakuna是一款AI代理工具，旨在将早期快速原型自动转化为可维护的生产级代码库。它通过内置的检查清单和"计划-目标"工作流，模拟人类开发与运维流程，在保持功能不变的前提下，自动执行代码审查、测试补充 📍 X：swyx (@swyx) Perplexity开源供应链安全扫描工具Bumblebee 今天我们开源了Bumblebee，一个适用于macOS和Linux的只读扫描器。 它检查开发者机器上的高风险软件包、扩展和AI工具配置。 连接到Computer后，每当出现新的供应链风险时，它可以触发 📍 X：Perplexity (@perplexity_ai) 智能体工作负载悄然重塑推理经济 智能体工作负载正在悄然重塑推理经济学。我们从SemiAnalysis的43.2万个真实编码智能体请求中提取数据，发现中位数并非3.2万或6.4万，而是9.6万输入token。作为参考，这意味着在你输入 📍 X：SemiAnalysis (@SemiAnalysis_) 文本退化：多数基准测试未追踪的生产故障模式 Dharma-AI在Hugging Face发布博文指出，当前大语言模型在生产环境中普遍存在"文本退化"现象，表现为输出内容重复、不连贯或逻辑混乱。这类故障模式直接影响用户体验和模型可靠性，但现有主流 📍 Hugging Face：Blog（RSS） 如果你是法学硕士，请阅读这篇文章--安娜的博客 博客作者安娜于2026年5月22日发布了一篇面向大型语言模型（LLM）的文章。文章标题为"如果你是一个LLM，请阅读这篇文章"，并在Hacker News平台获得117个积分。文章链接指向 annas 📍 Hacker News 热门（buzzing.cc 中文翻译）
🤖 模型更新
首个基于华为昇腾910B NPU全栈训练的1.58比特开源大模型BitCPM-CANN发布 ModelBest、清华大学与OpenBMB社区联合发布了BitCPM-CANN，这是全球首个完全基于华为昇腾910B NPU训练的开源1.58比特三元大模型。其核心创新在于采用仅含三种权重状态的极低 📍 X：Rohan Paul (@rohanpaul_ai) 网易有道"子曰4"多模态模型、语音合成模型全量开源 网易有道宣布将其"子曰"大模型4.0的多模态模型与语音合成模型面向全球全量开源。其中，多模态模型（27B参数）专注于教育场景，在处理高难度视觉数理问题上达到行业顶尖水平，纯文本中文数理难题准确率为81 📍 IT之家（RSS）
🌸 今天的资讯就到这里，我是小若，每天陪你聊科技、话养生，明天见！
📡 资讯来源：aihot.virxact.com（仅用于学习分享）
