答案集编程」共找到 1788 篇相关文章

8

字节Seed数学新模型,SOTA了

字节发布全新复杂数学解决模型Seed-Prover,全面超越谷歌AlphaGeometry2,在MiniF2F数据达100%正确率。它采用引理式证明,成几何推理引擎Seed-Geometry,还展现了卓越泛化能力。

量子位
开源动态7

“老中间件”自救:昔日并发王者、十五年开源老将全力押注Agentic AI找活路,转型做 Java 版 LangChain

7月14日,老牌开源中间件Akka发布Agentic Platform,向AI驱动型系统转型。其运营曾面临挑战,现全力押注Agentic AI,认为这是第五次计算浪潮,将构建比Langchain更丰富的功能

InfoQ
算法论文8

LLM「拒绝回答」难题有救了!最新研究让AI学会人情世故 | COLM'25

最新研究发现模型规模和通用语言能力与处理敏感内容判断能力无直接关联,开源模型表现不错。通过提出的训练方法,在非推理和推理型模型上缓解过度拒绝问题,提升AI实用性和可靠性。

新智元
开源动态8

谷歌AI Agent刚开源!多任务智能体+MCP+谷歌搜索,狂揽9000颗星

今天凌晨,谷歌在官网开源AI Agent框架Gemini CLI,将Gemini大模型融入终端。它能调用视频和图像模型,成MCP、谷歌搜索等功能,还成超强编码助手,刚开源就在Github超9000颗星。

AIGC开放社区
新闻资讯7

程序员从此不再写代码!红杉专访Codex团队,o3白菜价真相曝光

红杉专访OpenAI Codex团队,揭示AI编程未来。Codex从代码补全演化为智能体,强调委托心态,开发者从动手转向审核。还爆料OpenAI内部有递归自我改进的AI Alice。

新智元
推荐文章8

吴恩达来信:AI Fund 如何培养 AI 构建者

吴恩达分享 AI Fund 培养 AI 构建者经验,非工程背景同事从‘AI Python 入门课程’学起,掌握构建模块,还列举他们构建的应用示例,鼓励更多团队让人人有能力用 AI 构建。

DeeplearningAI
开源动态8

深度研究白菜化?谷歌将Gemini级AI研究能力开源

谷歌推出'gemini-fullstack-langgraph-quickstart'开源项目,用Gemini 2.5与LangGraph结合,可构建本地运行的深度研究智能代理系统。介绍其技术架构、工作流程、开发配置、部署扩展,还展示了现代AI应用开发趋势。

AI寒武纪
算法论文7

经典ReLU回归!重大缺陷「死亡ReLU问题」已被解决

在深度学习领域,经典 ReLU 函数因简洁性等优势受青睐,但有「死亡 ReLU 问题」。德国吕贝克大学等机构研究者引入 SUGAR 方法,不牺牲 ReLU 优势解决该问题,还设计 B - SiLU、NeLU 函数,实验显示性能提升显著。

机器之心
推荐文章7

快速理解热门LLM大语言模型

本文用通俗易懂方式帮读者理解LLM、Transformer、Prompt等基本概念,介绍大模型API使用,如温度参数、角色设定等,还提及Function Calling、Agent、MCP等内容,并对AI未来发展作出假想。

腾讯技术工程
产品应用7

OpenAI很看好!首个SWE-1模型发布,软件开发或将提速99%

Windsurf发布首个前沿模型SWE-1,目标将软件开发提速99%。它不只能写代码,还能协助软件工程流程。有三个系列模型,SWE-1运行成本低,SWE-1-lite对所有用户开放,SWE-1-mini适用于低延迟场景。

新智元