搜索：数学推理模型

「数学推理模型」共找到 8393 篇相关文章

基于Spring AI Alibaba 的 DeepResearch 架构与实践

本文基于 SpringAI Alibaba Graph 构建 Java 版 DeepResearch 系统，实现信息搜集到报告生成的全自动流程。介绍系统能力、架构、核心功能节点及技术点，还阐述 RAG、搜索、MCP、报告生成等功能，给出使用、部署和社区参与方式。

OpenAI和Anthropic发布核心产品使用报告，展现ChatGPT和Claude用户心智差异。ChatGPT像Advisor，以询问、写作为主；Claude似Agent，随模型能力提升，用户倾向用其执行自动化任务。

今年 AI 进入‘业绩兑现期’，市场看重真实效益和收入。文章围绕技术、资本开支和宏观趋势筛选 30+ 公司，覆盖多领域，分析各公司优势与投资价值，为投资者提供参考。

Anthropic的Claude Code创建者Boris Cherny在访谈分享智能体编程未来看法，介绍用Claude Code开发它自身的方法，还谈及Claude Code发展、使用技巧及对编程工作未来变化的预测。

美籍华人数学天才陶哲轩称，25年科研生涯从未如此绝望。白宫切断其科研经费，UCLA等科研圣地也濒临断粮。美国科研体系半年内遭‘血洗’，诸多项目中断，未来堪忧。

文章分析Nsight Compute中Compute Workload Analysis反映的Tensor Pipe Uti异常现象。通过实验和推算，发现ncu对L20 GPU上特定指令用错误执行延迟算指标，导致异常，还给出GEMM Kernel性能分析建议。

OpenAI 发布《GPT-5 prompting guide》，介绍新模型变化及使用方法。新增 `reasoning_effort` 和 `verbosity` 参数，还有 Responses API。Cursor 分享实战心得，同时提及控制 Agent 积极性、解决指令冲突等内容。

作者解读 Manus 团队文章，结合自身理解总结出构建高效 Agent 的 7 个关键点，如依赖上下文工程、提升 Prompt 缓存命中率等，还给出总结与核心启示，对 Agent 开发有借鉴意义。

「Mamba」作者之一Albert Gu在新Paper提出新技术，实现动态分块机制，嵌入H - Net可替代传统流水线。在多方面实验中，H - Net性能优于基于BPE token的Transformer模型。

当前个性化学习方法基于数据高质量且类别平衡的假设，但现实教育数据呈不均衡分布。华东师范大学和浙江大学团队在ICML2025提出NCAL方法，将神经坍缩理论引入该领域，解决教育数据长尾分布问题。