研究显示:AI数学证明效果提升显著
问题提出:当两套研究同时借助 AI 攻克同一道难题 上周四,麻省理工学院(MIT)研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校(UCSB)博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ananth 开会,无法立刻查看,并在会上得知了针对同一结论的另一份证明。会后他回信给 Ragavan 说:"我们无疑正生活在奇怪的时代。" 那一天,研究人员向 arXiv.org 提交了两组预印本论文:一篇来自 Ragavan,另一篇来自 Ananth 与加州大学洛杉矶分校(UCLA)教授 Amit Sahai。两篇论文都将核心证明思路与构造归功于 OpenAI 最新发布的 GPT-5.6 Sol Ultra。两份手稿仅相隔约三小时,却各自独立地抵达了同一数学结论,这一现象迅速在学界引发讨论。 深入分析:独立发现还是殊途同归 这种"会合"......阅读全文
专访宗传明:数学奠定“后量子密码”的基础
今年7月5日,美国国家标准与技术研究院(NIST)公布了4项后量子密码标准,旨在抵御未来量子计算机的攻击。 科学家普遍认为,基于量子科学原理建造的量子计算机将大大地超越电子计算机,而现代通信所利用的许多密码体系在量子计算的攻击下将不堪一击,能够抵抗这一攻击的现有或新一代密码算法就是“后量子密码”。
研究显示:AI数学证明效果提升显著
问题提出:当两套研究同时借助 AI 攻克同一道难题 上周四,麻省理工学院(MIT)研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校(UCSB)博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
科学家发现草原极端干旱“密码”
北京林业大学草业与草原学院教授庾强联合美国科罗拉多州立大学等3个国家19家单位的科研人员,发现了非优势物种这一“密码”,为更好地了解在未来气候变化的情况下,草原生态系统怎样响应长时间的干旱提供帮助。1月30日,相关研究成果发表在《自然》上。该论文也是北京林业大学建校70多年来首篇《自然》正刊论文。极
数学证明AI化正成新风口
一个长期难题正迎来转机:如何让数学证明既严谨又可被机器验证?记者Kevin Hartnett在新书《代码中的证明》(The Proof in the Code)中,追溯了能攻克难题的计算机程序崛起之路,揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克(IMO)。那年,谷歌Dee
人工智能帮助数学家发现新的猜想和定理
中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称,科研人员研发出一个机器学习框架,能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发,已经帮助发现了不同纯数学领域的两个新猜想,这项研究展示出机器
独立国际人工智能科学委员会成立
全球数十名研究人员现已加入一个科学委员会,负责分析人工智能带来的各类影响。据《自然》报道,观察人士将这个由联合国召集、名为独立国际人工智能科学委员会的机构,比作影响力巨大的政府间气候变化专门委员会(IPCC),后者为各国政府提供最新气候变化科学依据。 该委员会共有40名成员,于2月12日经联合
2025图灵奖揭晓!量子信息科学两位奠基人斩获“计算机界诺奖”
近日,被誉为“计算机界诺贝尔奖”的图灵奖揭晓。美国计算机协会(ACM)宣布,将2025年图灵奖(ACM A.M. Turing Award)授予美国物理学家、IBM研究员查尔斯·贝内特和加拿大计算机科学家、蒙特利尔大学教授吉尔·布拉萨德,以表彰他们在奠定量子信息科学基础,以及推动安全通信和量子计算发
科学家发现新型量子物质
一项发表于新一期《自然·物理》杂志、由美国莱斯大学等机构科研人员主导的研究,报道了一种能为未来技术提供动力的新型量子物质态。该研究融合了量子临界性与电子拓扑学这两个重要物理领域,可为计算、传感及材料科学带来新的发展机遇。 团队通过理论模型预测,电子在强相互作用下能够产生拓扑行为。量子临界性通常
如何对抗量子计算攻击?“后量子密码”保安全
原文地址:http://news.sciencenet.cn/htmlnews/2023/7/504833.shtm“现代公钥密码学自20世纪70年代诞生起,业已成为当今和未来各种网络形态的安全信任根基。而随着量子计算的发展,未来可能会彻底颠覆现代公钥密码学。”近日,在第三届雁栖湖国际后量子密码标准
科学数据,走向独立
“学生如果只发数据论文,是毕不了业的。”6月27日,北京师范大学教授、《数据快报(英文版)》(Data Express)副主编左西年对《中国科学报》记者时说。刚刚,他在一场学术报告上展示了一组数字:16年前,他联合全球33家实验室共享的1347个脑影像样本数据,如今已被全球3万余项研究直接或间接
上海提议建独立的人工智能学院!
上海提议:建独立的人工智能学院! 在国家战略的指导下,上海推出了人工智能发展规划。 产业的发展离不开人才的支撑。在今年上海两会上,张毅等24名委员联名提案,应设立独立的人工智能学院,培养应用型人才,满足发展需要。 “目前,上海人工智能人才引进和培养迎来高速发展期, 但也存
第九次中国科协论坛聚焦量子密码应用基础性问题
量子密码学和现代密码学的博弈 随着社会信息化的迅猛发展,信息安全问题越来越受到世界各国的广泛关注,密码作为信息安全的重要支撑备受重视,各国都在努力寻找和建立绝对安全的密码体系。由于近年量子信息尤其是量子计算研究的迅速发展,现代密码学的安全性受到了越来越多的挑战。 在不久前举行
人工智能“进军”数学领域-首次帮助人类发现两个新猜想
英国《自然》杂志1日发表了一个机器学习框架,能帮助数学家发现新的猜想和定理。该框架由深度思维(DeepMind)开发,已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中,支持数学研究。这也是计算机科学家和数学家首次使用人工智能(AI)来帮助证明或提出纽结理论和表
Nature评述:「量子人工智能」会彻底改变科学吗?
科学家们正在探索量子机器学习的潜力。但人工智能与量子计算的融合是否会带来有用的应用,目前还不清楚。 谷歌在探索量子计算机能否帮助机器学习 这就是未来计算的复仇者联盟。将机器学习和量子计算机这两个科技界最热门的词汇放在一起,就是量子机器学习。就像《复仇者联盟》漫画和电影一样,汇集了全明星超级英
量子计算机解开“绳结”数学难题
量子计算机在解决拓扑学难题上展现出巨大潜力。据英国《自然》网站日前报道,总部位于英国剑桥的Quantinuum公司研究人员在arXiv网站发布预印本论文称,他们可利用量子计算机H2-2根据拓扑特性区分不同类型的绳结,且速度可能超越经典计算机。 研究团队利用量子算法计算绳结的“琼斯不变量”(描述
雀巢发现肥胖生物密码
一项新的研究显示,内脏型肥胖患者的共同特征是都具有一组独特的生物密码,这些密码在将来可用来发现那些面临因肥胖而产生健康问题风险的人群。 来自雀巢瑞士研究中心的科学家对内脏型肥胖的女性进行了研究。科学家发现她们的血脂和氨基酸都具有明显的“代谢指征”,并且其肠道微生物活动产生了特殊的变化。雀巢
遗传密码的发现历史
遗传密码的发现是20世纪50年代的一项奇妙想象和严密论证的伟大结晶。mRNA由四种含有不同碱基腺嘌呤(简称A)、尿嘧啶(简称U)、胞嘧啶(简称C)、鸟嘌呤(简称G)的核苷酸组成。最初科学家猜想,一个碱基决定一种氨基酸,那就只能决定四种氨基酸,显然不够决定生物体内的二十种氨基酸。那么二个碱基结合在一起
IBM三项独立实验实现“量子优势”
科技日报北京8月2日电 (记者张佳欣)据国际商业机器公司(IBM)官网最新消息,该公司联合多家机构,在三项独立实验中实现了“量子优势”。这些实验展示并验证了量子计算相对于经典计算的优势,并证明量子系统能在部分任务中提供比经典计算方法更高效、更低成本或更准确可信的计算结果。 此次三项实验均基于I
科学家首次发现细胞命运密码并解码新技术
中国科学院广州生物医药与健康研究院研究员裴端卿领衔的科研团队经过5年攻关,揭示了化学方法制备干细胞的科学原理,开发了简单、高效、标准化制备干细胞的方法,为诱导多能干细胞的研究和优化制备途径提供了全新的科学视角和解决方案。相关研究于北京时间4月6日凌晨在线发表在《细胞—干细胞》上。 “该研究使我
验血可预测寿命?英国科学家发现血液衰老“密码”
简单的血检就能揭秘人的衰老过程 据英国《每日邮报》报道,在不远的将来,通过验血就能够告诉你能活多少岁,你将得什么病,还能告诉你衰老的速度。科学家在血液里发现了一种化学“指纹”,可以在婴儿一出生时就通过验血提供其长期健康状况和晚年衰老速度的线索。 蒂姆·斯佩克特教授来自英国伦敦国
科学家发现影响CART疗效的独立不良因素
安徽医科大学第二附属医院翟志敏教授团队就“CAR-T治疗白血病”课题开展临床研究,首次报告了骨髓外侵犯和高抑制性T细胞是影响CAR-T治疗疗效的独立不良因素。研究表明,国内CAR-T治疗技术完全可以媲美欧美发达国家水平。相关成果日前发表在《自然—通讯》上。 新型基因疗法CAR-T,是近年来发
上海数学中心数据科学与人工智能联合实验室正式设立
近日,由上海数学中心、教育部学校规划建设发展中心以及北京中科特瑞科技有限公司共同筹建的上海数学中心数据科学与人工智能联合实验室,完成了战略合作协议的签署。这一科研机构的设立,是我国在数据科学与人工智能领域,首次由国际顶尖水平的科研团队领衔,整合全国范围内相关高校的人才和计算资源,与跨区域的大数据与人
张继平:期待更多“凝聚态数学式”的大数学出现
什么是大数学发展观?3月14日,2023年的国际数学日,中国科学院院士、北京大学博雅讲座教授张继平受中国数学会和中国工业与应用数学学会、中国运筹学会的邀请,以“大数学发展观”为题发表演讲。张继平化用国学大师王国维先生的“学术无新旧之分,无中外之分,无有用无用之分”之语称,数学无新旧之分,无中外之分,
科学家发现奇异液态自旋量子-可用于量子计算机
科学家们在剑桥大学主导的研究中发现了一种在40年前被首次预测到的奇异的新状态物质。液态自旋量子是一种物质的神秘状态,它被世人认为暗藏于某些磁性物质,但从未在自然界中被确凿发现据国外媒体报道,科学家们在剑桥大学主导的一项研究中发现了一种在40年前被首次预测到的奇异的新状态物质。这种名为液态自旋量
量子纠缠可能并不神秘:用数学解释物理
摘要:在微观物理学中,有许多稀奇古怪的现象,搞得老百姓莫名其妙;其实许多物理学家也只是知其然,却不知其所以然。于是,便有人(甚至是非常牛的科学家)搬出了万能的上帝。下面我们也请出一位真上帝,求它帮我们解释诸如电子能级跃迁、波粒二象性、量子纠缠等微观物理学中最玄幻的三个问题。这位真上帝,名叫数学;它将
未来密钥安全- 后量子密码算法来保护
早在量子计算时代到来前,互联网就已经进入了后量子时代。许多人对未来量子计算机破解现代生活所依赖的密钥的能力感到担忧,因为这些密钥保护着从智能手机银行应用到在线支付的一切流程。 据《自然》报道,近日,美国国家标准与技术研究院(NIST)正式公布了其认可的能够抵抗量子计算机攻击的4项密码技术,即C
世界级数学难题,人大团队攻破!
日前,以中国人民大学数学学院院长郑志勇教授为首的现代密码学研究团队,运用理想格理论与中国剩余定理,首次提出了不依赖重采样技术的无界全同态加密算法,在信息安全领域顶尖学术期刊上发表主题为《基于理想格和中国剩余定理的无界全同态加密技术》的开创性研究成果,并先后出版以世界上首本对抗量子密码进行系统性数学证
走近“颠覆性技术”:量子通信能否取代传统通信?
打个电话,会不会被窃听?通过网络传送一份保密文件,途中被他人窃取咋办……现代社会,信息安全面临的问题越来越多。 有没有一种不可破译的保密方式,能让传送的信息绝对安全可靠?近些年来,量子通信技术的飞跃发展正让梦想成为现实。 一问:什么是量子? 量子是光子、质子、中子、电子、介子等基本粒子的
量子通信是迄今唯一被严格证明无条件安全的通信方式
打个电话,会不会被窃听?通过网络传送一份保密文件,途中被他人窃取咋办……现代社会,信息安全面临的问题越来越多。 有没有一种不可破译的保密方式,能让传送的信息绝对安全可靠?近些年来,量子通信技术的飞跃发展正让梦想成为现实。 一问:什么是量子? 量子是光子、质子、中子、电子、介子等基本粒子的
科学家发现“无痕截获”量子通信方法
科技界通常认为,如果量子通信遭人窃听,通信接收方的探测器会很快发现。但挪威研究人员在新一期英国学术刊物《自然—光子学》上报告说,他们找到一种“无痕截获”量子通信的方法,可以在通话双方没有丝毫觉察的情况下获得通话内容。 在微观世界里,不论两个光子等粒子间的距离有多远,一个粒子的变化都会