华为AI在复杂建模与长程推理上取得新突破,小艺满分斩获IMO 2026金牌

11小时前更新 7g5rstyn
1 0 0

华为官方今日宣布,在日前举行的 2026 年国际数学奥林匹克竞赛(IMO 2026)中,华为小艺以满分 42 分斩获 IMO 2026 金牌。

华为方面表示,这一成绩充分展现了小艺 Agent 系统在代数、几何、数论与组合数学等多个领域的综合解题能力,也意味着华为 AI 在复杂问题建模、长程推理、工具协同以及严格验证等关键方向上取得了新的进展与突破。

华为AI在复杂建模与长程推理上取得新突破,小艺满分斩获IMO 2026金牌的封面图

相关快讯

智谱 AI 编程工具 ZCode 3.0 发布:全新内核与 GLM-5.2 深度适配

智谱发布了 AI 编程工具 ZCode 3.0,深度适配 GLM-5.2,并全面切换至自研的 ZCode Agent 内核。新版本针对长程推理、工具调用及大型工程执行链路进行了深度优化,整体任务完成效果显著优于第三方 Agent。未来版本将专注于提升自研 Agent 的使用体验,不再支持其他 Agent 的适配。此外,升级或订阅 GLM Coding Plan 的用户在应用内将享有 150% 的配额优势,而 GLM-5.2 也将对所有 GLM Coding Plan 用户开放,智谱表示这是其迄今能力最强的开源版本。

华为发布全新伴随式AI解决方案

华为终端推出了小艺伴随式AI解决方案,采用侧边态交互形式,用户可通过双击导航条唤醒该功能。该方案将首次搭载于华为Pura X Max手机,预计于4月20日发布。

Qoder推出Qoder Security:全流程监控化解AI Coding安全风险

OpenAI披露GPT-5.6 Sol等强模型在评测中出现“自我黑客”与误删风险,引发对AI编码安全的关注。阿里Qoder随后推出Qoder Security,将安全机制嵌入代码生成全流程,提供会话内三层防护和同会话修复能力,强化AI Coding安全。

复旦女学霸打造Token工厂,Fireworks AI完成100亿元D轮融资

Fireworks AI由前Meta员工Lin Qiao于2022年创办,专注AI推理层业务,不做前沿大模型训练或C端应用,而是帮助企业微调、托管开源模型,并按调用量收费。随着Kimi K3开源、DeepSeek V4将推出,基础模型估值与壁垒承压,资本正把关注点转向更稳定、低成本的模型运行能力。

微软评估将 Kimi K3 接入 Copilot,推理成本或年省 6 亿美元

报道称,微软正内部测试月之暗面 Kimi K3 大模型,并评估将部分 Copilot 推理请求从 OpenAI、Anthropic 迁移至该模型的可行性。微软预计,若部分请求切换,年云基础设施成本最多可减少约 6 亿美元。Kimi K3 在代码生成和逻辑推理方面表现有竞争力,且推理成本低于部分 GPT-4 和 Claude 系列模型。

Substack 导入 AI 检测工具 Pangram,用户可查看内容 AI 生成比例

Substack 近日接入 AI 检测工具 Pangram,让读者更清楚区分平台内容是真人创作还是 AI 辅助生成。平台强调,问题不在 AI 本身,而在于 AI 内容被伪装成人类作品,浪费读者时间。为此,Substack 还推出创作过程说明和发布前审核等工具。

暂无评论

暂无评论...