全部动态

超级峰：自由时间红利，运动如何激发AI与创意工作者的思维活力

作者超级峰在AI探索站分享，拥有完整自由时间时，最值得利用的红利是自主安排运动。他指出，运动不仅能强身健体，还能加速大脑运转、激发创意，使思维更灵活，尤其对从事AI、产品、创作的人而言，许多想法常在运动、出汗或散步中涌现。运动带来的正反馈周期短，当天即可改善状态，有助于维持长期作战能力并提升思维活跃度。他建议尚无明确目标者，可优先建立个人运动系统，通过运动收获更健康的身体和更活跃的大脑。

AGENT橘：Loop Engineering 中 user in the loop 最关键也最具挑战

AGENT橘在AI探索站分享观点，指出在Loop Engineering（循环工程）中，最重要也最困难的部分是确保user in the loop（用户参与循环）。他强调，除非产品并非为用户设计，否则用户参与是核心挑战。这一观点突显了在AI代理或系统开发中，将用户有效整合到反馈与迭代循环中的关键性。

超级峰：AI最适合爱折腾、有想法、愿卷自己的群体

超级峰在AI探索站分享观点，认为AI最适合那些热爱折腾、每天有新想法且愿意自我驱动的群体。这类人能够灵活切换路径，多头并进，利用AI极大拓宽能力边界。他强调，无论做内容还是产品，都需要围绕核心搭建自己的小生态，而AI正赋予更多人构建个人生态的能力。

英伟达前光互连高管Ashkan Seyedi加入艾迈斯欧司朗

艾迈斯欧司朗于7月2日宣布，任命英伟达前光互连技术高管Ashkan Seyedi为光互连业务线副总裁兼总经理。Seyedi此前在英伟达负责光互连技术研发，专注于AI集群和数据中心的高速光通信技术。他将负责推动公司面向下一代AI数据中心的光互连技术发展。

三星获Meta超10万亿韩元AI芯片代工订单，2纳米工艺订单看涨

据报道，三星电子正成为全球科技巨头自研AI芯片（ASIC）的核心生产基地，其中长期积压订单有望逼近50万亿韩元。Meta正与三星晶圆代工合作，设计并生产价值超10万亿韩元的下一代ASIC，其自研AI加速器“MTIA”已锁定三星为合作伙伴，计划采用2纳米尖端工艺量产数十万组。同时，美国AI公司Anthropic也在评估使用三星的2纳米工艺开发芯片。

韩国联合三星、SK等企业推出312万亿韩元投资计划，重点布局半导体与航天产业

7月3日，韩国副总理兼企划财政部长官具润哲宣布，将推动各大企业在东南部（岭南地区）投资超过312万亿韩元（约2040亿美元），以发展先进制造和AI产业。具体规划中，SK集团、三星、韩华及现代汽车将分别投资约140万亿、60万亿、55万亿和42万亿韩元，重点布局半导体、AI和航天等领域；LG与斗山也将跟进投资。此外，韩国还公布了以泗川为核心的国家航天战略，旨在打造南部沿海航天产业带。

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

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

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

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

开源AI助手技能集：设计、阅读与自媒体运营三大方向

开发者“空格_”在GitHub上开源了三个方向的AI助手技能集，共计40个Skill。design-buddy包含19个技能，专注于视觉设计、排版、品牌、图表及PPT制作等任务。read-buddy提供16个技能，用于处理网页、RSS、YouTube视频、播客及文档的信息读取与摘要生成。creator-buddy则包含5个技能，支持小红书、公众号、B站等平台的热点搜索、爆款分析及内容运营。这些技能既可独立使用，也可串联协作，例如从信息读取到内容分析，再到视觉设计，形成完整的工作流。

三星4nm产能售罄，8nm满负荷，AI芯片需求重塑代工格局

据ChosunBiz报道，三星电子晶圆代工部门已调整供货策略，优先处理现有客户订单并选择性接受新客户。行业分析师指出，人工智能市场的爆炸式增长正改变晶圆代工需求结构，需求从智能手机应用处理器转向AI加速器芯片、ASIC芯片和高性能计算芯片。目前，三星的4nm工艺产能已基本售罄，甚至明年的产能也已预订完毕，部分8nm工艺产能也接近满负荷运转。

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

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

宁德时代入股人形机器人技术商萝博派对

天眼查信息显示，上海萝博派对科技有限公司近日发生工商变更，新增宁德时代旗下宁波梅山保税港区问鼎投资有限公司为股东，公司注册资本由约218.1万元增至约225.7万元。该公司成立于2025年2月，专注于双足人形机器人技术的研发、制造与销售，经营范围涵盖智能机器人、工业机器人及服务消费机器人等领域。目前，公司由上海萝博特企业管理咨询合伙企业、瀚星创业投资有限公司及宁德时代旗下投资公司等共同持股。

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

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

韩华集团计划2040年前在航空航天与AI领域投资55万亿韩元

韩国最大国防和航空航天企业韩华集团于周五宣布，计划到2040年在航空航天和人工智能领域投资55万亿韩元（约合356亿美元）。该投资将主要用于开发运载火箭、卫星以及建设AI数据中心。这一举措标志着韩华集团在高端科技领域的战略布局，旨在强化其在全球航空航天和AI技术市场的竞争力。

比依股份在浙江成立机器人科技公司，注册资本5000万

天眼查App显示，浙江致衡机器人科技有限公司近日成立，法定代表人为闻继望，注册资本5000万人民币。该公司由比依股份全资持股，经营范围涵盖智能机器人销售、工业机器人销售、智能机器人研发以及人工智能应用软件开发等领域。

阿里内部全面禁用Claude Code，因存在植入后门安全风险

据36氪报道，阿里内部人士透露，由于近期Claude Code被曝存在植入后门的安全风险，阿里经综合评估后已将其列入高风险软件名单。自7月10日起，阿里将全面禁止内部员工在办公环境下使用Claude Code，并推荐使用Qoder作为替代方案。

三星电机计划至2040年在釜山投资15万亿韩元建AI数据中心封装基板与MLCC产线

三星电机宣布，计划到2040年在釜山投资15万亿韩元（约合110亿美元），用于建设人工智能数据中心封装基板和多层瓷介电容器（MLCC）母生产线。该投资旨在强化公司在AI相关核心电子元件领域的生产能力，以应对数据中心和高端电子设备市场对先进封装与被动元件的增长需求。

韩国计划投入9.9万亿韩元，推进AI基础设施与自主模型开发

韩国科学技术信息通信部副部长宣布，政府正战略性地重新审视自主人工智能基础模型的构建，并将推进以AI基础设施、物理AI及自主模型能力为核心的大规模项目。为实现跻身全球前三AI强国的目标，韩国今年将AI预算大幅提高至9.9万亿韩元，约为去年的三倍。政府计划扩大AI数据中心建设，预计到2029年建成8.4吉瓦容量，到2035年再新增10吉瓦。同时，韩国设定了到2030年在物理AI领域跃居全球第一的目标，并将推进“全民AI”项目，确保所有公民都能使用AI服务。

优必选与烟台国资合资成立智能机器人公司，注册资本3200万元

天眼查App显示，7月1日，蔚蓝优智科技（烟台）有限公司正式成立，法定代表人为李海明，注册资本达3200万元人民币。公司经营范围涵盖智能机器人的研发、销售以及服务消费机器人制造等。股权结构显示，该公司由烟台深蓝人才发展集团有限公司与优必选共同持股。

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

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

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

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

WAIC 2026算力展望：超节点与光互连能否突破单芯片物理极限？

2026年世界人工智能大会（WAIC）于7月17日至20日举行，核心议题聚焦于未来算力发展。面对单芯片性能提升面临的物理瓶颈，大会探讨了通过构建“超节点”集群与采用先进光互连技术来突破算力天花板的新路径。这些技术旨在通过系统级架构创新，而非单纯依赖芯片制程微缩，来满足下一代AI模型对海量计算资源的需求。

世界模型新用途：从选手转型裁判，革新AI评估范式

量子位报道指出，世界模型正从传统任务执行者转向评估者角色。这一转变意味着世界模型不再直接参与任务，而是作为裁判或评估工具，用于衡量其他AI系统的性能与行为。该应用有望为AI评测、安全对齐及系统验证提供新的方法论，推动行业在模型评估与监管方面的发展。

宇树科技科创板IPO获批，SK海力士市值单日蒸发万亿，霸王茶姬0元抢购致歉

证监会同意宇树科技科创板IPO注册，该公司成为全球首家在IPO前实现人形机器人规模化盈利的企业，审核仅用时104天。同日，亚太股指重挫，SK海力士股价下跌超14%，单日市值蒸发约1万亿元人民币。此外，霸王茶姬因线上点餐小程序配置失误，导致新品以0元标价引发抢购，公司已致歉并取消相关订单，补偿用户三张0.01元兑换券。

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

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

扎克伯格内部坦言：AI Agent 进展未达预期

据 TechCrunch 报道，Meta CEO 马克·扎克伯格在一次内部会议上向员工表示，公司在人工智能（AI）领域的开发进展并未像他此前预期的那样快速。他特别提及了 AI Agent（智能体）的发展速度未达目标。这一表态反映了当前 AI 技术，尤其是旨在执行复杂任务的智能代理系统，在实现商业化或广泛部署方面可能面临的挑战与瓶颈。

crustc：将 Rust 编译器 rustc 完整翻译为 C 语言

开源项目 crustc 旨在将 Rust 编程语言的官方编译器 rustc 的完整代码库翻译为 C 语言实现。该项目在 Hacker News 上引发关注，获得 231 个投票和 39 条评论。这一尝试涉及将 Rust 的核心编译器逻辑、类型系统和借用检查器等复杂组件转换为 C 代码，可能用于研究、教育或特定场景下的编译器工程实践。

Jersey Mike's IPO 文件揭示AI炒作泛滥现象

作者出于好奇查阅了美国三明治连锁店Jersey Mike's的IPO文件，发现这家餐饮企业在招股书中也提及了人工智能（AI）。这一现象被用来举例说明当前AI概念的过度炒作已蔓延至与科技关联度较低的行业，引发对市场泡沫化的担忧。

llm-coding-agent 0.1a0 发布

Simon Willison 宣布推出 llm-coding-agent 0.1a0 版本。该工具旨在作为基于大型语言模型的编码代理，帮助开发者自动化编程任务。目前版本为早期 alpha 阶段，标志着项目进入初始开发与测试期。

推荐理由：我认为这是 Simon Willison 刚发布的 LLM 编码代理早期版本，适合想尝鲜自动化编程的开发者，可以直接上手测试，看看它如何把大模型变成你的编码助手。

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

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

Claude-real-video：让任意大语言模型都能“观看”视频

开源项目 Claude-real-video 发布，旨在使任何大语言模型（LLM）具备视频理解能力。该项目在 Hacker News 上获得 123 分，引发 39 条讨论。其核心思路是通过技术方案处理视频数据，并将其转化为 LLM 能够解析的格式，从而扩展模型的多模态应用场景。

Meta 低调推出 AI 游戏生成应用 Pocket

Meta 近日悄然发布了一款名为 Pocket 的实验性 AI 应用。该应用允许用户通过文本提示来生成并分享交互式迷你游戏。目前，Pocket 已在特定应用商店上线，标志着 Meta 在 AI 驱动的游戏创作与社交分享领域的一次新探索。

Anthropic 与三星洽谈定制 AI 芯片合作

继 OpenAI 与博通宣布合作开发定制 AI 芯片约一周后，Anthropic 被曝出正与三星电子就开发新的定制芯片进行讨论。此举表明，领先的 AI 公司在核心硬件层面寻求更多自主权和控制力，以减少对英伟达等传统芯片供应商的依赖，并可能优化其模型运行的成本与性能。

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

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

ctx：本地搜索编码代理历史记录的Rust CLI工具

ctx是一个Rust命令行工具，旨在解决编码代理缺乏长期记忆的问题。它将存储在用户机器上的代理对话记录和日志导入结构化的SQLite数据库，并通过排名文本匹配进行搜索，整个过程完全本地化，无需图数据库或托管记忆服务。开发者通过让代理在开始任务前搜索历史记录，可避免重复错误，例如当测试运行因磁盘空间不足失败时，代理能快速找到先前的工作方案。此外，ctx还能生成简洁的会话记录供分享，并支持利用历史数据递归改进代理驱动的软件开发生命周期。

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

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

AI 赋能运营卓越：从精益六西格玛到智能流程管理

本文探讨了人工智能如何继承并发展精益六西格玛和业务流程管理等传统运营框架，以应对复杂运营挑战。传统方法强调统计严谨性、质量控制和端到端的跨部门工作流映射，提供了可重复的优化路径。AI 技术通过数据驱动分析、自动化与智能决策，有望为混乱、庞杂的运营带来新的清晰度与结构化秩序，推动运营效率与质量的持续提升。

OpenAI 提议将 5% 股权捐赠给美国主权财富基金

据报道，OpenAI CEO Sam Altman 已提议将公司 5% 的股权捐赠给一个美国主权财富基金。此举旨在重启关于让公众分享人工智能繁荣所带来的财务收益的讨论，探索一种让社会更广泛地从 AI 技术进步中获益的潜在机制。

Slopo：基于嵌入模型的非精确代码重复检测 CLI 工具

开发者 Rafal-qa 在 GitHub 上开源了 Slopo，这是一个命令行工具，旨在利用嵌入模型检测代码中的非精确重复片段。项目在 Hacker News 上获得 80 点热度并引发 35 条评论。该工具通过语义相似度分析，能够识别功能相似但写法不同的代码块，帮助开发者优化代码结构、减少冗余。

证监会同意宇树科技科创板IPO注册；Meta算力出售被指误读

证监会已同意宇树科技股份有限公司在科创板首次公开发行股票的注册申请。同时，针对近期Meta对外出售算力导致A股科技股大跌的现象，多位业内人士指出，市场对算力过剩的解读属于误读，此举实际标志着AI基础设施商业模式的成熟，而非AI资本支出的结束。此外，抖音电商上线了‘肖像保护功能’，利用AI模型主动识别并拦截交易类侵权内容；北京君正表示DRAM价格预计在三季度继续上调。