Kimi K3爆火致算力告急，新用户订阅暂停
界面新闻记者 | 查沁君 界面新闻编辑 | 文姝琪 因需求激增，Kimi K3发布不足一周，月之暗面便紧急暂停新用户注册。 7月19日晚，月之暗面宣布，受算力资源限制，暂时关闭新用户订阅通道，优先保障现有用户的稳定服务。 7月20日，月之暗面向界面新闻回应称，此次调整仅限新用户接入，老用户权益不受影响，原有套餐继续有效，自动续费功能正常运行。 针对此前手动关闭自动续费的老用户，公司将逐步恢复续订选项，套餐升级功能也将陆续开放；新套餐因算力不足暂未上线，具体恢复时间尚未公布。 从官方表态看，此举实为在有限资
伯纳姆或开放北海油气开发，特朗普称将助英致富
美国总统特朗普称，有消息称伯纳姆或将支持北海新一轮油气开采，苏格兰阿伯丁民众会为此 “走上街头欢庆”。 目前有消息称伯纳姆考虑批准北海罗斯班克油田、寒鸦油田新增化石燃料开采项目，但伯纳姆本人并未证实该消息。 不过特朗普周日在自家社交平台 “真实社交” 发帖，声称伯纳姆已表态会放开开采。特朗普发文写道：“苏格兰阿伯丁民众都要上街狂欢了，因为新任首相安迪・伯纳姆宣布，将全面开发价值不可估量的北海石油！” 这位长期公开力挺化石能源的美国总统表示，扩大北海开采能让英国从 “深陷贫困的灾难国家，蜕变为全球最富庶的国
AMD发布ROCm 7.14支持Ryzen AI MAX PRO 400
ROCm是AMD专为AI与高性能计算打造的开源软件平台，在其AI布局中持续发挥核心作用。新版全面支持即将上市的芯片，提供优化的库、AI框架、性能分析工具及GPU计算能力。这些工具是开发者运行机器学习、内容创作和科学计算任务的关键组件。对Gorgon Halo Pro芯片的官方支持，使开发者能在产品发布前完成应用优化，避免上市后仓促适配。此次更新还强化了开发工具链支持。ROCm系统分析器与ROCm计算分析器现已兼容Ryzen AI MAX PRO平台，计算分析器新增对Strix Halo与Strix Poi
AI编程与具身智能：行业整合加速
7月19日，OpenAI 宣布收购德国初创公司 Ona（前身为 Gitpod）。Codex 的周活用户已突破 500 万，但一直有个痛点：关闭电脑后，任务就会中断。Ona 的云端开发环境正好弥补这一不足——以后你可以在睡前交付一个大型重构任务，醒来查看结果。这是 7 月 AI 编程领域的第三起重大整合：SpaceX 以 600 亿美元收购了 Cursor，Anthropic 推出了 Ode 企业驻场工程师，现在 OpenAI 补全了 Codex 的持久化能力。值得关注：行业竞争已从“谁的模型更强”转向“谁
重庆春之翼党支部丨智能驱动下的自动化代码审计：引领软件开发新篇章
在当今飞速发展的数字化时代，软件开发已成为驱动各行业创新的核心引擎。然而，随着项目规模不断扩大和技术架构日益复杂，如何高效保障代码质量成为开发者共同面对的重要课题。为破解这一困境，研究院项目团队自主研发了“智能驱动-代码审计”系统，不仅大幅提升了代码审核效率，更显著增强了软件产品的整体品质。何为智能驱动的代码审计？传统代码审计依赖资深工程师对他人代码进行人工检验，以发现潜在缺陷、安全隐患或违背编码准则的问题。此类方式虽具成效，却耗费大量时间与资源。而基于人工智能技术的自动化代码审计，借助机器学习算法精准识
普高招生32人：人工智能应用专业——智慧赋能，开创未来
- 2026年第66期-2 总第318期 -人工智能技术应用浙江省普通类招生计划专业代码：518计划：32选考科目范围：不限01培养目标致力于培育掌握人工智能数据处理、计算机编程及机器学习等核心知识，具备数据加工、模型调优、应用研发等实践技能，面向企事业单位，特别是人工智能产业及其应用相关的中小微型企业，从事人工智能数据服务、应用开发、智能系统集成与运维等领域的高素质技术人才。02主干课程Python语言编程、数据库原理与应用、人工智能概论、人工智能数据处理、计算机视觉应用开发、机器学习实战、自然语言处理
AI 人物志：Peter Steinberger 与 Agent 新范式
近期计划开展一项工作，即每周深入探究一位人工智能领域举足轻重的人物。鉴于 AI 技术日新月异，各类新模型与产品层出不穷。然而，我更渴望知晓这些变革背后的推动者曾有何种经历、做过哪些贡献，以及他们如何洞察 AI 的本质。因此，我打算持续追踪此类人物，并将心得公之于众。我首要研究的对象，名为 Peter Steinberger。选择他的原因在于，若回望 2026 年智能体（Agent）的发展轨迹，他或许是一个无法忽视的关键角色。他并非专注于大模型训练的科学家，也未提出全新的模型架构。到了 2026 年，他广为
AI编程效率的真相：使用后速度竟下降19%
93%的程序员都在用AI，但METR的研究显示，资深开发者使用AI后效率反而降低了19%，而他们自己却感觉快了20%。AI编程的真实代价，可能与你想象的不同。你最近是不是也安装了Cursor、Copilot，或者让Claude帮你写代码？装完之后，感觉效率大增——AI帮你生成了大量代码，你觉得自己至少快了20%。但如果我告诉你，一项针对资深开发者的研究发现：使用AI的人，实际完成时间反而慢了19%，而他们自己却觉得快了20%——这中间的认知偏差，接近40个百分点。这不是玩笑，这是METR在2025年底发表
黑洞足迹本：AI 驱动的个人独家应用
黑洞足迹本是我打造的一款一人 APP，之前的作品是黑洞健身。你是否想过，我们一生游历过无数地方，却往往遗忘大半，甚至想寻回时却不知其所在。此外，工作中需记录众多合作伙伴的地址以便出差拜访，但这些信息缺乏便捷的存储与查询方式。此前我习惯在高德地图收藏地址并添加标签备注，然而这些信息难以检索，也不便于向 AI 大模型开放。因此，我开发了黑洞足迹本。这是一款专为 AI 时代打造的一人 APP，融合了大模型的自然语言理解能力与向量检索数据库。黑洞足迹本具备两大核心功能。其一，支持为地址添加图片及文字描述，如下图所
AI编码提速55%?真相是多数程序员日均仅写1小时代码
你或许看过类似这样的标题："GitHub Copilot助开发者效率飙升55.8%！" "腾讯半数新增代码由AI产出！" "AI编程让编码速度翻10倍！"听起来相当震撼，对吗？然而若你真正在项目组里实操过AI编程工具，或许会察觉到一个尴尬的真相——产品上线的进度，似乎并未快多少。这究竟是何原因？微软曾开展一项调研，对484名开发者的日常工作进行追踪，结果令人震惊：活动实际占比开发者期望占比写代码11%20%开会&沟通12%5%调试Bug9%5%架构设
AI晨报速览-07/18：Kimi K3挺进3T级开源模型战场，OpenAI量化安全与投资回报
今日AI领域的核心看点，是模型竞赛正朝两个维度同步推进：一方是Moonshot携Kimi K3将3T级开源模型、1M上下文和编程代理推向市场；另一方是OpenAI利用GPT-Red和CFO记分卡，将安全、稳定性及投资回报转化为可衡量指标。对创业者、开发者与企业而言，未来关键不再仅是“谁更强大”，而是谁能以成本、可控性、合规和真实工作流稳定输出成果。Moonshot的Kimi API资料显示，Kimi K3已正式推出，定位为其迄今最强旗舰模型。该模型参数达2.8万亿，采用Kimi Delta Attenti
微信小程序AI开发大赛正式开启，腾讯官宣赛事详情
创智教育· 青少年科创教育7月17日，WAIC 2026现场。微信开放平台小程序行业负责人戎镇宇，举起手机，没有念PPT，直接打开一个参赛demo——"通勤情绪翻译器"。你输入"老板又改需求了"，它不安慰你，秒生成一封带情绪缓冲、逻辑锚点、替代方案的职场话术稿，还能一键转语音。台下掌声响了15秒。同一天，2026微信小程序开发大赛正式官宣启动。主题四个字：与AI共生。先说主办方的级别，别嫌我啰嗦，这直接决定含金量。WAIC 2026、Datawhale、微信小程序三方联合主
AI写代码太啰嗦？Ponytail插件助你告别屎山
使用 Claude Code 或者 OpenCode 做开发， 有时候一个简单的东西，非得整的很复杂，比如说帮我做个日期选择器，然后 AI 开始干活：最终，一个原本一行 HTML 就能解决的问题，AI 给你生成了几百行代码。而浏览器原生的：一行就能解决～有时 AI 工具写的东西，比如颜色选择器、文件上传、表单验证等，代码量比实际需要多好几倍，倒不是说写错了，也能跑，但引入了不必要的复杂度，多了要维护的依赖，多了可能出问题的地方。现在 AI 最大的问题，不是不会写代码，而是太喜欢写代码。为什么会这样？AI
OpenAI大幅降价背后：Kimi K3发布揭示AI竞争新格局
7月18日，一个值得关注的节点出现了。奥特曼公开表态，若市场有需求，GPT-5.6 Sol的价格仍可进一步下调，最高降幅达75%。这番言论的发布时间，颇为微妙。就在前一天，月之暗面正式推出了Kimi K3。这款开源模型拥有2.8万亿参数，支持100万Token上下文，在多项公开评测中已接近GPT-5.6 Sol和Claude Fable 5的水平。当然，仅凭时间上的巧合，还不足以断定两者有直接关联。但若将其置于过去一年全球大模型竞争的大背景下，这两个事件放在一起审视，便显得意味深长。过去一年，国内开发者使
重庆人工智能岗位招聘信息汇总
NLP算法工程师（实习）3千-5千元/月专业要求：计算机科学与技术、软件工程、人工智能等相关专业 学历要求：研究生在读（优秀本科生也可考虑） 岗位职责: 1. 参与公司大模型相关技术的研发,推动前沿AI技术在实际应用中的落地; 2. 通过模型优化，提升当前算法的效果; 3. 密切关注业界技术动态,主导完成前沿算法的调研、选型与应用； 4. 参与公司人工智能产品设计研发、部署维护工作； 岗位要求: 1. 扎实的算法基础和出色的编程能力，熟悉NLP相关算法和模型; 2. 具备AI项目实际落地经验者优先考虑;