据报道，知情人士透露， 谷歌 ( 178.7, 1.04, 0.59%) 已同意支付约24亿美元，获得人工智能编码初创公司Windsurf的技术授权，并聘用其首席执行官及部分员工。

【环球网科技综合报道】7月12日消息，月之暗面于昨日正式发布Kimi K2模型，并同步宣布开源。该模型作为一款采用MoE架构的基础模型，总参数达1T，激活参数为32B，在代码能力与通用Agent任务处理方面表现突出。在技术性能上，Kimi ...

谷歌闪电＂截胡＂OpenAI，挖走这家公司CEO与核心大脑,openai,谷歌,微软,初创公司,deepmind ...

这次发布的Kimi K2是一个万亿（1T）参数规模的混合专家（MoE）模型，激活参数为320亿 。其核心能力发生了清晰的转向，Kimi此前的标签是长文本，而K2则为智能体任务（agentic tasks）做了专门优化。

非常高兴欢迎@windsurf_ai创始人@_mohansolo和Douglas ...

7月10日，xAI正式发布Grok 4，这个被马斯克称为"世界上最智能AI"的家伙，直接把AI圈的天花板又捅了个窟窿。 碾压的Benchmark和跨级的表现都足够让人振奋。今年年初那种分数胶着、进步有限的模型发布序列，在今天被彻底打破了。

在科技迅速发展的今天，AI模型的发布总是能引发广泛关注。7月11日，月之暗面正式推出了Kimi K2模型，并同步开源。作为一款具备强大代码能力和优秀Agent任务处理能力的MoE架构基础模型，Kimi K2以其总参数量达到1T，激活参数32B的规模，迅速成为行业焦点。

但更大的争议其实并非市场定位、海外战略，而是Manus自上线后，就一直有被诟病“套壳”整合的技术争议。作为一个“干AI体力活”的初创公司，蝴蝶效应到底凭啥在2024年11月拿到了腾讯（00700）、红杉和真格基金的投资？Manus又是如何成功说服Be ...

不仅如此，在多项编程相关测试中，Grok 4 Heavy 的表现同样抢眼。无论是 Live Coding、HMMT（麻省理工数学竞赛）还是 USAMO（美国数学奥林匹克），它都远超当前排名第二的模型，技术优势相当明显。

过去一年，大模型快速发展，在带来机会的同时，也带来了焦虑，大家普遍关心以下三类问题： 一类是关于软件形态，AI 时代的软件会如何演进？Agent 真的会替代 SaaS 吗？其次是关于工具的，在 AI 时代，开发方式会发生哪些变化？还有组织的，AI ...

导读：谁才是更好用的协同办公软件？ 李彦丨作者 木鱼丨编辑 壹览商业丨出品 飞书“俘获”了一批消费企业。 在7月9日举办的「飞书无限大会」上，飞书分享 ...

雷峰网 (公众号：雷峰网) AI 科技评论独家获悉，百川智能技术联合创始人谢剑将离职。其离职原因尚未公开，下一步动向也暂无明确消息。 谢剑硕士毕业于武汉大学人工智能方向，2012 年获得硕士学位后加入百度，后在职攻读博士，并获得清华大学计算机科学博士学位。他曾是百度集团内最年轻晋升为主任研发架构师的工程师之一，同时也是集团总技术委员会成员。