刚刚，Anthropic发布了MCP的史诗级更新！
刚刚，Anthropic发布了MCP的史诗级更新！简单来说，它改变了 MCP 的数据传输方式，比如说，以前你在跟一个人用MCP的传输人方式打电话需要一直保持在线（SSE需要长连接），新的方式你可以随时发消息等回复（普通的HTTP请求，可以流式传输）。
来自主题: AI资讯
10801 点击 2025-03-20 08:53
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
简单来说，它改变了 MCP 的数据传输方式，比如说，以前你在跟一个人用MCP的传输人方式打电话需要一直保持在线（SSE需要长连接），新的方式你可以随时发消息等回复（普通的HTTP请求，可以流式传输）。
在全球AI技术加速重构产业格局的浪潮中，AI for Science（AI4S）赛道明星企业深度原理 Deep Principle 近日正式宣布完成亿元级Pre-A轮战略融资，本轮投资方包括联想创投、联想之星、锦秋基金、BV百度风投、启高资本，公司股东高瓴创投与线性资本持续追加投资，明德资本担任独家财务顾问。
随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在辅助形式化证明写作方面的需求日益增长。作为数学推理最直接的应用场景，形式化推理与验证（formal reasoning and verification），也获得持续关注。
我们陆续知道她已经加入了一家AI创业公司，带起了自己的小团队，但业务方向还在摸索。去年12月，我们看到她开始在朋友圈和出海社群中做“200个想赚钱的美国大学生”的需求征集，2个月后这个需求调研落地为一个完整的素人种草平台XcreateAI。
回顾 AGI 的爆发，从最初的 pre-training (model/data) scaling，到 post-training (SFT/RLHF) scaling，再到 reasoning (RL) scaling，找到正确的 scaling 维度始终是问题的本质。
在 R1 推理模型大火之后，全民接力集成 DeepSeek，有硅基流动这样的大模型云服务平台、有腾讯元宝这样的 Chatbot，甚至微信这样的顶流。但是，AI 图片类产品却鲜少有接入 DeepSeek R1 的新闻，而从 DeepSeek-R1 发布到 Krea 宣布上线新功能仅仅 10 天，这个反应应该是图像产品中最快的。
DeepSeek R1 催化了 reasoning model 的竞争：在过去的一个月里，头部 AI labs 已经发布了三个 SOTA reasoning models：OpenAI 的 o3-mini 和deep research， xAI 的 Grok 3 和 Anthropic 的 Claude 3.7 Sonnet。
原来，大型推理模型（Large Reasoning Model，LRM）像人一样，在「用脑过度」也会崩溃，进而行动能力下降。
Pauline Clavelloux的创业故事展现了一个在全职工作压力下，通过AI技术打造成功应用的典型案例。以下是她从IBM全职员工到创建年收入约10万美元的AI应用IA Crea的详细过程，涵盖了从想法生成到市场验证、开发与推广的各个环节。
本文深入解析一项开创性研究——"Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning"，该研究通过基于规则的强化学习技术显著提升了语言模型的推理能力。微软亚洲的研究团队受DeepSeek-R1成功经验的启发，利用结构化的逻辑谜题作为训练场，为模型创建了一个可以系统学习和改进推理技能的环境。