「AI 2.0公司」共找到 11387 篇相关文章
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
AI性能提升超4倍！MacBook Pro现已上架M5 Pro/Max版本
苹果突袭发布 M5 Pro/Max Mac 与新显示器。M5 Pro/Max 底层重构成本地 AI 算力怪兽，全系告别丐版存储，容量速度双升，旗舰显示器首发 120Hz 高刷，是硬核 AI 工作流的重型武器。
Google Research 开源新架构，AI 不再依赖云端，直接跑在手表和耳机上
Google Research 开源 Coral NPU 平台，是面向硬件工程师与 AI 开发者的全栈开源方案，可克服 AI 在可穿戴和边缘设备落地的瓶颈，实现能耗与算力平衡，还能解决算力、生态、隐私等问题。
智源研究院发布中英文高质量数据集CCI4.0，推动全球人工智能开源创新
2025年5月6日，智源研究院在全球开源创新论坛发布中英文高质量数据集CCI 4.0，同步在多平台开源。CCI 4.0规模大，处理严格，此前CCI系列反响好，未来将持续建设中文预训练语料库。
Claude Cowork刚发布，就有大佬开源复刻了！支持三方 API，让 AI 帮你干活！
2025年AI关键词是Agent。Claude推出新功能Cowork，定位是‘大众版Claude Code’，但官方版贵且封闭。发布不到24小时，GitHub就有大佬开源复刻版Claude - Cowork，它支持三方API，本文深度剖析其功能与特点。
AI时代，MrBeast和影视飓风教我的事：最好的内容都是无用的
文章借罗永浩与影视飓风Tim对谈引出话题，以MrBeast、迪士尼为例，阐述最好的内容无用，其价值在于创造体验、建立信任、打造IP。还指出AI时代，无用内容因不可替代更具商业价值。
我给滴滴AI提了个建议，结果他们做得超出了我的想象
作者因母亲用打车软件费劲，基于地图MCP构想长辈出行模式。滴滴AI看到后联系作者，三个月后拿出成果，不仅实现作者设想，还完善专车场景、做到全场景覆盖，体验很棒。
Kubernetes v1.36 发布：安全默认配置强化，AI 工作负载支持日趋成熟
Kubernetes发布1.36版本，代号Haru，含70项增强功能。聚焦安全加固、AI和机器学习负载及API扩展性。安全功能多达GA，AI负载适配需求，还引入新功能，同时移除部分旧功能，Ingress NGINX正式退役。
Claude Code + Kimi K2全栈开发教程，1小时上线「"丑咪"挑战赛」！
作者分享用Cursor + Claude code + Kimi K2开发「丑咪挑战赛」全栈项目的体验，介绍组合优势、接入教程、前端测试案例和使用技巧，认为Kimi K2在agent和coding能力上表现不错，适合作为Coding模型。
硅谷深夜不写一行代码！放羊大叔Ralph引爆奇点，睡一觉AI全跑通
放羊大叔Ralph Loop掀起生产力革命，无需手写代码，AI就能搞定软件开发。它把任务拆到最小颗粒度解决普通AI崩溃痛点。还介绍融入工作流的方法、运行方式及成本，强调掌握此技能的重要性。