#数学推理
共 136 篇相关文章
科技前沿·6 分钟
AlphaGo十周年：哈萨比斯重返韩国与李世石重逢，AI如何改变围棋
AlphaGo十周年之际，DeepMind创始人哈萨比斯重返韩国与李世石重逢，并与申真谞对弈。回顾2016年人机大战如何改变围棋布局理论、训练方式和思维模式，以及AlphaGo对通用AI发展的深远影响。
阅读全文 →
产品体验·7 分钟
awesome-LLM-resources：GitHub 8200星LLM学习资源库全面解析
深度解析GitHub万星项目awesome-LLM-resources，涵盖LLM多模态生成、Agent智能体、模型训练推理、MCP协议等十大核心模块，为AI从业者提供一站式大语言模型学习导航。
阅读全文 →
科技前沿·7 分钟
SWE-bench官方博客上线：AI编程评测标准进入新阶段
SWE-bench官方博客正式上线，将持续发布AI编程评测、AI Agent及工具链深度内容。本文详解SWE-bench基准测试的核心价值、博客上线的行业意义，以及AI代码生成评测的未来趋势。
阅读全文 →
前沿研究·8 分钟
多智能体AI检测CVE零日漏洞利用：85%准确率背后的技术解析
深入解析开源项目ai-detects-if-cve-was-zero-day的多智能体架构，了解GPT-4o、DeepSeek v3和Llama 3.3如何协同检测CVE零日漏洞利用，在50个验证样本上实现85%以上准确率，探讨其技术原理、应用场景与局限性。
阅读全文 →
教程攻略·7 分钟
GitHub 8K Star：最全LLM大语言模型资源库深度解析
深度解析GitHub热门项目awesome-LLM-resources，8200+ Star的LLM资源宝库，覆盖多模态、AI Agent、MCP协议、模型训练推理、辅助编程等核心方向，为AI从业者提供系统性学习路线图。
阅读全文 →
产品体验·7 分钟
Unsloth：显存优化80%，本地微调大模型的最佳开源工具
Unsloth是GitHub 63K+ Star的开源大模型训练工具，支持Gemma 4、Qwen 3、DeepSeek等主流模型。通过显存优化降低50%-80%显存占用，让RTX 4090也能微调7B模型，提供Web UI一键训练。
阅读全文 →
深度解读·9 分钟
LLM 0.32重构：消息序列与流式分片如何重塑Python LLM交互
Simon Willison发布LLM 0.32a0 alpha版本，引入消息序列输入和类型化流式分片输出两大核心变化，重新定义Python大语言模型交互抽象层，支持多轮对话预填充、混合类型输出处理及响应序列化，同时保持完全向后兼容。
阅读全文 →
产品体验·7 分钟
LLM应用可靠性实测：披萨店AI客服暴露的三大核心问题
通过构建虚构披萨店AI客服机器人，实测2025年主流大语言模型在话题控制、信息安全、回答准确性方面的可靠性表现，为LLM应用开发者提供可复制的实践参考。
阅读全文 →
科技前沿·5 分钟
DeepSeek V4 Pro优惠期延长至2026年5月：开发者成本利好全解读
DeepSeek官方宣布V4-Pro API优惠价格延长至2026年5月31日。本文解读此次优惠延长对开发者、企业用户的实际影响，分析DeepSeek在大模型API定价竞争中的市场策略及用户应对建议。
阅读全文 →
科技前沿·7 分钟
DeepSeek V3.2正式发布：推理优先双模型，专为AI Agent打造
DeepSeek正式发布V3.2和V3.2-Speciale两款推理优先模型，专为AI Agent场景设计。V3.2已上线App、Web和API，Speciale版本推动推理能力极限。本文深度解析两款模型定位、技术特点及行业竞争格局。
阅读全文 →
产品体验·8 分钟
MiroFlow开源AI工作流框架评测：多基准测试登顶的实力与隐忧
深度解析MiroFlow开源AI工作流框架：5+基准测试Top-1成绩背后的技术架构、多模型支持能力、Web UI体验，以及与LangChain、Dify等竞品的对比分析。
阅读全文 →
产品体验·10 分钟
PyGPT：开源桌面AI助手，一站式集成GPT/Claude/Ollama等多模型
深度解析PyGPT开源桌面AI助手，支持GPT-4、Claude、Gemini、Ollama本地模型等多模型集成，内置RAG知识管理、智能体、语音交互、图像生成等功能，适用于开发者、内容创作者和企业用户。
阅读全文 →
教程攻略·9 分钟
GitHub 7万星：提示工程、RAG与AI Agent最全开源学习指南
深度解析GitHub 74000星开源项目Prompt Engineering Guide，涵盖提示工程核心技巧、上下文工程、RAG检索增强生成、AI Agent等前沿方向，附完整学习路径与实践资源，适合开发者和AI从业者系统学习。
阅读全文 →
产品体验·8 分钟
百聆：开源语音助手800ms低延迟，媲美GPT-4o对话体验
百聆（bailing）是一款基于ASR+LLM+TTS架构的开源语音助手，集成DeepSeek R1大模型，端到端延迟仅800ms，支持打断对话，可在Mac等低配设备流畅运行，助你打造私有化个人AI语音助手。
阅读全文 →
产品体验·7 分钟
Deep Research Web UI：支持DeepSeek R1的开源AI深度研究助手
Deep Research Web UI是一款开源AI研究助手，支持DeepSeek R1模型，通过迭代式搜索、网页抓取和LLM推理实现自动化深度研究。已获2100+ Star，适用于学术调研、市场分析等场景。
阅读全文 →
产品体验·6 分钟
DeepSeek-Reasonix：基于前缀缓存优化的终端AI编程代理
DeepSeek-Reasonix 是专为 DeepSeek 模型原生设计的开源终端AI编程代理，通过前缀缓存稳定性优化实现更低延迟、更低API成本。本文详解其核心特性、技术架构与适用场景。
阅读全文 →
科技前沿·6 分钟
Paper-to-Notebook：上传论文PDF一键生成PyTorch代码
Paper-to-Notebook是VizuaraAI开源的论文复现工具，基于Gemini 2.5 Pro驱动，支持上传PDF自动生成可运行的PyTorch Jupyter Notebook，大幅加速AI论文复现与代码验证流程。
阅读全文 →
深度解读·5 分钟
EverClaw深度解析：质押MOR代币获取永久AI推理的去中心化平台
深入解析EverClaw去中心化AI推理平台，基于Morpheus AI协议构建，通过质押MOR代币访问Kimi K2.5等10+模型，为OpenClaw智能代理提供永不耗尽的推理服务。
阅读全文 →
科技前沿·9 分钟
Swarm IDE：开源多智能体协作开发环境，1500 Star的Agent编排利器
Swarm IDE 是专为 Agent Swarm 多智能体协作打造的开源 IDE，支持 Kimi-2.5、GLM-4.7 等模型，提供可视化编排、调试和管理能力，GitHub 短时间内收获近 1500 Star。本文深度解析其技术特点与应用前景。
阅读全文 →
科技前沿·8 分钟
Kimi-K2.5开源：月之暗面最强模型来了，GitHub星标飙升
月之暗面正式开源旗舰模型Kimi-K2.5，GitHub星标突破1900。本文解读Kimi-K2.5的战略意义、技术生态、与DeepSeek和Qwen的竞争格局，以及开发者如何快速上手这款国产开源大模型。
阅读全文 →