AI的几何学能力接近奥赛金牌选手；奥特曼：人类水平的AI即将出现，但影响会远比想象中小 | 环球科学要闻

将环球科学设为星标

周一至周五

第一时间掌握

最新鲜的全球科技资讯

据美国消费者新闻与商业频道（CNBC）消息，当地时间1月16日，美国人工智能公司OpenAI的首席执行官萨姆·奥特曼（Sam Altman）在瑞士达沃斯世界经济论坛上表示，达到人类水平级别的人工智能即将出现，但它给世界带来的变化会比我们想象的要小得多，给工作带来的变化也比我们想象的要小得多。

奥特曼表示，人们总担心人工智能有朝一日会变得很强大，会极大地重塑和颠覆世界，实际上这种担忧是被夸大了。奥特曼特别提到了通用人工智能（AGI）。他说，通用人工智能可能会在“相当近的将来”开发出来。此前，奥特曼曾表示，人工智能已经成为“令人难以置信的生产力工具”，但它尚未以许多经济学家担心的规模取代工作岗位。（CNBC）

最近，在一项发表于《自然》（Nature）上的研究中，科学家使用韦布空间望远镜（JWST）在早期宇宙探测到了一个质量约为太阳数百万倍的大质量黑洞，是迄今探测到的最古老的黑洞。

根据宇宙学标准模型，这个新发现的黑洞需要大约十亿年才能成长到如今观测到的大小，但它被发现时，宇宙的年龄还不到十亿年。在早期宇宙观测到如此巨大的黑洞，意味着科学家需要考虑它们形成的其他可能的方式，比如“生来就很大”或“生长速度极快”。这个年轻的黑洞和其他黑洞一样，需要吞噬宿主星系的物质来成长，但研究人员发现这个黑洞吞噬其宿主星系GN-z11的过程极为活跃。GN-z11是一个致密星系，大约比银河系小一百倍，但当其中心黑洞吸积过多物质时，会遏制恒星形成的过程，“杀死”星系，而这也会切断黑洞的“食物”来源。这项发现加深了天文学家对早期宇宙黑洞的理解，挑战了天文学家对于黑洞如何形成以及成长的假设。（UNIVERSITY OF CAMBRIDGE）

一块硬币大小原子能电池，或可稳定发电50年

图片来源：贝塔伏特公司

1月8日，北京贝塔伏特新能科技有限公司（以下简称“贝塔伏特”）宣布研制出微型原子能电池。研发团队利用镍-63核同位素衰变技术和金刚石半导体，将原子能电池小型化、模块化、低成本化，这项技术刚获得中核集团2023年创新大赛三等奖。该公司的首个产品——BV100电池的功率是100微瓦，电压3伏，体积是15×15×5立方毫米，比一枚硬币还小。

上世纪60年代，为了给航天器提供长时间持续的能量，美苏相继研发出核电池，原理是核辐射升温，用温差发电。这类核电池体积大、昂贵，应用场景有限。另一类核电池，可将辐射直接转化为电能——放射性元素衰变中发射的β粒子（正电子）照射半导体，产生电流，但效率很低。为了更有效率地捕捉β粒子，贝塔伏特的科学家团队开发了一种高性能的单晶金刚石半导体，厚度仅为10微米；2微米厚的镍-63薄片放在两片金刚石半导体转换器之间，稳定持续地激发出电荷，一种超长碳纳米管制造的超级电容负责收集这些电荷。贝塔伏特公司表示，新式核电池可以实现50年稳定发电，无需充电、无需维护，不产生外部辐射，量产投入市场后，将满足航空航天、人工智能设备、医疗器械、微型机电系统、传感器、小型无人机和微型机器人等长续航场景需求。如果功率足够，配备核电池的手机将不再需要充电，小型无人机也无需返航充电。（科技日报、贝塔伏特公司）

奥林匹克水平的数学定理证明需要高水平的逻辑推理和解题能力，不过当前基于机器学习的AI系统在证明数学定理方面还有困难。因为将人类证明转换为机器可验证格式的成本很高。此外，由于作为训练数据的人类示范很少，定理证明（尤其是几何学定理）很难被掌握。不过1月17日，一项由Google DeepMind研究团队发表于《自然》（Nature）杂志的研究描述了一个能解国际数学奥林匹克竞赛（IMO）级别几何题的人工智能（AI）系统 AlphaGeometry，表现超过了之前最好的自动化定理证明系统。该研究证明了AI能以接近人类最高水平破解复杂逻辑挑战的潜力——这正是AI研究的一个主要目标。

研究人员提出了一个欧几里得平面几何的定理证明器AlphaGeometry。该算法通过综合复杂程度各异的数百万条定理和证明，利用一个神经语言模型完成自我训练，不需要人类示范的定理证明方法。这种方法结合符号演绎引擎（能搜索难题中的大量分支点），能让AlphaGeometry在无需人类直接输入的情况下学习并解开复杂问题。研究人员使用国际数学奥林匹克竞赛2000-2020年的30个问题测试了该系统，AlphaGeometry解出了其中的25题，接近国际数学奥林匹克竞赛金牌选手的平均表现，而之前最优秀的自动化定理证明系统只解出了10题。值得一提的是，AlphaGeometry能生成人类可阅读的证明，甚至发现了2004年国际数学奥林匹克竞赛定理的一个更广泛版本。

据悉，人类大概在5万~1.5万年前的某个时间驯化了狗，随后狗和人类的生活有了十分密切的联系。主人经常会依靠家狗（Canis familiaris）摇尾巴来解释它们的感受，但这个行为是如何进化的还不清楚。1月17日，在一篇发表于《生物快报》（Biology Letters）的研究中，科学家认为狗之所以频繁地摇尾巴，可能是因为人类喜欢有节奏的行为。

他们总结了关于狗摇尾巴这种行为的机制、个体情况和功能等各种已知情况，并提出了两种假设来解释与其他犬科动物相比，狗摇尾巴的频率增加的原因。研究显示，在驯化过程中，家狗增强的、有节奏的摇尾行为可能是一些行为的副产物，如表示温顺和驯服，或者是由于节奏会对人类产生刺激，因此倾向于选择有这种行为的狗。有针对性的摇尾研究或可以为研究犬类行为学和人类特征的进化史提供一个窗口，比如人类为何能感知和产生有节奏的行为。

撰写：不周、clefable

封面图来源：Pixabay