「大厂AI」共找到 12258 篇相关文章
突发！Claude挑战黎曼猜想「失败」，却意外刷新37年数学纪录
AI向黎曼猜想发起挑战，Anthropic的Claude研究版本虽未攻克该猜想，但将黎曼ζ函数中已知至少位于临界线上的零点比例下界，由41.6%提高到了67.2%，这可能是解析数论领域重大进展。
提前实测Opus 5：3D细节封神，然而有一个致命缺陷
全网苦等Opus 5，结果其暂缓发布，理由是怕威胁人类对高级AI的控制，遭网友怒批。部分开发者提前实测，它3D细节表现出色，但耗token且看图测试翻车，原定有诸多强大特性。
阿里安全AGI一次发布3款LLM，8B多维度领先GPT-5.4
近期，阿里安全AGI实验室发布3款Yuvion LLM，在AI安全与内容安全领域多维度领先。它以‘对抗即智能’为原则，构建五类数据体系，采用三阶段训练范式，通过YLRE四级评测体系验证能力。
LeCun 两连推！LeJEPA 核心作者最新论文，改写 JEPA 表征坍塌困局
社交平台X上，研究工作VISReg获图灵奖得主Yann LeCun两连推。它精准命中JEPA世界模型核心痛点——表征坍塌，不靠“外挂”、仅用1/10数据，就在15个数据集上力压7大主流自监督学习算法。
盘点16个把自己蒸馏成Skills的国民级App。
作者盘点16个将自身能力封装成Skill或MCP的国民级App，涉及餐饮、出行、办公等领域，如瑞幸咖啡、飞猪、飞书等，还提到部分AI产品集成第三方服务情况，指出向全面Agent化过渡的趋势。
Grok最新模型吃上Cursor「加餐」，马斯克：Coding实现巨大改进
马斯克在X上透露，xAI的Grok基础模型V9 - Medium（1.5T）完成训练，预计2 - 3周后发布，训练加入大量Cursor数据。同时，xAI的AI编程代理工具Grok Build进入早期Beta测试阶段。
OpenAI、Anthropic都开始押注FDE，FDE才是Agent时代的PMF范式？
5月初，Anthropic和OpenAI同日成立企业服务公司，核心组织形式都是FDE模式。FDE岗位需求飙升，成为科技行业抢手工作。前Palantir高管Bob McGrew深度复盘FDE模式，探讨其运作、团队构建等，还分析为何它是Agent时代的PMF。
三星谈判破裂！5万人或将罢工，芯片供应链告急
据路透社5月13日报道，三星电子与韩国工会薪资谈判破裂，超5万工人或罢工，扰乱AI及其他芯片生产。双方争端核心是绩效奖金分配，工会诉求未得到解决，若不满足将在5月21日开启18天罢工。
原来Ilya还有70亿美元OpenAI股权
马斯克与奥特曼世纪庭审炸出OpenAI造富神话。Ilya手握70亿美元股权，Brockman持股近300亿美元，奥特曼股权也在赶来。普通员工也获利丰厚，75人套现两亿，超600人成百万富翁。
豆包要收费了：三档订阅最贵500元/月，保留免费基础版
五一假期时，豆包要收费的消息冲上热搜。苹果App Store已现订阅服务声明，分三档，最贵500元/月，目前仅测试，正式上线会发完整信息，且保留免费版。豆包APP日活、用户新增和规模都断层领先。