「数学成果」共找到 1026 篇相关文章
人类56年解不出，谷歌AI一夜连破9道世纪难题！
Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。
抢先李飞飞！世界模型能多人联机玩FPS游戏了
Odyssey公司推出世界模型Agora - 1，驱动网页版多人FPS游戏，无游戏引擎等，画面实时生成。该公司专注通用世界模型，此前业务转向主动交互，此成果解决多人游戏一致性难题，还发布多模态模型Starchild - 1。
IMO/IOI奖牌得主18000人追踪：1500倍概率成亿万富翁
知名X博主Deedy挖出18000名IMO、IOI、IPhO奖牌得主职业去向。这群人成亿万富翁概率是普通人1500倍，成独角兽创始人概率是4000倍。分析了他们大学选择、职业方向，也探讨了中国选手去向。
坪山芯链通！坪山区半导体与集成电路公共服务平台联动发展活动圆满举办
4月28日，坪山区半导体与集成电路公共服务平台联动发展活动举办。活动通过平台揭牌、演讲、参观等环节，搭建政企学研资协同平台。六大平台展示成果与能力，活动打通平台与企业沟通渠道，助力产业发展。
罕见！Meta、OpenAI、xAI联合分享了用生产环境提升LLM的最佳实践！
Meta、OpenAI、xAI联合发表成果CharacterFlywheel，聚焦在生产环境提升社交型AI对话能力。团队基于LLaMA 3.1迭代15个版本，7/8的A/B测试显示正向提升，介绍了架构、数据管道、奖励模型等内容。
从平面几何出发：形式化验证如何驱动MLLM的推理能力跃迁
多模态大语言模型在复杂数学与几何推理中有缺陷，现有训练方式让模型难有鲁棒推理能力。上海交大等团队提出“以形式化增强非形式化推理”方案，构建完整闭环，提升模型推理及泛化能力。
无需奖励函数！我们意外构建了自我进化的AI系统
牛津大学发现LLM可通过“部署 - 验证 - 再训练”循环自我进化，绕开人工奖励函数设计瓶颈。在三个经典规划领域实验效果惊人，还在理论上证明其与强化学习的数学等价关系，有优势也有隐患。
大模型中标TOP10里的黑马：中关村科金的应用攻坚之道
2025 年中国大模型产业招投标市场爆发，应用类项目占比近六成。中关村科金以 23 个中标项目入围应用类 TOP10，在多行业落地成果显著。2026 年行业将聚焦 ROI、数据壁垒等方面。
NeurIPS 2025 Best Paper | 扩散模型不为人知的“时间差”：为什么先学会创作，后学会抄袭？
深度学习中，扩散模型能生成新图像且抗过拟合。巴黎高师和博科尼大学研究团队论文指出，这源于隐含的动力学正则化，训练分两阶段，数据量增加会拉开‘泛化窗口’，还给出数学解释。
AI热点选品：当推荐系统遇上“热点”，我们需要一场变革
文章指出当下推荐系统追踪热点滞后，存在时效、解码、迭代困境。为此启动热点AI选品项目，构建自动化热点响应系统，经多环节处理输出优质候选集，还介绍成果、后续优化方向及AIGC图像生成方案。