图灵奖颁给强化学习师徒,一个造船改行写代码,一个痛批AI投身AGI

计算机最高奖图灵奖揭晓。强化学习先驱Andrew Barto与Richard Sutton共同获奖,他们被评价为’引领基础AI技术开发的研究人员’。两位是师徒关系,Barto和他的博士研究生Sutton将马尔可夫决策过程的数学基础应用于强化学习框架中。

速递|谷歌开源AI模型SpeciesNet,通过图像识别分析物种

谷歌推出Wildlife Insights平台,帮助研究人员在线分享、识别和分析野生动物图像。该平台基于SpeciesNet AI模型训练的超过6500万张公开可用图像,涵盖2000多个标签,加速相机陷阱数据分析。

多元推理刷新「人类的最后考试」记录,o3-mini(high)准确率最高飙升到37%

研究者提出了一种多元推理方法,结合多种模型和方法来提高推理模型在复杂基准上的准确率。该方法通过交互式定理证明器、代码自动验证和 best-of-N 算法等技术,显著提升了 IMO 组合问题和 ARC 谜题的解决能力,并解决了大量人类无法解答的问题。