新版Claude曝光：“极限推理”成最大亮点
新版Claude曝光：“极限推理”成最大亮点O家（OpenAI）刚免费上线GPT-4.1，A家（Anthropic）这边也被曝出新消息—— 新版Claude Sonnet和Claude Opus，已经在路上了！
来自主题: AI资讯
8882 点击 2025-05-15 20:01
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
O家（OpenAI）刚免费上线GPT-4.1，A家（Anthropic）这边也被曝出新消息—— 新版Claude Sonnet和Claude Opus，已经在路上了！
GPT-4.1，在ChatGPT中可用了！现在，它不仅在API中开放，Plus、Pro和Team用户都可以使用。网友们兴奋地展开实测后，纷纷吐槽：OpenAI这是诈骗吧，说好的一百万超长上下文呢？
热门法律AI 工具 Harvey 于 5 月 13 日在博客中宣布，将不再仅依赖 OpenAI 的基础模型，开始采用 Anthropic 和谷歌的基础模型。
最近ContextGem很火。它既不是RAG也不是Agent，而是专注于"结构化提取"的框架，它像一个"文档理解层"，通过文档中心设计和神经网络技术(SAT)将非结构化文档转化为精确的结构化数据。它可作为RAG的前置处理器、Agent的感知模块，也可独立使用。
AI 圈子每时每刻都在发生巨大变化，编程工具赛道掀起技术革新浪潮。以原生 IDE 体验见长的 Cursor ，凭借其 Agent 模式在 AI 编程领域脱颖而出，对 GitHub Copilot 以及 VS Code 与 JetBrains 全家桶的地位发起挑战。
近日，有网络安全研究人员标记出三个恶意的 npm（Node.js 包管理器）软件包，这些软件包的攻击目标是一款颇受欢迎的由 AI 驱动的源代码编辑器 Cursor，且针对的是苹果 macOS 版本用户。 迄今为止，这三个软件包的下载量总共已超过 3200 次。
菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。这才几天的时间，这个估计验证工具的 2.0 版本就来了！
根据TechCrunch和Semafor等报道，美国财政部正在审查Benchmark Capital对中国初创公司Manus AI的7500万美元投资，据两位知情人士透露，这已经反映出中美之间的科技竞争已经升级到政治层面。
在上一篇研究图谱中，我们指出医疗领域很可能是 Vertical Agent 最先落地的领域，其中最有代表性的公司之一是 OpenEvidence，一款专为医生设计的 AI 专业诊断 Copilot。