搜索：子曰3数学模型

「子曰3数学模型」共找到 157 篇相关文章

不是，高考刚结束，高考报志愿的Agent也来了？

夸克官宣夸克高考志愿大模型，虽未多提Agent，但作者认为其比Agent还Agent。该模型免费，以Qwen为基座，结合高考知识库，能生成详细志愿报告，考虑多方面需求，助力学子报志愿。

当下GPT-5.5等模型原生支持1M上下文，虽能支撑长任务，但易被噪音干扰且费Token。作者以Claude Code为例，介绍做好会话管理的多种省钱方法，如根据任务选择会话策略、利用rewind功能等。

Google的NotebookLM虽火，但有国内使用难、数据不私密、模型单一等痛点。Open - Notebook是其开源平替，完全本地可部署，功能超全，支持多模型，近半月GitHub星标增10K，总收藏1.5万。

NotebookLM好用但有数据隐私问题，GitHub上的SurfSense是其开源平替，支持私有化部署。它功能成熟，支持多种文件格式等，提供三种入门方式，虽缺PPT生成能力，但知识管理和问答功能够用。

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

文章指出在AI时代，传统企业研发部门正从成本中心转变为AI转型发动机。分析转型从研发出发的原因，介绍传统企业转型面临的难题及Agent的作用，还通过海信、三一重工、孩子王案例展示AI应用路径。

广受欢迎的编码智能体Claude Code近期版本意外暴露底层代码。Anthropic称是人为失误，未泄露用户数据。工程师分析发现其架构似小型专用操作系统，还揭示了潜在功能和未来规划。

在AI“巨物崇拜”盛行时，NovaSR开源带来“微型震撼”。它仅52KB，能将16kHz音频提至48kHz，单张A100达3600倍实时。可端侧运行，效率提升显著，有诸多应用场景。

Claude Code等让开发者回归终端开发，但配置“反人类”。GitHub上的cc-switch工具基于Rust + Tauri开发，支持多款模型快速配置切换，有可视化面板及多种功能，还集成Skills库，大大提升使用体验。

这是首篇系统拆解“大模型Agentic推理框架”的综述，不聊训练，只聚焦如何把LLM组织成会思考、协作、调工具的Agent，横跨科学发现、医疗、软件工程、社会经济模拟四大战场，给出统一语言、视角和评测。