主题

阿里云发布Qoder企业版，推出云端知识库QMind与Credits资源池

阿里云正式发布Qoder企业版，为企业提供名为QMind的个人云端知识库，支持跨产品、跨设备、跨人员的知识共享功能。同时，该版本引入了资源池化的Credits付费模式，企业管理员可根据实际需求，动态地为团队成员分配使用额度，以提升资源管理的灵活性和效率。

艾逗笔 cconline.sh 全面转向 Serverless 架构，实现存算分离

cconline.sh 已完全迁移至 serverless 架构，不再为每个用户分配独立沙箱，而是采用会话隔离并动态挂载沙箱进行 Agent 运算。对话记录存储于 D1，工作区文件存放于 R2，计算任务由 Worker 处理，所有服务均部署在 Cloudflare 上，利用边缘计算提升速度并降低成本。该平台在浏览器端运行 Claude Code，支持 BYOK 使用自有模型，将通用 Agent 的存算分离架构实践得较为彻底。平台无需本地编程工具，适合希望随时通过网页开发小产品的用户，强调零基础使用和零门槛上手。

AI仅用28个GPU时发现4种全新超导体，效率超越人类百年研究

研究人员利用人工智能技术，仅消耗28个GPU时便成功识别出4种此前完全未知的全新超导体材料。这一发现效率远超传统实验方法，在超导材料探索领域实现了重大突破，展示了AI在加速科学发现方面的巨大潜力。

海光信息与数字电网共建电鸿数智创新联合实验室

近日，海光信息与南方电网数字电网科技（广东）有限公司共同成立了“电鸿数智创新联合实验室”。双方将围绕电力AI、行业操作系统适配及自主算力平台建设展开长期合作。实验室将依托海光CPU+DCU“双芯”架构，结合电鸿PES系统，重点攻关国产软硬件兼容适配、系统性能优化以及电力行业大模型落地等关键技术，并面向电网智能决策、实时仿真、自动化运维等典型场景持续开展联合创新。

WorldClaw与百度智能云战略合作，文心5.0系列登陆WorldRouter

WorldClaw与百度智能云宣布达成战略合作，百度文心大模型5.0系列将正式登陆WorldRouter平台。此次合作旨在整合双方技术优势，推动大模型在更广泛场景的应用与部署。

免费使用Fable 5 AI模型与Cursor的性价比方案

作者超级峰分享了一种免费使用Fable 5 AI模型的方法，结合Cursor工具实现高性价比的应用。据称，每次使用仅需消耗一次次数，具体操作细节可参考其发布的最新视频教程。该内容通过小红书平台传播，提供了相关链接和访问口令。

GitHub Copilot 接入首个开源模型 Kimi K2.7

月之暗面公司宣布，其开发的 GitHub Copilot 已成功接入首个开源模型 Kimi K2.7。此举标志着 GitHub Copilot 在模型选择上开始引入开源生态，为用户提供了除原有闭源模型之外的新选项。具体的技术集成细节、性能表现以及对开发者工作流的影响，有待进一步观察和评估。

中国跨界团队将黄仁勋Physical AI理念引入生命科学实验室

一家中国跨界研究团队将英伟达CEO黄仁勋提出的Physical AI概念应用于生命科学实验领域。据第三方评测显示，其相关技术成果在特定任务上超越了OpenAI当前最强旗舰模型GPT-5.6 Sol的性能表现，展现了AI与物理世界及生命科学交叉融合的新进展。

Right to Local Intelligence：本地智能权利宣言

Right to Local Intelligence 是一项倡导本地智能权利的运动，旨在推动个人和社区拥有在本地设备上运行人工智能模型的权利，减少对中心化云服务的依赖。该运动强调隐私保护、数据自主和计算主权，鼓励开发者和用户支持开源模型与本地部署方案。目前已在技术社区引发讨论，获得上百点赞和数十条评论，反映出对去中心化AI治理的广泛关注。

短绳AI编码方法：击败Fable的编程策略

本文介绍了一种名为“短绳”的AI辅助编程方法，旨在帮助开发者更有效地利用AI工具完成编码任务，特别是针对Fable这类挑战。该方法强调对AI生成代码的紧密控制和即时验证，通过分步指导、实时反馈和严格测试来确保代码质量与安全性。文章在Hacker News上引发热议，获得120个赞和139条评论，反映了开发者社区对AI编程实践的高度关注。

Postgres 事务：分布式系统的超级能力

DBOS 博客文章探讨了将工作流状态与数据共置在 Postgres 中的优势。Postgres 的事务特性，如 ACID 保证和可序列化隔离级别，使其成为构建可靠分布式系统的强大基础。通过将应用状态直接存储在数据库中，可以简化架构、减少网络开销，并利用数据库的内置一致性机制来管理复杂的分布式工作流。该文章在 Hacker News 上获得 160 分和 65 条评论，引发了技术社区的广泛讨论。

使用DSPy评估与优化Datasette Agent的SQL系统提示

本文介绍了如何利用DSPy框架来评估和改进Datasette Agent的SQL系统提示。DSPy作为一个用于优化语言模型提示的编程框架，能够帮助开发者通过系统化的方法测试不同提示策略对Datasette Agent生成SQL查询性能的影响。通过该方法，可以更客观地衡量提示的有效性，并基于评估结果迭代优化提示设计，从而提升Agent处理自然语言到SQL转换的准确性和可靠性。

zkGolf：基于LLM的形式化验证电路优化竞赛

zkGolf项目通过形式化验证与大型语言模型（LLM）结合，探索零知识证明（ZKP）电路的自动化优化。团队首先在Lean中为SHA-256压缩编写形式化规范，引导LLM生成并优化R1CS算术化电路，以降低约束数量为目标。LLM在优化过程中能自主提出方案、验证正确性，并在无法证明时回溯调整，最终得到了超越当前人工优化水平的SHA-256压缩电路。该项目现已开放为竞赛平台zk.golf，旨在推动形式化验证电路的发展，降低ZKP应用门槛并提升效率。

Immich 3.0 发布：开源自托管照片备份方案重大更新

开源自托管照片与视频备份解决方案 Immich 发布了 3.0 版本。该版本引入了多项关键更新，包括全新的照片查看器、改进的搜索功能、增强的元数据管理以及性能优化。作为 Google Photos 的开源替代品，Immich 允许用户完全控制个人数据，并支持在私有服务器上部署。此次大版本更新在开发者社区（如 Hacker News）引发了广泛讨论，获得了 311 个赞和 156 条评论，显示出项目活跃的社区生态和用户关注度。

OpenClaw与Claude代码助力自动化约会脚本

Ben Guez利用OpenClaw、Claude代码和Instagram试用功能，开发了一个自动化脚本，成功在Instagram上吸引了大量潜在的国际约会对象。该脚本通过自动化操作，帮助用户在社交媒体上扩展社交网络，展示了AI工具在个人社交场景中的应用潜力。

AReaL 2.0开源：打造面向自演进智能体的RL基础设施

AReaL 2.0作为强化学习基础设施正式开源，旨在与社区共同推进自演进智能体生态的发展。该项目专注于为智能体提供持续学习和自我优化的能力，通过构建可扩展的RL框架，支持智能体在复杂环境中实现长期性能提升与自主演进。

PeerTube：免费、去中心化与联邦化的视频平台

PeerTube 是一个基于 ActivityPub 协议的开源视频平台，旨在提供去中心化、联邦化的视频托管与分享服务。用户可自建实例并与其他实例互联，形成联邦网络，避免依赖单一中心化服务器。该项目在 GitHub 上开源，获得了社区广泛关注，相关讨论热度较高，体现了对替代性视频分发模式的探索。

全球首个无英伟达硬件的万亿参数模型，成海外开发者热门选择

一款完全未使用英伟达硬件的万亿参数模型在海外开发者社区引发关注，成为热门选择。该模型在OpenR排行榜上表现突出，展示了在非英伟达硬件生态下实现大规模模型训练与推理的可行性。这一进展为开发者提供了更多硬件选择，可能推动AI基础设施的多元化发展。

推荐理由：我认为所有关注算力成本和硬件锁定的AI开发者都该看看这个——它证明了不用英伟达也能跑万亿模型，直接抄作业就能打破生态依赖。

科大讯飞智能交互生态发布会：三大平台同步升级

科大讯飞举办了智能交互生态发布会，宣布对其三大平台进行同步升级。此次发布聚焦于智能交互技术的生态构建与平台能力提升，具体升级细节未在摘要中披露，但表明公司在持续推进其AI产品与服务的迭代。

可搜索的2.2万+员工所有制合作社产品目录

一个名为workerowned.info的网站上线，收录了超过2.2万个来自员工所有制合作社的产品，并提供搜索功能。该网站已在Hacker News上引发关注，获得389个赞和78条评论。网站旨在帮助用户发现和支持由员工共同拥有和管理的企业所生产的商品。

PieterPost MCP：开源AI代理协作平台

PieterPost MCP 是一款基于模型上下文协议（MCP）的开源AI代理协作平台，旨在促进不同AI代理之间的高效通信与任务协调。该平台通过标准化接口简化了代理集成流程，支持开发者构建复杂的多代理系统，适用于自动化工作流、数据分析及智能助手等场景。其开源特性鼓励社区贡献与生态扩展，为AI代理技术的实际应用提供了基础设施支持。

PixFit：AI 图像生成与编辑工具

PixFit 是一款 AI 驱动的图像生成与编辑工具，用户可通过自然语言描述快速创建或修改图像。该工具支持多种风格与分辨率调整，适用于设计、营销、内容创作等场景。目前已在 Product Hunt 平台上线，提供在线演示与用户讨论社区。

LLM陷入群体思维困境，初创公司寻求破局之道

当前主流大语言模型（如Claude、ChatGPT、Gemini）在生成随机数等任务中表现出明显的模式化倾向，例如在1到10之间生成随机数时，首次请求常返回7，后续请求则倾向于3、4、8或9。这种现象揭示了模型训练数据与算法可能导致的“群体思维”局限。一家初创公司正致力于通过技术创新，帮助大语言模型突破这种固有模式，提升其输出的多样性与随机性，以更贴近人类思维的灵活性与创造性。

Meta效仿SpaceX，计划将过剩AI算力变现

Meta正在制定一项云基础设施业务计划，旨在向外部客户出售其AI算力和模型的访问权限。此举将使Meta直接与亚马逊AWS、谷歌云和微软Azure等大型云服务提供商展开竞争。该战略类似于SpaceX利用其星链卫星网络提供商业通信服务的模式，核心是利用公司自身在AI训练和推理过程中可能产生的过剩计算资源，开辟新的收入来源。

白描App九周年：鸿蒙版发布，白描PDF共创首发

白描App于2017年6月21日上线，最初定位为解决日常文字识别需求，如从照片中提取读书笔记。在九周年之际，该应用推出了鸿蒙版本，并首次发布了白描PDF共创功能，标志着产品在跨平台适配与文档处理能力上的进一步拓展。

Context.dev：AI 驱动的代码上下文管理平台

Context.dev 是一个专注于代码上下文管理的 AI 平台，旨在帮助开发者更高效地理解和处理复杂的代码库。它通过智能分析代码结构、依赖关系和变更历史，为开发者提供精准的上下文信息，从而提升代码审查、调试和协作的效率。该平台支持集成到现有开发工作流中，并利用 AI 技术自动提取和关联关键代码片段，减少上下文切换带来的认知负担。

Anthropic Claude Fable 5 获准恢复上线

经过数周与特朗普政府的谈判，Anthropic 宣布将恢复 Claude Fable 5 的访问权限。该公司在 X 上表示，计划于周三开始在全球 Claude 平台上逐步恢复用户访问，并将在 AWS、Google Cloud 和 Microsoft Foundry 上重新启用服务，但未给出具体时间表。Anthropic 称已收到美国商务部解除对 Claude Fable 5 和 Mythos 5 出口管制的通知，并对用户的耐心表示感谢。

早报｜iPhone 18 Pro大规模泄露/SK海力士赴美IPO/Claude Sonnet 5上线

科技早报摘要：苹果iPhone 18 Pro设计细节遭大规模泄露；韩国芯片制造商SK海力士正式启动赴美IPO进程；Anthropic公司正式发布Claude Sonnet 5模型。其他动态包括：WPS官方回应了其软件被指占用C盘大量空间的争议；网易宣布旗下CC直播平台将于8月31日停止运营；AI芯片公司寒武纪股价上涨，盘中市值一度突破1万亿元人民币。

Anthropic 引述：Simon Willison 的科技观察

科技博主 Simon Willison 在其个人网站发布了以“Quoting Anthropic”为标题的简短文章，内容仅包含标题，未提供详细正文。该文章可能涉及对 Anthropic 公司或其相关技术的引用或评论，但具体细节未公开。Anthropic 作为 AI 领域的重要参与者，其动态常受行业关注，但本文未展开进一步说明。

开源Agent程序OpenClaw正式登陆Android与iOS平台

免费开源Agent程序OpenClaw现已正式在Android和iOS移动平台上线。该程序采用开源模式，旨在将Agent能力扩展至智能手机端，为用户提供新的移动端交互体验。

Clusy：AI 驱动的社区讨论与链接聚合平台

Clusy 是一款基于 AI 技术构建的社区讨论与链接聚合平台，旨在帮助用户高效发现、组织和参与有价值的在线讨论。该产品通过智能算法聚合来自 Product Hunt 等平台的优质内容链接，并围绕特定主题形成结构化讨论，提升信息获取与协作效率。目前平台已上线，主要面向科技爱好者、独立开发者和社区管理者。

13岁少年用AI工具打造蚂蚁群落追踪应用

一位13岁少年为追踪自己的蚂蚁群落（包括生长、喂食、湿度等指标），在AI工具的辅助下独立开发了完整的应用，其父亲仅协助部署到服务器。该应用已在Hacker News上引发讨论，获得73个赞和52条评论。

Bamboo：AI 驱动的 Markdown 笔记工具

Bamboo 是一款集成 AI 功能的 Markdown 笔记应用，旨在提升用户的笔记效率与组织能力。该工具可能利用人工智能辅助内容生成、智能整理或知识管理，帮助用户更高效地记录和结构化信息。目前产品已在 Product Hunt 平台发布，供用户探索和讨论。