「AI数学家系统」共找到 10423 篇相关文章
当AI让答案唾手可得，学而思想把学习过程找回来
AI让答案不再稀缺，学生面临新挑战。7月3日学而思发布2026旗舰新品，提出学习机应陪孩子理解、练习、进步，将诊断、学习等环节连成路径，强调不替孩子学，保护学习过程。
第一个同时为人类和Agent设计的AI视频产品，它叫，LibTV。
Liblib推出的AI视频产品LibTV，是首个为人和Agent共同设计的产品，用优雅姿态解决兼顾专业与普通用户的难题。它面向人类的是无限画布，功能强大；面向Agent的是简单的Skills。
Ollama升级模型调度系统：内存管理更精准，多GPU性能提升
Ollama升级模型调度系统，精确测量运行模型所需内存，带来内存崩溃减少、GPU利用率提高等改进。Gemma3、Mistral - small3.2等模型性能提升，更多模型正迁移，还在开发iGPU支持，评估NPU支持。
智谱AI今日正式上市，一文讲透你想知道的6件事。
今天智谱AI正式港股上市，股票代码HK2513。文章介绍其出身清华系，发布众多模型，融资顺利，虽亏损但研发投入大，商业模式围绕MaaS，未来押注技术、产品、人才，市场前景广阔。
谷歌发76页智能体白皮书！你的「AI替身」已上线
谷歌发布76页AI智能体白皮书，剖析其应用前景。涵盖智能体运维、评估方法，探讨多智能体架构，还介绍智能体增强检索生成及企业应用，如NotebookLM企业版、Agentspace空间企业版等。
UniPat AI开源SWE-Vision：五百行代码打造SOTA视觉智能体！
多模态大模型代码能力进步大，但基础视觉任务常失误。UniPat AI开源SWE-Vision框架，让模型用Python代码处理视觉判断。它极简设计，在五个视觉基准测试达最优，提升前沿模型视觉表现。
联合AI天使会、对接百家顶级VC，「星火计划」正式启动招募
算泥社区联合AIGC开放社区发布「星火计划」，联合AI天使会等对接百家顶级VC，构建全链路服务体系。其有构建资本网络、深度辅导、提供品牌与资源等优势，现向早期项目开放征集。
AI Agent做PPT卷疯了，最强选手被挖掘出来了
2025年是AI Agent元年，做PPT成成果显著领域。Agent能自主完成PPT全流程，解决此前导出编辑难题。文章对比GenSpark、天工Agent等产品在不同场景做PPT的表现，为用户选择提供参考。
谷歌AlphaEvolve引发OpenAI关注：AI原创算法，正挑战人类专家界限
谷歌DeepMind推出的AlphaEvolve系统，结合Gemini模型与进化算法，能自主探索、生成并迭代优化算法代码。它优化经典算法，在多领域取得突破，其原创能力引业界关注，OpenAI研究员对此表示震撼。
阿里云 Tablestore 基于 Mem0 为 OpenClaw 构建记忆系统最佳实践
文章指出 OpenClaw 原生记忆有失忆、多 Agent 记忆不通等问题，介绍阿里云 Tablestore 基于 Mem0 为其构建记忆系统的实践，包括优势、安装步骤，实测记忆持久生效，还提及后续实践值得期待。