「亲吻数难题」共找到 1592 篇相关文章
Nature Computational Science | 香港城市大学韦业等：复杂系统深度主动优化
本文通过集成深度神经网络和树探索能力，提出神经网络代理模型引导树探索的主动优化方法。该方法在超2000维数值优化问题中找到全局最优，在多领域表现优于现有方法，为小样本、高维优化难题提供通用技术。
SIGGRAPH Asia 2025最佳论文 | 港中大、曼彻斯特大学获奖
SIGGRAPH Asia 2025将“最佳论文奖”颁给港中大与曼彻斯特大学团队研究。该研究提出全新切片计算框架，把切片生成与路径规划转化为数学优化问题，解决传统DLP 3D打印难题，还介绍了进阶策略和实验结果。
对谈 Skyris 张宇诺：AI 陪伴机器人会飞，理所应当 | 00 后创业者系列
这是对 00 后创业者张宇诺的访谈，他介绍了 Skyris 会飞陪伴机器人的设计灵感、特点及优势，还谈及创业经历、对陪伴的理解，以及产品研发难题、规划等，最后提到 GAIR 2025 大会将邀 00 后 AI 创业者分享。
斯坦福与Adobe新研究，模仿蒸馏技术轻松让200亿参数图像生成高质量大模型
斯坦福大学和Adobe研究院联手，用pi - Flow技术让200亿参数文本到图像大模型4步内生成高质量、高多样性图片。此前少步生成有质量和多样性问题，他们推出GMFlow和pi - Flow解决难题，LakonLab是其背后工程支撑。
Anthropic 研究员：强化学习将推动 Transformer 实现 AGI
在 AI Agenda Live 纽约活动上，Anthropic 强化学习团队技术负责人 Sholto Douglas 称，无需新架构突破，强化学习能让 Transformer 达人类专家级别表现，接近 AGI。但定义「好表现」是难题，Anthropic 或投 10 亿美元提升模型企业应用表现。
GPT-5通过“哥德尔测试”！独创性解决博士生都得花几天时间的开放数学问题
最新论文中，研究人员让GPT - 5挑战5个未解决的优化猜想，它解出3个，还对一题给出不同有效证明方案。测试题需博士水平研究者花几天完成，研究还“挑衅”了陶哲轩对大模型数学能力的印象。
一家低调的工业AI公司，用TPT跨越生成式AI鸿沟｜甲子光年
麻省理工学院报告指出约95%生成式AI企业试点无实质回报，存在生成式AI鸿沟。工业AI落地难，中控技术的TPT及TPT 2模型，在兰州石化榆林化工应用效果好，其优势源于数据和行业经验，也体现了破局决心。
Meta联手UCSD发布DeepConf：计算成本暴降85%，99.9%准确率！
Meta AI联合UCSD推出DeepConf技术，解决了AI高难度推理准确率与计算成本的难题。它让AI学会“察言观色”，筛选靠谱推理路径，在AIME 2025竞赛中与GPT - OSS - 120B模型取得99.9%准确率，还节省大量计算资源。
AI Coding 产品的陷阱：有 PMF 但还没有做到 BMPF
AI Coding 产品增长迅速，如 Lovable 预计年底 ARR 达 2.5 亿美金。但也暴露出盈利难题，多数产品利润为负。解决办法要么自建模型，但成本高；要么等大模型成本下降，却不太可行。AI Coding 产品或未实现 BMPF。
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
腾讯AI Lab与上海交大团队联合推出首个基于自然语言的数学定理证明框架与数据集DeepTheorem。12.1万道高难度数学“特训题”让模型定理证明性能大涨，7B模型性能比肩或超越现有开源和商业模型。