「多领域推理」共找到 6422 篇相关文章
字节Seed数学新模型，SOTA了
字节发布全新复杂数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，在MiniF2F数据集达100%正确率。它采用引理式证明，集成几何推理引擎Seed-Geometry，还展现了卓越泛化能力。
刚刚，马斯克发布Grok 4！全榜第一，年费飚到2万+
北京时间中午，马斯克现身 xAI 发布会发布 Grok 4，称其是世界最好的 AI。Grok 4 推理能力强，多类基准测试成绩领先，还在多方面能力获加强，已上线但付费昂贵。
OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？
本文爆料头部AI实验室破解千禧年数学难题的最新进展，OpenAI攻克纳维-斯托克斯问题后，五天内就在霍奇猜想上取得实质性进展，Anthropic也接近解决另一难题，展现AI推理能力的飞速迭代。
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
1998年菲尔兹奖得主Gowers发现，最近AI在数学界的轰动突破，如雅可比猜想、Erdős单位距离猜想等，多靠“找反例”实现。他指出AI热衷此，因知道得多且试得起，但目前缺“嗅觉”。
几张GPU干翻超算！耶鲁AI颠覆化学合成，实验成功率71%
近日，耶鲁大学李昊特团队开发 AI 系统 MOSAIC，将化学合成知识分 2498 个领域训练专家模型。测试中对超 35 种新化合物合成成功率达 71%，还完成难反应与新反应，相关论文发表于《自然》。
告别单打独斗！ClawTeam-OpenClaw 一键 spawn 整个 AI 开发团队
ClawTeam-OpenClaw 是多代理协调框架 OpenClaw 深度适配版，让 AI 代理自动组队协作。它有一键 spawn 团队、智能任务依赖管理等功能，在科研、开发、投资分析场景优势明显，介绍了使用方法和项目地址。
Crossplane 从 CNCF 毕业，实现了生产环境成熟
云原生计算基金会（CNCF）毕业了 Crossplane 项目，标志其达到重要里程碑。它能将 Kubernetes 转成云基础设施通用控制平面，已通过多阶段，有众多贡献者与企业用户，虽有争议但发展前景好。
AI Agent做PPT卷疯了，最强选手被挖掘出来了
2025年是AI Agent元年，做PPT成成果显著领域。Agent能自主完成PPT全流程，解决此前导出编辑难题。文章对比GenSpark、天工Agent等产品在不同场景做PPT的表现，为用户选择提供参考。
智源研究院发布中英文高质量数据集CCI4.0，推动全球人工智能开源创新
2025年5月6日，智源研究院在全球开源创新论坛发布中英文高质量数据集CCI 4.0，同步在多平台开源。CCI 4.0规模大，处理严格，此前CCI系列反响好，未来将持续建设中文预训练语料库。
企鹅终于跟进了：OpenClaw 接入企微，一个企微群，我管住了 Win、Mac、手机，还能@不同AI 专家
微信不开放，企业微信却允许 OpenClaw 接入。其接入简单，还具特色机制与主动性通知。文中介绍了 OpenClaw + 企微等玩法，如多 Bot 群聊、跨设备控制等，最后给出企微接入 OpenClaw 保姆教程。