「云的形状」共找到 10979 篇相关文章
一个程序员失业了:他用AI重构了整个公司,结果杀疯了!
The Agency是拥有50+专业AI代理的开源项目,能让个人和小团队零人力成本获公司职能,相比传统雇佣,运营成本降99%。它有各部门专业代理,支持多工具集成,应用场景广,使用方法简单。
陶哲轩:我差点江郎才尽,只因在普林斯顿待了一年
菲尔兹奖得主陶哲轩在与播客主理人访谈中称,在普林斯顿埋头搞学术让他灵感枯竭,数学家需生活琐事激发想法。还探讨科学研究,如开普勒定律、AI在数学研究的应用、科学评估等问题。
卡奥斯奔赴港交所,工业AI开启新征途|甲子光年
中国工业互联网迎来智能化加速阶段,卡奥斯递表港交所,为观察工业智能走向产业基础设施提供了样本。它脱胎于海尔,已实现产业规模化落地并盈利,在中国基于平台的工业数据智能解决方案市场位居第一。
OpenAI推出GPT-5.4 mini/nano;MiniMax发布M2.7;小米发布MiMo-V2系列模型
OpenAI、MiniMax、小米陆续发布新模型。OpenAI推GPT - 5.4 mini与nano,优化速度和成本;MiniMax的M2.7能自我演化;小米MiMo - V2系列覆盖智能体核心、全模态理解和情感语音合成。
想进OpenAI?先解出这道题,百万美元算力已就位
OpenAI发起Model Craft Challenge「Parameter Golf」项目,要求在固定数据集上降验证损失,模型产物控制在16MB内,8张H100 GPU 10分钟完成训练。提供百万美元算力,6月招早期人才,挑战3月18日至4月30日。
「必读」新鲜出炉,全都看过来:Claude code团队内部skill构建踩坑经验大全来了
Claude code团队成员Thariq分享内部构建Skills经验。介绍Skills类型,如库和API参考、产品验证等;给出制作技巧,像聚焦关键信息、建立“常见坑”专区等;还提及分发、管理、组合及衡量效果的方法。
Kimi新架构让马斯克叹服!17岁高中生作者一战成名
17岁高中生陈广宇作为共同一作的论文提出Attention Residuals技术,将注意力机制“旋转90度”。该技术可让模型“回头看”,经Kimi Linear 48B大模型验证,训练效率提升25%,推理延迟增加不到2%。
MiroMind新模型超越GPT-5.4,三位顶尖AI科学家加盟
MiroMind发布MiroThinker - v1.7模型家族,在深度研究任务中表现出色,其专有智能体MiroThinker - H1超越多个顶级闭源模型。同时,三位顶尖科学家加盟,分别负责推理模型训练等方向,公司聚焦推理与可验证性。
AI,正在吞噬所有软件。
作者从用户体验设计师和公司创始人视角,探讨AI时代软件的变革。人人能造软件,成本降低;软件从资产变耗材;Agent填平人机交互鸿沟,产品形态转向Skills;用户可能不再是人;中间层正消亡。
变更即指标:用交付信号度量系统可靠性
系统变更是生产事故主因,本文提出聚焦变更可观测性的指标框架,介绍可扩展架构采集展示指标。定义业务和技术指标,构建以事件为中心架构获取数据,还阐述以数据驱动改进变更交付过程。