「云的形状」共找到 10903 篇相关文章
AI产业链投资大逻辑：第三集
本集围绕AI产业链投资大逻辑，从底层的电展开。指出AI瓶颈正从GPU扩散到电力，存量核电资产因AI数据中心需求变得值钱，还引出'过渡期与终局'核心判断框架。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
复杂的Harness Evolution，甚至不如多跑几遍
本文解读AI2与华盛顿大学最新研究，针对热门Agent Harness Evolution方向，通过公平对照实验检验方法真实收益，戳破研究误区，引发对Agent评估标准的反思。
Hinton预言「AI妈妈」刷屏硅谷！李飞飞：人类或将毫无尊严
在Ai4 2025大会上，“AI教父”Hinton警告人类难控AI，提出建立“AI母亲”，让AI关心人类；“AI教母”李飞飞反对，呼吁打造“以人为本的人工智能”，维护人类尊严。
3.8K星爆款！Google「langextract」可视化溯源，信息抽取神器
Google的「langextract」在GitHub获3.8K星，是信息抽取神器。它有精准源定位、可靠结构化输出等特点，支持多种LLM，适用于各领域，文章还给出实战代码示例。
刚刚开源不到1MB大小，每个AI程序员都该装！
当跑多个 AI Agent 时，很难第一时间了解每个 AI 状态。刚开源的 `abtop` 项目运行在终端，能实时展示 Claude 和 Codex 会话状态，不依赖 API Key，功能实用且安装方便。
NeurIPS滑跪认错！一切都是误会，已纠正
NeurIPS 2026年征稿规则以遵守美制裁规定为由，禁止美清单上的中科研机构等参与学术活动。CCF强硬发声、中国科协给出反制措施后，NeurIPS公开道歉，称是沟通误解。
身家25亿刀，是四家公司创始人，这位伯克利教授还在给本科生上课
加州大学伯克利分校教授 Ion Stoica 一边教书，一边多次创业成功。他是四家公司联合创始人，包括独角兽企业 Databricks 和 Anyscale。他带领实验室做研究，其创立的 LMArena 获 1 亿美元风投。
Skill开发黄金法则！谷歌放出5种智能体Skill设计模式
谷歌工程师研究Skill开发生态，浓缩出5条黄金法则与5种设计模式，包括工具封装器、生成器等，每种模式附可运行ADK代码，还能组合使用，助开发者构建更智能的Agent。
Perplexity不仅没死，而且很强
文章对比通用AI搜索与Perplexity，指出通用AI搜索用于金融投资不够严谨准确，而Perplexity从专业金融API拉取数据，集成权威数据源，准确度高。在此基础上推出的Perplexity Computer功能强大，是严肃工具。