「AI 数学发现」共找到 10368 篇相关文章
传Claude sonnet 5即将发布：能自动组建开发团队，一人即一公司，价格爆降50%
小道消息称Anthropic下一代AI模型Claude Sonnet 5或于北美时间2月3号发布，代号“耳廓狐”。它有全新功能，能化身虚拟开发团队，编程能力强，价格将降50%，还与谷歌深度合作。
这个项目让 Clawdbot 接入飞书机器人，附教程！
该项目解决 Clawdbot 官方不支持国内通信软件问题，提供飞书等国内 IM 平台与 ClawdBot AI Agent 的桥接服务，文中介绍前置要求、安装、使用、开发等内容，还给出项目地址和教程。
0.005%参数量超越SOTA！提升模型能力无需庞大奖励模型
上海交通大学等校联合团队提出轻量级奖励模型SWIFT，利用大模型隐藏状态线性特征，仅训练极小线性层，在推理任务中超越主流奖励模型，实现计算效率与准确率双提升，且在多领域表现出色。
AgentIF-OneDay 发布，评估全场景长时复杂任务
红杉中国 xbench 发布 AgentIF - OneDay 评测体系，用于评估大模型解决复杂任务的能力。该体系从任务复杂度新视角出发，沿 Scaling Context 和 Scaling Domain 推进，构造了三类典型任务进行测评，揭示了主流 Agent 的能力边界。
MiniMax 上市后的第一个开源：给 Coding Agent 立个规矩
2026 年初 MiniMax 成功上市港股，市值达 1100 亿港币。其上市后首个开源项目 OctoCodingBench 聚焦 Coding Agent 评估，解决规则复杂时 Agent 合规问题，为其立规矩，有重要社区价值。
一文搞懂 Agents 评测丨Anthropic 最新万字长文
传统模型评测方法难评估 Agent 系统，Anthropic 摸索出有效评测设计方法。文章介绍评测结构、意义、方法，涵盖编程、对话等 Agent 评测，还给出打造评测路线图及与其他方法结合的建议。
蚂蚁阿福对打ChatGPT Health，哪家强？
全球科技大厂在健康赛道竞争激烈，OpenAI推出ChatGPT Health，与蚂蚁阿福功能相似。对比发现，阿福在功能精细度、打通专业医疗服务上领先，二者都引入专家团提升专业性。
9.1K Star！这个工具把 Claude Code 的幸福感拉满了，终于不用手撸 JSON 配置了！
Claude Code等让开发者回归终端开发，但配置“反人类”。GitHub上的cc-switch工具基于Rust + Tauri开发，支持多款模型快速配置切换，有可视化面板及多种功能，还集成Skills库，大大提升使用体验。
谷歌2025年终回顾：Gemini 3领衔，六大领域全线突破
本文回顾谷歌2025年发展，从Gemini 1.5 pro开始有变化，到Gemini 2.5 pro质变。谷歌在模型、产品、创意、科学等六大领域突破，如Gemini 3系列模型表现出色，但Sam Altman仍认为谷歌失败。
Lovart：设计界的Cursor，NanoBanana Pro遇上真正的Design Agent
Google的Nano Banana Pro能力亮眼，但作为设计工具商用不足。Lovart像设计界的Cursor，提供专业化设计工作流，是可用的Design Agent。文中通过案例展示其编辑能力，还介绍了PPT生成等功能及圣诞活动。