人工智能“进军”数学领域首次帮助人类发现两个新猜想
英国《自然》杂志1日发表了一个机器学习框架,能帮助数学家发现新的猜想和定理。该框架由深度思维(DeepMind)开发,已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中,支持数学研究。这也是计算机科学家和数学家首次使用人工智能(AI)来帮助证明或提出纽结理论和表示论等复杂数学领域的新定理。 纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。 此次,深度思维团队和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法会搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。 人工智能专家艾利克斯·戴维斯及其同事报告说,将这一方法应用于两个纯数学领域,他们发现了拓......阅读全文
张寿武:数学苍穹闪烁中国新星
当年燕园里意气风发的学子,如今木已成林。上图从左到右为刘若川,美国普林斯顿高等研究所博士后;恽之玮,美国麻省理工学院博士后;袁新意,美国克莱研究所博士后;宋诗畅,美国伊利诺伊大学香槟分校博士研究生;肖梁,美国芝加哥大学博士后;许晨杨,美国麻省理工学院博士后 “2010年10月,29岁的哈
首届阿里巴巴全球数学竞赛落幕
12月18日,记者获悉,首届“阿里巴巴全球数学竞赛”决赛获奖名单新鲜出炉,来自北京大学、麻省理工学院、中科院数学与系统科学研究院等20多所高校及研究机构的51人从全球4万多名参赛者中脱颖而出。“最强51人”将获得由多位国际著名数学家领衔授课的数学大师班门票。同时,获得金、银、铜奖的20名选手还将
广以教授获ANCEFN数学奉献奖
原文地址:http://news.sciencenet.cn/htmlnews/2023/10/510377.shtm记者从广东以色列理工学院(以下简称广以)获悉,近日,阿根廷国家精准、物理与自然科学院(ANCEFN)授予广以教授Andrea Solotar“数学奉献奖”,以表彰她在数学领域做出的突
南开青年学者追忆数学大师陈省身
在第38个教师节到来之际,9月9日,老中青三代南开教师齐聚一堂,深情追忆一代数学大师、“南开之星”陈省身爱国、爱科学的高尚品德与崇高风范,畅谈百年南开的师风传承与科教报国的人生追求,砥砺育人初心、担当师者使命,迎庆这个属于自己的节日。 座谈会前,与会师生代表一同来到与陈省身数学研究所大楼相
《Nature》复杂大脑中的简单数学
大脑具有数十亿神经元,这些神经元组成复杂的回路使我们得以感知世界、控制我们的活动并作出决定。破译大脑回路对于了解大脑工作机制以及神经学疾病致病机理非常重要。 日前,麻省理工大学MIT的神经学家向这一目标迈进了一大步。他们在8月9日发表于Nature杂志上的文章中,描述了两种主要大脑细胞以特
平板导热仪使用特色原理数学表达
平板导热仪原理和特点 平板导热仪是一种基于傅立叶导热定律而进行材料导热系数测量的仪器,在导热过程中,单位时间内通过给定截面的热量,与该截面的面积和垂直于该截面方向的温度梯度成正比,在一维稳态导热时,其数学表达为: (1)经过积分换算,公式(1)可以推导出 (2)其中,——为被测材料
袁亚湘:“幸运”离不开“优化”数学
“运气是什么,是你在关键时刻做出对自己最有利的决策,而且正好在对的时间碰到对的人,做了对的事情。” “我爱读书,买书也是我的爱好之一。” “我爱打桥牌,现在有时也打,如果你感兴趣,可以参加我们所每双周五晚上的定期桥牌活动。” “我曾经爱中距离跑步,但现在毕竟不再年轻而且也没场地,只好放弃,
华人数学家刘克峰:梦想中国的数学像乒乓球一样辉煌
中新社北京7月30日电题:华人数学家刘克峰的“数学江湖”与“乒乓世界”中新社记者陈瑜波电脑上轻轻一点,知名华人数学家刘克峰就这样成了他为之工作20余年的美国加州大学洛杉矶分校荣休教授。“现在都可以线上申请退休,特别方便。”事实上,刘克峰近年来大部分时间在中国,2023年11月更是彻底回中国工作,目前
谷歌推出两大数学模型,19秒解开IMO2024几何问题
·六道题每题可得7分,总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分,在正式比赛的609名选手中,58名达到了这一门槛。·DeepMind表示,尽管基于自然语言的方法可以访问更多数据,但会产生看似合理但不正确的中间推理步骤和解决方
人工智能会谈判
英国伦敦深度思维公司的一项研究表示,人工智能(AI)代理可谈判和形成协议,使其在桌面游戏《外交》中胜过其他无此能力的代理。这些发现展示了一种深度强化学习方法,用其建模的代理可以与其他人工代理沟通和合作,在玩游戏时共同制定计划。相关结果近日发表于《自然—通讯》。 开发能展现出代理间合作和沟通的人工智能
人工智能如何“向善”
一段时间以来,以ChatGPT为代表的人工智能大模型搅动了全球人工智能技术发展的浪潮。从写代码到讲故事,从撰写文章到自动制作数据表格……人工智能正在给人类的工作、学习、生活带来诸多变化。 我们距离“无所不能”的通用人工智能还有多远?人工智能的发展带来哪些安全隐患和挑战?近日召开的2023北京智源大
“人工智能+”,加什么?
原文地址:http://news.sciencenet.cn/htmlnews/2024/3/519704.shtm去年,AI语言大模型ChatGPT的诞生引发了全球人工智能浪潮,随着视频生成模型Sora的发布,以AIGC(Artificial Intelligence Generated Cont
Nature:数学程序揭示细胞拷贝数变异
表面上相似的细胞通常有明显不同的基因组,比如这通常在癌细胞中比较常见,在小型的肿瘤样本中表面上看起来相似的癌细胞或许存在完全不同的基因组,细胞中的遗传突变通常会以断断续续破裂的模式来进行扩散,单一细胞中的拷贝数变异(Copy Number Variations,CNV)通常或将帮助制定特殊的疗法
花椰菜类几何图案数学模型出炉
据物理学家组织网近日报道,最近,一个由西班牙卡米亚斯大主教大学(UPCO)、马德里卡洛斯三世大学(UC3M)的科学家组成的研究小组,首次开发出一种表现普适机制的数学模型,能描述某些复杂自然花纹形成的规则,比如花椰菜的表面图案。相关论文发表在最近出版的《新物理学》杂志上。 该研究属于分形几何
关于固定床的数学模式的介绍
固定床反应器是研究得比较充分的一种 多相反应器,描述固定床反应器的数学模型有多种,大致分为拟均相模型(不考虑流体和固体间的浓度、温度差别)和多相模型(考虑到流体和固体间的浓度、温度差别)两类,每一类又可按是否计及 返混,分为无返混模型和有返混模型,按是否考虑反应器径向的 浓度梯度和温度梯度分为
世界级数学难题,人大团队攻破!
日前,以中国人民大学数学学院院长郑志勇教授为首的现代密码学研究团队,运用理想格理论与中国剩余定理,首次提出了不依赖重采样技术的无界全同态加密算法,在信息安全领域顶尖学术期刊上发表主题为《基于理想格和中国剩余定理的无界全同态加密技术》的开创性研究成果,并先后出版以世界上首本对抗量子密码进行系统性数学证
我国将承办国际工业与应用数学大会
日前,随着第七届国际工业与应用数学大会(ICIAM2011)在温哥华闭幕,第八届ICIAM的筹办也提上日程。下届大会将于2015年在北京举办,由中国工业与应用数学会联合中国数学会、中国运筹学会和中国计算数学会组织承办,大会秘书处设在中科院国家数学与交叉科学中心。 第八届ICIAM将由中国工
美数学家发现最大梅森素数
据美国国家公共电台报道,中央密苏里大学数学家柯蒂斯·库珀领导的研究小组通过参加一个名为“互联网梅森素数大搜索”(GIMPS)的项目,发现了迄今为止最大的梅森素数——2^57885161-1 (2的57885161次方减1)。该素数也是目前已知的最大素数,有17425170位,比之前发现的梅森
AFM基于其他商业数学软件的图像处理
基于其他商业数学软件的图像处理尽管诸如Gwyddion等图像处理软件已经足够强大,但其并不能完全支持所有数据格式,同时其并不允许用户对数据进行真正随心所欲的分析处理。为此,获取AFM图像所包含的所有“数据”,并用数学计算的方式进行图像处理成为必需。在此,介绍利用商业数学软件Matlab对AFM数据进
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。 众所周知,3个苹果加2个苹果等于5个苹果。然而,在这样的计算过程中,大脑发生了什
直播预告|只有高智商才能学数学吗
直播时间:2024年6月16日(周日)10:00-11:00直播平台:https://weibo.com/l/wblive/p/show/1022:2321325045660704702848(中国科学报微博直播间链接)中国科学报微博【直播简介】近日,17岁中专女孩闯进阿里全球数学竞赛决赛,荣获全球
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。 众所周知,3个苹果加2个苹果等于5个苹果。然
荐书|你对数学的恐惧,她都懂
文 | 绮云很多人对数学的厌恶,源于数学课上的糟糕经历:没有人向他们解释那些数学定义从何而来、为何如此,他们提出“为什么1+1=2”却被老师斥责,等等。华裔女性数学家郑乐隽想要对所有数学成绩不佳的人说:“你没有让数学不及格,是数学让你不及格。”她认为,如果你觉得自己不擅长数学,或者在学校里被认为数学
研究人员发现学数学可损伤大脑
据国外媒体报道,一项研究显示,害怕数学可激活和生理痛有关的大脑区域。美国芝加哥大学研究人员伊恩-里昂斯和西恩-贝洛克在《公共科学图书馆-综合》杂志上撰文说,一个人对一项数学任务的焦虑越高,和检测内脏威胁有关的大脑区域就越活跃。 这些研究报告的作者说,以前的研究显示,社会排斥或创伤性精神崩溃
中国教授首获美国数学会大奖
近日,美国数学会2015年度各项大奖陆续揭晓。其中,莱维·柯南特奖被授予美国密歇根大学教授Lagarias和北京大学教授宗传明。颁奖仪式将于2015年1月11日在得克萨斯州圣安东尼奥市召开的美国数学会年会上举行。这是美国数学会首次将学会大奖颁发给在中国工作的数学家。 据悉,宗传明与Lagari
第八届华罗庚数学奖揭晓
复旦大学李大潜院士与中科院严加安院士共享殊荣 十一月二日,中国数学界的“终身成就奖”——华罗庚数学奖在北京向第八届获奖者颁奖,复旦大学教授、数学家李大潜院士(右二)和中科院数学与系统科学研究院研究员、概率学家严加安院士(左二)共同摘得这一奖项,教育部副部长吴启迪(左一)、中国数学泰斗吴文俊院士向获
专家学者在重庆共话“数学”发展
中新网重庆7月16日电 (记者 钟旖)数学,是一切科学的基础。2022(首届)数学促进经济社会发展高峰论坛16日在重庆市举行。7位中国科学院院士领衔,就充分发挥数学价值,面向国家与企业需求,紧密结合学术链、产业链,攻克解决实际应用问题展开探讨。 “数学是创新的基础。以一个想要做原始创新的企业为例
专家:奥赛不应是数学教育的重点
近日,由清华大学丘成桐数学科学中心主办的“中学数学教育”圆桌论坛在南京紫金山庄举行。著名数学家、清华大学讲席教授丘成桐,以及多位全国知名中学校长、专家学者共聚一堂,探讨数学拔尖人才培养模式创新与改革。 与会专家认为,中学数学教育应弱化奥赛地位,更多引导学生对数学、对科学的兴趣,提高研究思考
姜同强:数学教学也须“接地气”
姜同强 二十多年前,当姜同强刚刚从大学毕业时,他最想从事的职业便是做一名教师,最终,他如愿以偿。如今,二十多个春秋已逝,姜同强也从一名大学校园里的年轻人,成长为桃李天下的师者。不久前,已经身为北京工商大学计算机与信息工程学院副院长的姜同强,荣获了第九届北京市高等学校教学名师奖。 要给学生
科学家构建花序发育数学模型
近日,北京大学现代农业研究院教授焦雨铃团队等建立了一个具有普适性的花序发育数学模型,用以解释小麦、玉米、水稻及大麦等作物的穗部发育过程。相关成果发表在在《自然-植物》。花序结构决定了植物的花和种子数目,在作物中则直接影响穗粒数,是影响产量的核心要素。禾本科包含小麦、玉米、水稻等主要粮食作物,也是最大