「数学超级智能」共找到 3864 篇相关文章
ICLR 2026 Workshop 征稿开启：迈向 Lifelong Agent 终身智能新范式
人工智能进入新转折点，AI Agent 崛起但存在瓶颈。ICLR 2026 Workshop 开启征稿，旨在推动“Lifelong Agent”研究范式，打通多方向，定义 Agent 发展新里程碑，介绍了时间、地点、征稿方向等信息。
仅有一位作者的论文，却补上了城市智能的「最后一公里」
郑宇教授用论文提出跨域多模态知识融合框架，在空气质量推断等多场景优势明显，其研究按数据选择等四阶段进行，解决数据难题，推动AI用于城市问题，为跨部门协作提供可能。
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
大小模型协同架构在金融智能投顾中的应用与挑战
本文整理自北银金科高级算法专家尹辰轩分享，介绍大小模型协同架构下的大模型投顾方案，能解决幻觉问题、优化回答深度。还提到 12 月 19 - 20 日 AICon 北京站聚焦多热门方向。
M2模型杀回Coding和Agent领域，MiniMax想要「普惠智能」
如今大模型竞争转向综合比拼，MiniMax 发布并开源 M2 模型，在权威测评跻身全球第一梯队。它定位轻量级，Coding 与 Agentic 能力强，性价比高，还升级 Agent 产品，以技术普惠策略让用户零成本体验。
陶哲轩用GPT-5解决数学难题：仅29行Python代码
陶哲轩最新发帖称，GPT - 5帮他解决MathOverflow上的问题，证明序列lcm(1,2,…,n)并非高度丰数的子集。他与GPT - 5沟通生成参数，并用其生成的29行Python脚本验证，且未遇AI幻觉问题。这不是他首次用AI解题。
超级AI云，未来10年阿里云的核心战略 | 甲子光年
9月24日，阿里云CEO吴泳铭在云栖大会给出发展方向，要成全栈人工智能服务商。其All in AI，构建云基础设施、开源通义千问、布局Agent应用，按三阶段演进路线迈向ASI，还将加大投入提升数据中心能耗。
首个开源多模态Deep Research智能体，超越多个闭源方案
首个开源多模态Deep Research Agent登场，整合多种工具并优化决策。其WebWatcher技术方案覆盖全链路，实验中在四大核心领域领先主流模型，展现复杂推理和信息检索实力。
GAIR Live 预告｜世界模型——通向通用智能的关键拼图
随着AGI议题升温，‘世界模型’成前沿焦点。GAIR Live将邀顶尖学者与专家，探讨其定义、趋势等问题，还有直播议题如Lecun观点看法、不同领域世界模型差异等。
IMO 主席正式宣布：Google DeepMind在国际数学奥赛拿下金牌！
Google DeepMind的Gemini Deep Think模型在2025年IMO竞赛获金牌水平成绩。虽比OpenAI公布晚，但实现用自然语言解题质的飞跃。它采用增强推理模式，成绩经官方认证，后续将向用户开放。