多步推理」共找到 5604 篇相关文章

算法论文8

Attention Sink产生的起点?清华&美团首次揭秘MoE LLM中的超级专家机制

清华和美团研究聚焦MoE LLM,首次发现超级专家子集。通过模型实证分析,揭示其分布规律、重要性及对注意力机制的影响,开发识别工具,为模型压缩提供新方向。

机器之心
8

字节Seed数学新模型,SOTA了

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

量子位
新闻资讯8

刚刚,马斯克发布Grok 4!全榜第一,年费飚到2万+

北京时间中午,马斯克现身 xAI 发布会发布 Grok 4,称其是世界最好的 AI。Grok 4 推理能力强,类基准测试成绩领先,还在方面能力获加强,已上线但付费昂贵。

机器之心
新闻资讯8

OpenAI杀疯了!五天内再破千禧年数学难题,霍奇猜想也要被攻破了?

本文爆料头部AI实验室破解千禧年数学难题的最新进展,OpenAI攻克纳维-斯托克斯问题后,五天内就在霍奇猜想上取得实质性进展,Anthropic也接近解决另一难题,展现AI推理能力的飞速迭代。

AI寒武纪
新闻资讯8

菲尔兹奖得主:AI现在主要靠「抬杠」突破重大数学猜想

1998年菲尔兹奖得主Gowers发现,最近AI在数学界的轰动突破,如雅可比猜想、Erdős单位距离猜想等,靠“找反例”实现。他指出AI热衷此,因知道得且试得起,但目前缺“嗅觉”。

量子位
产品应用8

告别单打独斗!ClawTeam-OpenClaw 一键 spawn 整个 AI 开发团队

ClawTeam-OpenClaw 是代理协调框架 OpenClaw 深度适配版,让 AI 代理自动组队协作。它有一键 spawn 团队、智能任务依赖管理等功能,在科研、开发、投资分析场景优势明显,介绍了使用方法和项目地址。

小华同学ai
开源动态7

Crossplane 从 CNCF 毕业,实现了生产环境成熟

云原生计算基金会(CNCF)毕业了 Crossplane 项目,标志其达到重要里程碑。它能将 Kubernetes 转成云基础设施通用控制平面,已通过阶段,有众贡献者与企业用户,虽有争议但发展前景好。

InfoQ
开源动态7

自动生成 AI 领域 Reddit 趋势报告

该项目可自动从Reddit AI相关社区生成双语趋势报告。具备实时监控、社区分析等功能,有详细趋势分析。介绍了安装设置、使用方法、创建仓库、自定义配置等内容,助用户掌握AI领域发展。

GitHubStore
新闻资讯8

谷歌AlphaEvolve引发OpenAI关注:AI原创算法,正挑战人类专家界限

谷歌DeepMind推出的AlphaEvolve系统,结合Gemini模型与进化算法,能自主探索、生成并迭代优化算法代码。它优化经典算法,在领域取得突破,其原创能力引业界关注,OpenAI研究员对此表示震撼。

AI寒武纪
开源动态8

智源研究院发布中英文高质量数据集CCI4.0,推动全球人工智能开源创新

2025年5月6日,智源研究院在全球开源创新论坛发布中英文高质量数据集CCI 4.0,同平台开源。CCI 4.0规模大,处理严格,此前CCI系列反响好,未来将持续建设中文预训练语料库。

AI科技大本营