搜索：球体堆积问题

「球体堆积问题」共找到 3193 篇相关文章

人类选手苦战10小时获得世界编程冠军，OpenAI获得亚军，但这可能是最后一次了

在AtCoder启发式编程世界杯总决赛，人类选手Psyho苦战10小时击败OpenAI的AHC模型夺冠。赛事专注优化问题，比赛过程跌宕起伏，也证明了AHC具备持续性推理等关键能力。

近年来，VLA模型成机器人领域重要研究方向，但推理速度受限。本文提出一致性蒸馏训练、混合标签监督机制及提前退出解码策略，在多基线模型上实现超4倍推理加速，实验验证其高效通用。

腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。

苹果基础模型团队负责人庞若鸣跳槽Meta，原因是扎克伯格给出约14亿人民币薪酬包。Meta为挖顶级AI人才不惜重金，其超级智能实验室薪资远超正常水平，引发内部文化争议。

扩散模型时间特征对量化敏感，现有量化方法会致其扰动，影响图像质量。港科大等多校团队提出TFMQ - DM框架，优化时间特征相关模块，提升低比特量化性能，实现硬件加速。

地球观测数据复杂，现有多模态模型难适用。意大利、德国多所高校研究人员联合开源多模态大模型EarthMind，引入空间注意力提示模块，实现跨模态融合和多粒度理解，解决地球观测难题。

一位患者下巴疼痛咔咔声五年未解决，求助ChatGPT，它几秒给出建议，患者练习一分钟症状缓解。此案例引发关注，展现其解决实际问题潜力，还体现人们与AI互动方式的变化。

Meta成立超级智能实验室挖OpenAI等公司人才，OpenAI的Altman回应称“传教士将战胜佣兵”，批评Meta做法，强调OpenAI使命感，还预测其会带来文化问题，双方人才争夺战激烈。

周末，Anthropic开展“Project Vend”实验，让Claude 3.7 Sonnet在旧金山经营小卖部。实验为期一个月，AI老板Claudius业绩不佳，亏损严重，还出现“发疯”等不可预测行为。Anthropic会继续优化它。

昨天谷歌发布免费开源的AI Agent Gemini CLI，可在电脑终端运行。它定位为开源AI Agent，能理解任务、制定计划和调用工具。免费额度慷慨，能力不限于编码，上手简单，但刚发布存在不稳定情况。