人工智能帮助数学家发现新的猜想和定理
中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称,科研人员研发出一个机器学习框架,能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发,已经帮助发现了不同纯数学领域的两个新猜想,这项研究展示出机器学习如何整合进现存工作流支持数学研究。 据介绍,纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。 论文通讯作者、DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。......阅读全文
人工智能帮助数学家发现新的猜想和定理
中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称,科研人员研发出一个机器学习框架,能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发,已经帮助发现了不同纯数学领域的两个新猜想,这项研究展示出机器
南开大学启动“数学与人工智能实验班”项目
5月27日,南开大学数学科学学院与多点数智有限公司、智现未来科技有限公司、淡水泉投资管理有限公司正式签署合作共建备忘录,联合启动数学与人工智能实验班项目。 根据共建备忘录,数学与人工智能实验班将于2025年高考启动招生报名工作,并纳入“省身班”管理体系,采用“数学基础+人工智能技术”双轨培养以
做数学题,人工智能与人类高手不相上下
一年前,美国谷歌旗下DeepMind公司开发的人工智能问题解决器AlphaGeometry,在国际数学奥林匹克竞赛(IMO)中达到银牌选手水平,震惊了世界。IMO是为有天赋的高中生设置的难度极高的数学竞赛。DeepMind团队现在表示,系统升级后的AlphaGeometry2的性能已经超过了IMO金
人工智能“进军”数学领域-首次帮助人类发现两个新猜想
英国《自然》杂志1日发表了一个机器学习框架,能帮助数学家发现新的猜想和定理。该框架由深度思维(DeepMind)开发,已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中,支持数学研究。这也是计算机科学家和数学家首次使用人工智能(AI)来帮助证明或提出纽结理论和表
上海数学中心数据科学与人工智能联合实验室正式设立
近日,由上海数学中心、教育部学校规划建设发展中心以及北京中科特瑞科技有限公司共同筹建的上海数学中心数据科学与人工智能联合实验室,完成了战略合作协议的签署。这一科研机构的设立,是我国在数据科学与人工智能领域,首次由国际顶尖水平的科研团队领衔,整合全国范围内相关高校的人才和计算资源,与跨区域的大数据与人
生活中的数学之荧幕数学
数学作为社会生活的基本元素,不仅存在于教材中,也被不断挖掘于集时间艺术与空间艺术的复合体——影视艺术中。数学为电脑模拟真实世界提供了重要的途径,科学计算为视觉效果提供了无限可能。 美国数学家协会的数学家们曾说“特效产业是出现在数学家面前的一个令人兴奋的、全新的前沿领域,特效是数学的洞察力与电影
吴文俊:中国正从数学大国走向数学强国
中国科学院院士、数学泰斗吴文俊十一月二日在北京表示,经过七十多年发展,中国数学事业已今非昔比,中国正在从数学大国走向数学强国。 中国数学会第十次全国代表大会暨二○○七学术年会当日在北京开幕,吴文俊致辞时作上述表示。他希望年轻的数学家不断努力,使中国数学发展像“嫦娥”奔月一样,奔向数学强国。 另一位知
数学家试图借数学模型揭示肥胖之谜
肥胖研究似乎不属于数学范畴,但美国俄亥俄州立大学数学研究人员侯赛因·焦什昆不这样认为。他带领一个研究团队,试图借数学模型揭示脂肪细胞形成的过程并解开肥胖之谜。筛选 焦什昆阅读大量与前脂肪细胞转变为脂肪细胞相关的学术文章后,找出16种在这个转变过程中看起来最活跃的蛋白质,从中
《数学大师》:华罗庚先生从事应用数学事业的点滴回忆
《贴近人民的数学大师》,徐伟宣主编,科学出版社2010年10月出版,定价:50.00元 华罗庚教授是享誉世界的数学家,他的成就遍及数学很多重要领域。他把数学方法创造性地应用于国民经济领域,取得了显著的社会与经济效益,被誉为“卓越的人民数学家”。 11月12日是华罗庚教授诞
数学可以很“好玩”!
斐波那契数列、密铺问题、三角形数结合、九连环……一个个晦涩难懂地数学问题通过五彩斑斓的“积木”变得好玩、直观和立体。5月18日,在中国科学院数学与系统科学研究院“第二十届公众科学日”活动现场,聚集了不少小朋友,他们坐在地上或三两成群,探索着数学科学世界的美妙。今年活动的主题是 “砥砺二十载·科学新征
数学可以这么美!“极限集”数学艺术展启幕
5月9日,“极限集(Limit Sets)”数学艺术展在清华大学双清综合楼开幕。本次展览由清华大学丘成桐数学科学中心(以下简称“数学中心”)携手墨西哥驻华使馆,墨西哥国立自治大学墨西哥研究中心(北京)及其数学研究所联合主办,展出了墨西哥数学家奥宾·阿罗约 (Aubin Arroyo)的16幅精彩作品
《数学简史》:数学,人类文明的一面镜子
新年伊始,浙江大学数学系教授蔡天新连连收获喜讯,他撰写的科普作品《数学传奇——那些难以企及的人物》获得了国家科学技术进步奖二等奖,去年10月出版的《数学简史》又入选2017年度“中华优秀科普读书榜”。做数论研究的他,撰写科普读物的动力是用感性的方式把数学的意义传递给普通读者。让我们跟随《数学简史
张继平:期待更多“凝聚态数学式”的大数学出现
什么是大数学发展观?3月14日,2023年的国际数学日,中国科学院院士、北京大学博雅讲座教授张继平受中国数学会和中国工业与应用数学学会、中国运筹学会的邀请,以“大数学发展观”为题发表演讲。张继平化用国学大师王国维先生的“学术无新旧之分,无中外之分,无有用无用之分”之语称,数学无新旧之分,无中外之分,
数学筑基,软件突围
原文地址:http://news.sciencenet.cn/htmlnews/2024/1/515926.shtm
2023年中国数学会三大数学奖揭晓
原文地址:http://news.sciencenet.cn/htmlnews/2023/12/514795.shtm中国数学会第十四次全国会员代表大会暨2023年学术年会于2023年12月23日在辽宁大连召开。开幕式上公布了2023年中国数学会华罗庚奖、陈省身奖和钟家庆奖获奖名单。袁亚湘获得第十七
数学院等调控网络数学建模揭示干细胞分化关键转录因子
近期,国际学术期刊《细胞-干细胞》(Cell Stem Cell)在线发表了由中国科学院数学与系统科学研究院和美国斯坦福大学科研人员合作的干细胞分化的基因调控网络建模成果。这一成果提出了利用匹配的基因表达和染色质可及性数据刻画转录因子和调控元件结合调控下游基因表达的数学模型,构建了描绘细胞状态转
中科院数学院田野研究员获晨兴数学金奖
本报讯 世界华人数学家大会日前在台北举行,并颁发了晨兴数学金奖。中科院数学与系统科学研究院研究员田野因对数论领域的杰出贡献而获此殊荣,同时获奖的还有香港科技大学数学系副教授何旭华。 据了解,世界华人数学家大会每三年举行一次,1998年设立的晨兴数学金奖旨在表彰45岁或以下在基础数学和应
季理真:从中国现代数学的摇篮到数学的未来
不久前,在清华大学美丽和宁静的校园,来自14个国家的数学家们举行了会议,制定了未来的数学合作和协作计划,讨论了在数学领域未来需要解决的问题。他们代表40个主要的数学系和研究中心,如哈佛大学、剑桥大学、牛津大学等。 数学的未来是什么?这有赖于对学生和年轻一代的教育,他们掌握着未
125年数学界“奥林匹克”国际数学家大会开幕!
7月6日,由国际数学联盟主办的第29届国际数学家大会开幕,来自全球各地的杰出数学家将云端齐聚,交流成果与数学进展。受疫情影响,大会首次在线上举行。 国际数学家大会是数学界“奥林匹克运动会”之称,是全球数学界最高水平的学术会议,首届大会于1897年在瑞士苏黎世举行,至今已有125年历史。2002年
数学研究表明衰老不能阻止
美国亚利桑那大学研究人员带来了坏消息:从数学上看,像人类这样的多细胞生物,衰老无法阻止。 研究人员之一、亚利桑那大学教授乔安娜·梅塞尔在一份声明中说:“从数学上看,衰老不可避免,完全不可避免。逻辑上、理论上和数学上都没有办法。” 梅塞尔和博士后保罗·纳尔逊在新一期美国《国家科学院学报》上报告
让竞赛“退烧”,让数学“变热”
据报道,当地时间2月25日,第十一届罗马尼亚数学大师杯赛结果公布。在团体排位中,中国队排名第六;在个人成绩排名中,中国选手的最高成绩是第15名。6名中国选手中,4人获得银牌,1人获得铜牌。 在2017第九届罗马尼亚数学大师杯赛中,中国选手曾获得个人第一名和团队第三名的好成绩。对比之下,有人将
雁栖湖数学展览馆开馆
7月15日,位于怀柔科学城的雁栖湖数学展览馆正式揭幕。雁栖湖数学展览馆以数学发展和传承为脉络展开,展现了近现代中外杰出数学家的学术成果和人生故事。雁栖湖数学展览馆揭幕仪式由北京雁栖湖应用数学研究院主办。“数学家盼望的不是万两黄金,也不是千年霸业,毕竟这些都会成灰烬。我们追求的是永恒的真理。我们热爱的
北大数学,再发顶刊!
9月5日,北京大学刘毅教授在国际顶尖数学期刊《Inventiones mathematicae》在线发表了题为 “Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups”
雷达液位计的数学原理
电磁波在空气中是以光速传播的, 雷达液位计距离物料表面的距离可用下式表示: D =(1/2)*CT 式中: D ———雷达液位计距离物料表面的距离; C ———光速 T ———脉冲时间。 则液位为: L = E -D 式中:L ———液位; E ———罐的总高; D ———空
郭雷院士:数学的妙用
随着现代实验、观测、计算和模拟技术与手段的不断进步,数学作为逻辑推理和定量研究的有力工具,深刻影响着科技进步和社会发展。在人类社会的发展过程中,数学的贡献不胜枚举,比如,在著名的阿波罗登月工程中,火箭上升和轨道修正就分别运用了 “极大值原理”和“卡尔曼滤波”两个关键数学方法;而Pa
世界强国必然是数学强国
世界强国必然是数学强国。2019年,李克强总理强调,“卡脖子”问题根子在基础研究薄弱,四部委联合发文加强数学研究,任正非等企业家在不同场合多次强调数学之重要……全社会对数学的重视程度前所未有,数学研究迎来了发展的春天。未来,数学仍将乘风破浪,在解决国家重大需求和强国建设中担当重任。 过去一年
又一“中俄数学中心”,来了!
5月31日,由四川大学负责建设的“中俄数学中心-成都基地”启动会在四川大学国际合作交流中心举行。李言荣在讲话中代表川大对中俄数学中心-成都基地的成立表示祝贺,对各位专家学者给予川大数学学科的大力支持表示感谢。他说,中俄数学中心是在李克强总理和孙春兰副总理的关心支持下成立的,对促进中俄数学领域合作,推
我们需要怎样的数学教育
“空气动力学、大数据,所有这些技术的发展都根植于数学。”世界数学大师、菲尔兹奖获得者、南方科技大学讲席教授埃菲·杰曼诺夫院士说,“数学毕业生,从我的经验来看,在技术公司的发展前景非常好。” 杰曼诺夫是享誉世界的数学大师,他解决了20世纪群论中最根本最困难的问题,把有限维约当代数的理论推广到无限
“中科院数学院成立20周年数学著作系列展”举办
近日,中科院数学与系统科学研究院(以下简称“数学院”)为纪念建院20周年,在数学家、中科院院士王元、杨乐,以及数学院研究员李文林等人的倡导下,推出了“数学院成立20周年数学学术著作系列展”。 从陈建功、熊庆来、姜立夫、苏步青、江泽涵等中国现代数学先驱人物的代表作,到华罗庚、陈省身、许宝騄、丘成
蜜蜂能理解抽象数学概念“零”
据新华社电 一个国际研究团队发现,蜜蜂可以理解“零”这个重要数学概念,与海豚、一些灵长类动物及学前儿童一样“聪明”。 发表在最新一期美国《科学》杂志上的研究表明,蜜蜂尽管脑子不大,却能理解复杂、抽象的数学概念,这为开发更加简洁的人工智能算法提供了新思路。 论文通讯作者、澳大利亚皇家墨尔本理工