人工智能帮助数学家发现新的猜想和定理

中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称,科研人员研发出一个机器学习框架,能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发,已经帮助发现了不同纯数学领域的两个新猜想,这项研究展示出机器学习如何整合进现存工作流支持数学研究。 据介绍,纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。 论文通讯作者、DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。......阅读全文

袁亚湘:“幸运”离不开“优化”数学

  “运气是什么,是你在关键时刻做出对自己最有利的决策,而且正好在对的时间碰到对的人,做了对的事情。”  “我爱读书,买书也是我的爱好之一。”  “我爱打桥牌,现在有时也打,如果你感兴趣,可以参加我们所每双周五晚上的定期桥牌活动。”  “我曾经爱中距离跑步,但现在毕竟不再年轻而且也没场地,只好放弃,

南开青年学者追忆数学大师陈省身

在第38个教师节到来之际,9月9日,老中青三代南开教师齐聚一堂,深情追忆一代数学大师、“南开之星”陈省身爱国、爱科学的高尚品德与崇高风范,畅谈百年南开的师风传承与科教报国的人生追求,砥砺育人初心、担当师者使命,迎庆这个属于自己的节日。 座谈会前,与会师生代表一同来到与陈省身数学研究所大楼相

数学怎么能够使骨骼变强壮?

  我们的骨骼没有看上去那么坚硬与一成不变。事实上,它们每时每刻都在不断进行解构与重建。它们通过自我消化为机体提供钙元素,同时又以相反的方式吸收钙元素补充自己。  随着年龄的衰老,这一节律会渐渐偏移,最终导致骨质疏松症的发生,即骨头重建的过程渐渐减弱。骨骼的强度与密度会渐渐降低,从而变得越来越容易折

数学家励志报告受热捧

  “我是从我们柞水大山里走出来的。我们山里的孩子,吸收了大山的‘精华’,一步步走出秦岭大山,用知识回报社会。我想跟大家分享的是,我能走到的高度是你们也能走到的高度,你们甚至会比我走得更高,更远。”著名数学家徐宗本院士结合自己的成长经历,给学生们作了一场《从砍柴娃到数学家的奋斗之路》的报告,并勉励学

张益唐:孤独的数学家

“我的心很平静。我不大关心金钱和荣誉,我喜欢静下来做自己想做的事情。”   张益唐的故事之所以特别轰动的原因在于,作出巨大数学贡献的他已经接近60岁,之前只是个默默无闻的讲师。   2012年7月3日,在一个阳光明媚的下午,张益唐在科罗拉多州好友齐雅格家后院抽烟,20多分钟里他有如神明启示般的想

张寿武:数学苍穹闪烁中国新星

  当年燕园里意气风发的学子,如今木已成林。上图从左到右为刘若川,美国普林斯顿高等研究所博士后;恽之玮,美国麻省理工学院博士后;袁新意,美国克莱研究所博士后;宋诗畅,美国伊利诺伊大学香槟分校博士研究生;肖梁,美国芝加哥大学博士后;许晨杨,美国麻省理工学院博士后   “2010年10月,29岁的哈

果蝇数量性状实验_数学统计法

果蝇数量性状实验可应用于: (1)研究数量性状遗传的特点; (2)学习估算遗传。实验方法原理在生物中凡是可数、可度、可衡等并可用数字形式描述的性状,称数量性状(quantitative character)。数量性状大都由多基因控制。一般,控制同一性状的基因数目很多,而每个基因的作用很小,并且很容易

华人数学家刘克峰:梦想中国的数学像乒乓球一样辉煌

中新社北京7月30日电题:华人数学家刘克峰的“数学江湖”与“乒乓世界”中新社记者陈瑜波电脑上轻轻一点,知名华人数学家刘克峰就这样成了他为之工作20余年的美国加州大学洛杉矶分校荣休教授。“现在都可以线上申请退休,特别方便。”事实上,刘克峰近年来大部分时间在中国,2023年11月更是彻底回中国工作,目前

谷歌推出两大数学模型,19秒解开IMO2024几何问题

·六道题每题可得7分,总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分,在正式比赛的609名选手中,58名达到了这一门槛。·DeepMind表示,尽管基于自然语言的方法可以访问更多数据,但会产生看似合理但不正确的中间推理步骤和解决方

Nature:数学程序揭示细胞拷贝数变异

  表面上相似的细胞通常有明显不同的基因组,比如这通常在癌细胞中比较常见,在小型的肿瘤样本中表面上看起来相似的癌细胞或许存在完全不同的基因组,细胞中的遗传突变通常会以断断续续破裂的模式来进行扩散,单一细胞中的拷贝数变异(Copy Number Variations,CNV)通常或将帮助制定特殊的疗法

2024数学与产业融合发展大会举行

9月26日,“2024数学与产业融合发展大会”在北京举行。会上,首师大-北京联影研究院数智化成像创新联合实验室正式揭牌成立。大会现场。首都师范大学供图中国数学会理事长、中国科学院院士席南华阐述了数学如何赋能产业发展,促进学科交叉融合,并强调数学教育与产业合作的必要性,培养跨学科复合型人才,以推动科技

花椰菜类几何图案数学模型出炉

  据物理学家组织网近日报道,最近,一个由西班牙卡米亚斯大主教大学(UPCO)、马德里卡洛斯三世大学(UC3M)的科学家组成的研究小组,首次开发出一种表现普适机制的数学模型,能描述某些复杂自然花纹形成的规则,比如花椰菜的表面图案。相关论文发表在最近出版的《新物理学》杂志上。   该研究属于分形几何

美数学家发现最大梅森素数

  据美国国家公共电台报道,中央密苏里大学数学家柯蒂斯·库珀领导的研究小组通过参加一个名为“互联网梅森素数大搜索”(GIMPS)的项目,发现了迄今为止最大的梅森素数——2^57885161-1 (2的57885161次方减1)。该素数也是目前已知的最大素数,有17425170位,比之前发现的梅森

世界级数学难题,人大团队攻破!

日前,以中国人民大学数学学院院长郑志勇教授为首的现代密码学研究团队,运用理想格理论与中国剩余定理,首次提出了不依赖重采样技术的无界全同态加密算法,在信息安全领域顶尖学术期刊上发表主题为《基于理想格和中国剩余定理的无界全同态加密技术》的开创性研究成果,并先后出版以世界上首本对抗量子密码进行系统性数学证

我国将承办国际工业与应用数学大会

  日前,随着第七届国际工业与应用数学大会(ICIAM2011)在温哥华闭幕,第八届ICIAM的筹办也提上日程。下届大会将于2015年在北京举办,由中国工业与应用数学会联合中国数学会、中国运筹学会和中国计算数学会组织承办,大会秘书处设在中科院国家数学与交叉科学中心。   第八届ICIAM将由中国工

关于固定床的数学模式的介绍

  固定床反应器是研究得比较充分的一种 多相反应器,描述固定床反应器的数学模型有多种,大致分为拟均相模型(不考虑流体和固体间的浓度、温度差别)和多相模型(考虑到流体和固体间的浓度、温度差别)两类,每一类又可按是否计及 返混,分为无返混模型和有返混模型,按是否考虑反应器径向的 浓度梯度和温度梯度分为

大自然的石笋竟忠实遵循数学定律

幽深的洞穴深处,时间仿佛被拉长。一滴水珠从洞顶缓缓渗出,悬停片刻,然后滴答一声落下,在洞底轻轻溅开。这看似微不足道的水滴,却能在漫长岁月里塑造出大自然一项迷人的艺术品——石笋。石笋或如尖塔刺向穹顶,或如蛋糕层层叠叠,有的粗壮如柱,有的纤细如针,还有的顶端居然能平坦得像一张小桌。这些形态各异的石头究竟

荐书|你对数学的恐惧,她都懂

文 | 绮云很多人对数学的厌恶,源于数学课上的糟糕经历:没有人向他们解释那些数学定义从何而来、为何如此,他们提出“为什么1+1=2”却被老师斥责,等等。华裔女性数学家郑乐隽想要对所有数学成绩不佳的人说:“你没有让数学不及格,是数学让你不及格。”她认为,如果你觉得自己不擅长数学,或者在学校里被认为数学

研究发现大脑中的“数学神经元”

德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。     众所周知,3个苹果加2个苹果等于5个苹果。然

描述超导材料性质有了数学公式

  美国麻省理工大学(MIT)研究人员发现,在超导材料的厚度、温度和电阻之间满足一种新的数学关系:材料的超导性与薄膜厚度、临界温度和薄膜电阻成比例。所有超导体中都存在这种关系。这一发现揭示了超导的性质,有望带来设计更好的超导线路,用在量子计算和超低能耗计算中。相关论文发表在最近的《物理评论快报B辑》

江苏国家应用数学(东南大学)中心揭牌

7月30日下午,江苏国家应用数学(东南大学)中心(以下简称中心)揭牌仪式在南京举行。菲尔兹奖得主、清华大学讲席教授丘成桐,东南大学党委书记左惟,中国工程院院士黄卫,江苏省科技厅二级巡视员景茂共同为江苏国家应用数学(东南大学)中心揭牌。 据悉,中心是科技部首批支持建设的13家国家应用数学中心之一,

研究发现大脑中的“数学神经元”

德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。     众所周知,3个苹果加2个苹果等于5个苹果。然

中国教授首获美国数学会大奖

  近日,美国数学会2015年度各项大奖陆续揭晓。其中,莱维·柯南特奖被授予美国密歇根大学教授Lagarias和北京大学教授宗传明。颁奖仪式将于2015年1月11日在得克萨斯州圣安东尼奥市召开的美国数学会年会上举行。这是美国数学会首次将学会大奖颁发给在中国工作的数学家。  据悉,宗传明与Lagari

数学模型如何助力人类疾病研究?

  在科学研究的道路上,科学家们常常会开发多种模型来帮助研究,其中数学模型就是研究者们经常使用的一种模型,随着近年来研究的不断深入,就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制,当然除此之外,科学家们还利用数学模型对其它疾病进行了大量研究,本文中,小编盘点了近年来多篇

npj-Science-of-Learning:女生应该天生远离“数学”吗?

  1992年,芭比娃娃发布了一款会说话的玩具——“Tenn Talk Barbie”,其中包括一段具有争议的语音片段“数学课很难”。该玩具从发布起即遭到了强烈反对,但一直以来人们潜意识中还是存在这样一个疑问:是不是女性天生数学学习能力要低于男性呢?难道女性因为天生数学能力差,所以无法在科学,技术,

研究人员发现学数学可损伤大脑

  据国外媒体报道,一项研究显示,害怕数学可激活和生理痛有关的大脑区域。美国芝加哥大学研究人员伊恩-里昂斯和西恩-贝洛克在《公共科学图书馆-综合》杂志上撰文说,一个人对一项数学任务的焦虑越高,和检测内脏威胁有关的大脑区域就越活跃。   这些研究报告的作者说,以前的研究显示,社会排斥或创伤性精神崩溃

专家学者在重庆共话“数学”发展

中新网重庆7月16日电 (记者 钟旖)数学,是一切科学的基础。2022(首届)数学促进经济社会发展高峰论坛16日在重庆市举行。7位中国科学院院士领衔,就充分发挥数学价值,面向国家与企业需求,紧密结合学术链、产业链,攻克解决实际应用问题展开探讨。 “数学是创新的基础。以一个想要做原始创新的企业为例

研究发现大脑中的“数学神经元”

德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。众所周知,3个苹果加2个苹果等于5个苹果。然而,在这样的计算过程中,大脑发生了什么?波恩

专家:奥赛不应是数学教育的重点

  近日,由清华大学丘成桐数学科学中心主办的“中学数学教育”圆桌论坛在南京紫金山庄举行。著名数学家、清华大学讲席教授丘成桐,以及多位全国知名中学校长、专家学者共聚一堂,探讨数学拔尖人才培养模式创新与改革。  与会专家认为,中学数学教育应弱化奥赛地位,更多引导学生对数学、对科学的兴趣,提高研究思考的能

研究发现大脑中的“数学神经元”

  德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。  众所周知,3个苹果加2个苹果等于5个苹果。然而,在这样的计算过程中,大脑发生了什