「验证非对称性」共找到 1411 篇相关文章
号称1200万token上下文的模型来了，数据亮眼但疑点重重
当地时间5月5日，Subquadratic公司推出模型SubQ，称是LLM智能重大突破，有1200万token上下文。数据亮眼，如在1M token场景比FlashAttention快52倍等，但也引发质疑，有人推测是对开源模型微调，官方未公布详细模型卡。
Karpathy的软件3.0：Agent的原生世界
OpenAI联合创始人Andrej Karpathy在Sequoia Ascent大会上表示，AI Agent正改变软件与工作模式。编程基本单位从写代码变为给Agent下达指令，软件3.0以上下文窗口为程序，LLM为解释器。他还提出理解AI能力分布的框架，给出创业建议。
上市首日大涨383%，上海跑出“全球AI硅光芯片第一股”
4月28日，曦智科技在港交所上市，首日涨幅383.62%，认购阶段成绩亮眼。其由沈亦晨创立，从光计算转型光互连后迎来转机。虽营收增长但亏损大，研发投入高，此次IPO募资用于研发等。
库克与苹果
苹果CEO库克宣布卸任，转任执行董事长。他在苹果28年，任CEO 15年，让苹果市值和营收大幅增长，打造强大供应链，推出多新品类。但造车项目取消，Vision Pro未打开大众市场，AI发展滞后。接班人是硬件工程师John Ternus。
对话 Ribbi：所有人都在做创作工具，我们在做一个有品味、会进化的「人」
在AI创作工具扎堆的2026年，多数产品仍聚焦单一环节。Ribbi创始人Robin认为，AI时代内容创作应是接管全链路、懂品味、会进化的“人”。Ribbi以场景化Skill覆盖全流程，解决多痛点，实现自主进化。
腾讯广泛使用的跨端开发框架——Kuikly在搜狗输入法中的AI Coding实践
AI 席卷开发领域，输入法团队在 Kuikly 跨端项目探索 AI 工程化方案。介绍了推进 AI 友好型工程、构建精准 AIContext 等关键层面，以灵感词库页面开发为例展示效果，还展望了未来探索方向。
AI写CUDA算子准确率92%，到国产芯片只剩4%？上交方法直线拉升，DeepSeek也适用
GPT-5.2写CUDA算子正确率92%，给华为Ascend NPU写算子仅4%，因公开数据少等致‘新硬件冷启动’难。上海交大团队EvoKernel不训新模型、不标新数据，将GPT-5.2正确率从4%拉到83%，还拓展到DeepSeek架构算子。
10 年后，Kimi 团队重新发明残差连接。马斯克和 Karpathy 同时点赞
Kimi团队发布技术报告，提出用Attention Residuals替换残差连接。实验显示其在各尺度模型上表现优于基线，降低训练成本。马斯克和Karpathy点赞，这或标志深度学习基础范式进入重新讨论阶段。
正交化之外是什么？微软等提出ARO优化器：训练提速1/3，揭示矩阵优化新「蓝海」
微软研究院联合多校发布论文，提出新优化器 ARO。它将梯度旋转作为原则，能让大模型训练提速约 1/3，比 Muon 高效 10% - 15%，还能全模型优化，揭示了矩阵优化新方向。
AI甚至开始抢土木老哥的工作了
即便土木、建筑等传统行业，也受AI冲击。建筑业用AI克隆老师傅、替代部分人力，如Procore推出多款AI智能体，Skanska建立AI安全智能体。建筑AI生态矩阵正形成，国内需相关工具。