「AI大厂」共找到 11898 篇相关文章
GitHub 的旧模式被 AI 击穿，Cursor、GitLab、Zed 各自开打
2026年6月16日，SpaceX以600亿美元收购Cursor。同日，Cursor宣布新项目Origin，是与Git兼容的代码托管平台。GitHub受AI冲击，处理代码提交压力大，而Cursor、GitLab、Zed等公司纷纷推出应对方案。
打造你的第一个 AI 智能体：一条清晰的实战路径！
作者发现很多人构建 AI 智能体常半途而废，给出实战路径：先挑极小明确问题，选基础大模型，决定交互方式，搭建骨架工作流，谨慎加记忆功能，配能用界面，小步快跑迭代，控制好范围。
智谱AI今日正式上市，一文讲透你想知道的6件事。
今天智谱AI正式港股上市，股票代码HK2513。文章介绍其出身清华系，发布众多模型，融资顺利，虽亏损但研发投入大，商业模式围绕MaaS，未来押注技术、产品、人才，市场前景广阔。
当中国AI喊出「开源脑机」，马斯克站到全网的对立面
中国AI「论论全球」直播呼吁开源脑机接口，引发海外热议，将马斯克旗下闭源的Neuralink推上风口浪尖。它指出脑机接口安全风险大，窗口期只剩1 - 3年，还提出开源科技文明构想。
AI 驱动云上运维革命：腾讯云如何用“云顾问”重塑 SRE
在 AICon 大会上，腾讯云许小川介绍，面对云 IT 服务挑战，腾讯云推出「腾讯云顾问」可视化平台，涵盖架构梳理等功能。还分享多方面经验，用 AI 重塑 SRE，助力工作数智化升级。
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
AI不需要海量用户
AI和互联网逻辑不同，互联网需海量用户，因其边际成本趋近零且是消费驱动。而AI有真实边际成本，是生产驱动，更需要重度用户。若用互联网打法做AI，会陷入产能黑洞，拖慢发展。
陶哲轩对谈 OpenAI 高管：“试错成本”无限趋零，AI 正在把数学变成一门重工业
菲尔兹奖得主陶哲轩与OpenAI顶尖科学家Mark Chen对谈，探讨AI在数学研究中的能力、缺陷与演化路径。指出AI试错成本低，在数学领域发展潜力大，虽目前有局限，但正改变数学研究方式。
困住医疗AI的死循环，终于有国产玩家跑通了
文章指出医疗AI行业因数据、模型、场景闭环断裂陷入困境，整体渗透率低。讯飞医疗的星火医疗大模型V3.5评测和临床落地表现出色，其构建自强化循环体系，跑通死循环，或使行业马太效应渐显。
神秘模型「大象」：仅100B拿下SOTA，Token效率超高！
神秘模型「大象」面纱揭开，它出自蚂蚁Inclusion AI团队，仅100B大小，是同规模SOTA且省Token。经多方面实测及权威榜单评测，它快、准、省，能胜任多数日常工作，但也有不擅长的领域。