展会信息港展会大全

陶哲轩宣布“等式理论计划”成功,人工智能57天证明超过2200万个数学关系 | 环球科学要闻
来源:互联网   发布日期:2024-11-25 13:20:40   浏览:0次  

导读:将环球科学设为星标周一至周五第一时间掌握最新鲜的全球科技资讯天文学我国新一代地基红外天文望远镜发布首批观测图像左图为中山大学80CM望远镜拍摄的近红外波段图像,圆圈中为超新星SN2024xal,右图为两微米全天巡天项目拍摄的近红外波段历史图像。图片来源:中山大学物理与天文学院近日,中山大学80厘米望远镜在青海冷湖天文观测研究基地投入观测,并成功发布首批观测图像。 ......

将环球科学设为星标周一至周五第一时间掌握最新鲜的全球科技资讯

天文学我国新一代地基红外天文望远镜发布首批观测图像陶哲轩宣布“等式理论计划”成功,人工智能57天证明超过2200万个数学关系 | 环球科学要闻

左图为中山大学80CM望远镜拍摄的近红外波段图像,圆圈中为超新星SN2024xal,右图为两微米全天巡天项目拍摄的近红外波段历史图像。图片来源:中山大学物理与天文学院

近日,中山大学80厘米望远镜在青海冷湖天文观测研究基地投入观测,并成功发布首批观测图像。该望远镜观测红外波段,可以在空间中的X射线、伽马射线卫星以及地面上的光学巡天望远镜发现暂现源后,快速指向目标进行红外波段观测。望远镜首批观测目标为超新星SN2024xal,并在持续监测过程中观测到其光度明显下降。

由于宇宙膨胀,宇宙中较远的天体会发生红移,导致其光谱向红色波段偏移。近红外观测对于研究早期宇宙中类星体的形成和演化至关重要。此前我国上一代红外望远镜采用光电倍增管探测器,不能直接成像;而中山大学80厘米望远镜使用国产探测器在红外K波段实现科学级成像观测,大大提高了观测效率。(新华网)

人工智能陶哲轩宣布“等式理论计划”成功,57天完成超过2200万个数学关系证明

据量子位消息,11月22日,数学家陶哲轩(Terence Tao)在社交媒体上宣布,其发起的“等式理论计划”( Equational Theories Project)已经“暂时”取得成功:在人类科学家与AI的通力合作之下,该项目最后一个未解决的蕴含关系已经被解决(待验证)。仅仅57天,该项目就解决了4694个等式之间22 028 942个蕴含关系。陶哲轩表示,尽管该项目尚未完全完成,但宣布最终成功只是时间问题,因此他们已经开始着手撰写研究成果。

据悉,“等式理论计划”由陶哲轩本人在2024年9月25日发起,目的是探索按蕴含关系排序的原群(magma)等式理论空间。该项目旨在采用“数学家+AI(包括自动定理证明系统和大模型)+证明辅助语言Lean”的协作方式,构建一个展示4694个magma等式(最多四次使用magma操作)之间所有蕴含关系的“蕴含图”。项目发起当日就正式启动,仅仅9天,项目进度就达到了99.866%,到第19天进度已达99.9963%。现在,在超过2200万个需要证明的蕴含关系中,8178279个已被证实,13855193个已被证伪,仅有162个还悬而未决。(量子位)

行星科学火星40多亿年前就有热水活动

陶哲轩宣布“等式理论计划”成功,人工智能57天证明超过2200万个数学关系 | 环球科学要闻

被称为“黑美人”的火星陨石样本。图片来源:Aaron Cavosie

寻找早期火星上含水流体的直接证据,对于我们了解火星上水的起源和宜居性等很有意义。在一项发表于《科学进展》(Science Advances)上的新研究中,研究者发现了火星古代热水活动的最早直接证据,揭示了该星球在过去的某个时期可能适宜居住。

研究分析了著名的火星陨石NWA7034(也叫黑美人,Black Beauty)中一颗具有44.5亿年历史的锆石颗粒。研究团队通过纳米级成像和光谱分析,确定了这颗独特锆石中的元素模式,其中包括铁、铝、钇和钠。在44.5亿年前该锆石形成时,这些元素就进入其中,这表明在火星早期岩浆活动中就有水的存在。这项研究表明,火星上40多亿年前就已经存在热水活动了,这使我们对早期火星有了更进一步的了解。(CURTIN UNIVERSITY)

考古学科学家发现迄今最古老字母文字,比之前认为的早500年


陶哲轩宣布“等式理论计划”成功,人工智能57天证明超过2200万个数学关系 | 环球科学要闻

迄今最古老字母文字。图片来源:约翰霍普金斯大学

过去,人们一直认为,最早的字母文字发明于公元前1900年左右,起源于埃及或其周边地区,但一项11月21日公布于美国海外研究协会(ASOR)年会的研究挑战了这一观念。据美国约翰霍普金斯大学消息,科学家近期在叙利亚的一座古墓中发现了一些黏土制成的圆柱形物体,其上的刻痕似乎是迄今发现的最古老的字母文字,可以追溯至约公元前2400年,比此前已知的字母文字早了约500年,改写了考古学家对字母起源的认知。

据悉,研究人员在叙利亚北部的Tell Umm-el Marra进行考古发掘时,在一座古墓中的陶器旁发现了四个轻微烘烤过的粘土圆柱体,上面似乎有字母文字。由于这些圆柱体上留有孔洞,研究人员猜测,古人可能用绳子将这些圆柱体拴在另一个物体上作为标签,例如用于描述容器的内容物,或者容器的来源和拥有者。这些文字不仅比此前认为的文字起源更古老,而且来自非埃及周边地区,表明字母文字的起源可能和此前认为的不同。(约翰霍普金斯大学)

材料学新型涂层增加钙钛矿电池寿命

钙钛矿太阳能电池因为其较高的效率和低成本生产的潜力在学术界一直有较高的热度,但因为稳定性问题,一直难以实用。近日,一篇发表在《科学》(Science)上的论文用一种新的薄膜涂层增加了钙钛矿电池在真实环境中的寿命。

此前,大多数研究重点研究如何提升钙钛矿材料本身的稳定性,但这种方式可能会降低钙钛矿本身的性能。在本次研究中,研究人员着重探究了钙钛矿电池表面保护层的作用。此前,先进的钙钛矿电池通常采用铵盐做钝化层,但它可能在热应力下分解。本研究的关键在于对钝化层进行化学处理,将不稳定的铵转化成更稳定的脒盐。处理后,钙钛矿电池的效率可达26.3%,并且该电池在高温(85℃)和阳光下,衰减到初始效率90%的时间(即T90寿命)为1100小时,是先前研究的3倍。(Interesting Engineering)

编辑/撰写:王昱、黄雨佳、冬鸢封面来源:pixabay

赞助本站

相关内容
AiLab云推荐
展开

热门栏目HotCates

Copyright © 2010-2024 AiLab Team. 人工智能实验室 版权所有    关于我们 | 联系我们 | 广告服务 | 公司动态 | 免责声明 | 隐私条款 | 工作机会 | 展会港