人工智能帮助数学家发现新的猜想和定理
中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称,科研人员研发出一个机器学习框架,能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发,已经帮助发现了不同纯数学领域的两个新猜想,这项研究展示出机器学习如何整合进现存工作流支持数学研究。 据介绍,纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。 论文通讯作者、DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。......阅读全文
中法学者追忆数学天才伽罗瓦
“伽罗瓦虽然英年早逝,但却照亮了数学界一个不为人知的隐秘天地。”近日,在中科院武汉物理与数学研究所举办的中法交流学术沙龙上,来自法国图卢兹大学数学学院的让-皮埃尔·米斯教授在介绍法国天才数学家埃瓦里斯特·伽罗瓦时表示。 1811年,伽罗瓦出生在法国巴黎附近的拉赖因堡。1832年,这位未
描述超导材料性质有了数学公式
美国麻省理工大学(MIT)研究人员发现,在超导材料的厚度、温度和电阻之间满足一种新的数学关系:材料的超导性与薄膜厚度、临界温度和薄膜电阻成比例。所有超导体中都存在这种关系。这一发现揭示了超导的性质,有望带来设计更好的超导线路,用在量子计算和超低能耗计算中。相关论文发表在最近的《物理评论快报B辑》
杨乐:数学是科学发展的基石
虽然从事了多年纯数学的研究工作,但谈起即将成立的国家数学与交叉科学研究中心,中科院院士杨乐仍然显出十足的兴趣。 因为很多人并不了解,在纯数学研究领域取得了多项成果的杨乐,实际上也十分关心数学交叉科学研究。并且在他看来,数学交叉科学的发展需要强大的基础研究做后盾。 “现在
江苏国家应用数学(东南大学)中心揭牌
7月30日下午,江苏国家应用数学(东南大学)中心(以下简称中心)揭牌仪式在南京举行。菲尔兹奖得主、清华大学讲席教授丘成桐,东南大学党委书记左惟,中国工程院院士黄卫,江苏省科技厅二级巡视员景茂共同为江苏国家应用数学(东南大学)中心揭牌。 据悉,中心是科技部首批支持建设的13家国家应用数学中心之一,
数学模型如何助力人类疾病研究?
在科学研究的道路上,科学家们常常会开发多种模型来帮助研究,其中数学模型就是研究者们经常使用的一种模型,随着近年来研究的不断深入,就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制,当然除此之外,科学家们还利用数学模型对其它疾病进行了大量研究,本文中,小编盘点了近年来多篇
2024数学与产业融合发展大会举行
9月26日,“2024数学与产业融合发展大会”在北京举行。会上,首师大-北京联影研究院数智化成像创新联合实验室正式揭牌成立。大会现场。首都师范大学供图中国数学会理事长、中国科学院院士席南华阐述了数学如何赋能产业发展,促进学科交叉融合,并强调数学教育与产业合作的必要性,培养跨学科复合型人才,以推动科技
数学模型如何助力人类疾病研究?
在科学研究的道路上,科学家们常常会开发多种模型来帮助研究,其中数学模型就是研究者们经常使用的一种模型,随着近年来研究的不断深入,就有研究人员开发出新型的数学模型来解析中和抗体和HIV-1之间相互作用的机制,当然除此之外,科学家们还利用数学模型对其它疾病进行了大量研究,本文中,小编盘点了近年来多篇
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。 众所周知,3个苹果加2个苹果等于5个苹果。然
直播预告|只有高智商才能学数学吗
直播时间:2024年6月16日(周日)10:00-11:00直播平台:https://weibo.com/l/wblive/p/show/1022:2321325045660704702848(中国科学报微博直播间链接)中国科学报微博【直播简介】近日,17岁中专女孩闯进阿里全球数学竞赛决赛,荣获全球
专家学者在重庆共话“数学”发展
中新网重庆7月16日电 (记者 钟旖)数学,是一切科学的基础。2022(首届)数学促进经济社会发展高峰论坛16日在重庆市举行。7位中国科学院院士领衔,就充分发挥数学价值,面向国家与企业需求,紧密结合学术链、产业链,攻克解决实际应用问题展开探讨。 “数学是创新的基础。以一个想要做原始创新的企业为例
关于固定床的数学模式的介绍
固定床反应器是研究得比较充分的一种 多相反应器,描述固定床反应器的数学模型有多种,大致分为拟均相模型(不考虑流体和固体间的浓度、温度差别)和多相模型(考虑到流体和固体间的浓度、温度差别)两类,每一类又可按是否计及 返混,分为无返混模型和有返混模型,按是否考虑反应器径向的 浓度梯度和温度梯度分为
世界级数学难题,人大团队攻破!
日前,以中国人民大学数学学院院长郑志勇教授为首的现代密码学研究团队,运用理想格理论与中国剩余定理,首次提出了不依赖重采样技术的无界全同态加密算法,在信息安全领域顶尖学术期刊上发表主题为《基于理想格和中国剩余定理的无界全同态加密技术》的开创性研究成果,并先后出版以世界上首本对抗量子密码进行系统性数学证
荐书|你对数学的恐惧,她都懂
文 | 绮云很多人对数学的厌恶,源于数学课上的糟糕经历:没有人向他们解释那些数学定义从何而来、为何如此,他们提出“为什么1+1=2”却被老师斥责,等等。华裔女性数学家郑乐隽想要对所有数学成绩不佳的人说:“你没有让数学不及格,是数学让你不及格。”她认为,如果你觉得自己不擅长数学,或者在学校里被认为数学
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。 众所周知,3个苹果加2个苹果等于5个苹果。然
随时随地思考的数学家:田野
田野研究员的办公室很好找,因为即便到了深夜,他在中科院数学与系统科学研究院南楼里的办公室也总是亮着灯。 办公室的墙壁上有两块大黑板,上面密密麻麻写满了数学验算公式。一张沙发和几件简单的生活用品构成的办公室就是田野的家。 这位中国数学界的新秀,第一次对贝赫和斯维讷通—戴尔(BSD)猜想这个“千
AFM基于其他商业数学软件的图像处理
基于其他商业数学软件的图像处理尽管诸如Gwyddion等图像处理软件已经足够强大,但其并不能完全支持所有数据格式,同时其并不允许用户对数据进行真正随心所欲的分析处理。为此,获取AFM图像所包含的所有“数据”,并用数学计算的方式进行图像处理成为必需。在此,介绍利用商业数学软件Matlab对AFM数据进
量子纠缠可能并不神秘:用数学解释物理
摘要:在微观物理学中,有许多稀奇古怪的现象,搞得老百姓莫名其妙;其实许多物理学家也只是知其然,却不知其所以然。于是,便有人(甚至是非常牛的科学家)搬出了万能的上帝。下面我们也请出一位真上帝,求它帮我们解释诸如电子能级跃迁、波粒二象性、量子纠缠等微观物理学中最玄幻的三个问题。这位真上帝,名叫数学;它将
npj-Science-of-Learning:女生应该天生远离“数学”吗?
1992年,芭比娃娃发布了一款会说话的玩具——“Tenn Talk Barbie”,其中包括一段具有争议的语音片段“数学课很难”。该玩具从发布起即遭到了强烈反对,但一直以来人们潜意识中还是存在这样一个疑问:是不是女性天生数学学习能力要低于男性呢?难道女性因为天生数学能力差,所以无法在科学,技术,
研究发现大脑中的“数学神经元”
德国图宾根大学和波恩大学最近进行的一项研究表明,大脑中的神经元会在特定的数学运算中被激活。研究结果显示,一些被检测到的神经元只在做加法时活跃,而另一些则在做减法时活跃。相关研究成果2月14日发表于《当代生物学》。众所周知,3个苹果加2个苹果等于5个苹果。然而,在这样的计算过程中,大脑发生了什么?波恩
人工智能再次战胜人类,人工智能强势闯入医疗界
人工智能技术在物流、医疗、金融、产业物联网等很多领域都有现实应用。对于关乎每个人健康的医疗领域而言,不管医生是不是接受,人工智能已强势闯入医疗界。 最近有两条消息再次把人工智能推向了高潮: 1.2017两会中人工智能第一次出现在政府工作报告中,关注人工智能的科技界因此热血沸腾。 2.世界癌
墨西哥科学院院长:应谨防人工智能被滥用
中新网北京2月18日电 (记者 薄雯雯)墨西哥科学院院长何塞·施雅德(José Antonio Seade Kuri)18日在北京表示,人工智能正在改变全世界,应谨防人工智能被滥用的风险。 施雅德曾在墨西哥国立自治大学数学研究所工作,于2023年当选墨西哥科学院院长。他当天出席中国人民大学重阳
华裔数学家陶哲轩领导白宫生成式AI工作组
美国总统科技顾问委员会成立的生成式AI工作组旨在帮助评估人工智能领域的关键机遇和风险,并就尽可能确保公平、安全、负责地开发和部署这些技术向美国总统提供意见。·AMD的首席执行官苏姿丰(Lisa Su)和谷歌云首席信息安全官菲尔·维纳布尔斯(Phil Venables)也是这个工作组的成员。华裔数学家
中国AI发展亟需有效顶层设计,推动原始创新
鄂维南认为,当前,国家对于人工智能研究还缺乏有效的顶层设计,人工智能的发展总是容易跟着别人走。“有的专家非常擅长解读国外的东西,但国外下一步会出来什么东西,他们脑子里面没有概念。”国内人工智能的创新与国外相比仍有很大差距,跟着别人的路径走也许可以走5年、10年,但从长远来看,还是要建立底层能力,包括
《人工智能赋能科学研究:人工智能学科体系》正式出版
近日,由中国科学院学部组织、会聚近300位跨学科院士专家共同研究撰写的重要学术成果——《人工智能赋能科学研究:人工智能学科体系》正式出版发行。该书作为“范式变革:人工智能与科学研究”丛书的总报告,系统勾勒了人工智能赋能科学研究的全景图,是我国在人工智能与学科交叉领域的一项里程碑式成果,也标志着中国科
第十届中国人工智能大会在北京召开
12月14日,第十届中国人工智能大会(CCAI)在北京开幕,以“创新驱动,智启新程”位主题。大会由中国人工智能学会主办,得到北京市科委、中关村管委会,北京市海淀区人民政府的支持。大会开幕式发布了《北京人工智能产业白皮书(2024)》(以下简称《白皮书》)《2024年度中关村科学城人工智能全景赋能典型
“女生学不好数学”-不应再成为社会偏见
11月22日晚,第二届丘成桐女子中学生数学竞赛圆满落幕,来自海内外150余名巾帼学子经过笔试、面试两轮比拼,最终决出金奖、银奖、铜奖以及优胜奖共21人。中国人民大学附属中学的胡殊闻勇摘桂冠。 面对不断涌现的热爱数学并有能力学好数学的女生,大赛主席、清华大学讲席教授丘成桐表示,世界需要女性数学工
数学院田野获2013年拉马努金奖
6月17日,由理论物理国际中心(ICTP)和国际数学联盟(IMU)共同设立的拉马努金奖(Ramanujan奖)揭晓,中国科学院数学与系统科学研究院田野研究员获此殊荣。 该奖项主要表彰田野对数论的杰出贡献,这些贡献包括局部theta对应的重数1猜想的证明;广义费尔马曲线上有理点不存在性的重要
新数学模型RSIT助力地震前兆预警
原文地址:http://news.sciencenet.cn/htmlnews/2023/9/508419.shtm
北京雁栖湖应用数学研究院新园区启用
原文地址:http://news.sciencenet.cn/htmlnews/2023/7/504939.shtm7月17日,由菲尔兹奖得主丘成桐领衔筹建的新型研发机构,北京雁栖湖应用数学研究院新园区正式启用。 ?北京雁栖湖应用数学研究院部分建筑。(崔雪芹摄影)北京雁栖湖应用数学研究院
一项数学方程描述纳米泡沫表现
研究组由科学研究高等委员会(CSIC),马德里柯米亚天主教大学(UPCO)和卡三的研究人员组成。研究通过制造并特征化一个在硅表面进行离子辐照形成的纳米泡沫得出该结论。该项研究在最新一期科学杂志《物理评论快报》Physical Review Letters发表,描述了纳米泡沫在辐照过程中产生的