AI资讯新闻榜单内容搜索-CaT

关键词: AI,大模型,人工智能,AI行业分析

Cathie’s Letter ：滚动衰退下的劳动力“囤积”与技术就业前景

关键词: AI教育,AI老师,eSelf,K12 AI

近日，以色列宣布与以色列AI“数字化身”制作平台eSelf、以色列最大的K12教科书出版商CET（Center for Educational Technology）合作，在全国范围内铺开AI辅导。

关键词: Anthropic,Claude,Ai新闻,人工智能

4 月 3 日消息，当地时间周三，Anthropic 发布了“Claude for Education”计划，宣布正式进军高等教育市场，以应对 OpenAI 的 ChatGPT Edu 方案。该计划将为高校师生和工作人员提供 Claude AI 聊天机器人，并额外配备一系列专门功能。

关键词: MovianAI,PhoGPT,越南AI,AI新闻

高通今日宣布收购越南人工智能开发商 MovianAI。MovianAI 是 VinAI Application and Research JSC 的生成式 AI 部门，后者是越南最大企业集团 Vingroup 旗下的机器学习研究实验室。此次收购后，包括前 DeepMind 研究科学家、VinAI 首席执行官 Hung Bui 在内的核心团队将加入高通。

关键词: AI,AI玩具,Haivivi,李勇

2024 年 9 月，我们第一次去 Haivivi 北京办公室和 CEO 李勇见面。在交谈的两小时里，他不断被会议室外的员工提醒看手机。

关键词: DeepSeek-R1,模型训练,AI,formal verification

随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在辅助形式化证明写作方面的需求日益增长。作为数学推理最直接的应用场景，形式化推理与验证（formal reasoning and verification），也获得持续关注。

关键词: Codeium,Windsurf,Agentic IDE,人工智能

去年 8 月，Codeium 完成了由 General Catalyst、Kleiner Perkins 等参与的 1.5 亿美元融资，估值来到 12.5 亿美元，是这些老牌基金在 AI Coding 领域下的重注。之后在 11 月 Codeium 正式发布了 Agentic IDE Windsurf，与 Cursor/Devin 进行差异化竞争。

关键词: Cursor,Ai编程,WebRTC,AI实战分享

WebRTC（Web Real-Time Communication）是一个Google开源项目，允许浏览器/移动端直接进行实时音视频流传输，典型应用场景：视频会议、屏幕共享、文件传输、远程控制。

关键词: 医疗具身智能,具身智能,Ai医疗,人工智能

由港科广、中南、西湖大学、UIUC、新加坡国立大学、上海 AI Lab、宾夕法尼亚大学等团队联合发布的首篇聚焦医疗领域具身智能的综述论文《A Survey of Embodied AI in Healthcare: Techniques, Applications, and Opportunities》正式上线，中南大学刘艺灏为第一作者

关键词: Grok-3,xAI,马斯克,人工智能

科技媒体 testingcatalog 今天（1 月 27 日）发布博文，报道称 xAI 官方虽然尚未公布，但 Grok-3 已短暂现身独立平台和 X 平台，开启内部测试，有望下周正式发布。