投稿指南
一、稿件要求: 1、稿件内容应该是与某一计算机类具体产品紧密相关的新闻评论、购买体验、性能详析等文章。要求稿件论点中立,论述详实,能够对读者的购买起到指导作用。文章体裁不限,字数不限。 2、稿件建议采用纯文本格式(*.txt)。如果是文本文件,请注明插图位置。插图应清晰可辨,可保存为*.jpg、*.gif格式。如使用word等编辑的文本,建议不要将图片直接嵌在word文件中,而将插图另存,并注明插图位置。 3、如果用电子邮件投稿,最好压缩后发送。 4、请使用中文的标点符号。例如句号为。而不是.。 5、来稿请注明作者署名(真实姓名、笔名)、详细地址、邮编、联系电话、E-mail地址等,以便联系。 6、我们保留对稿件的增删权。 7、我们对有一稿多投、剽窃或抄袭行为者,将保留追究由此引起的法律、经济责任的权利。 二、投稿方式: 1、 请使用电子邮件方式投递稿件。 2、 编译的稿件,请注明出处并附带原文。 3、 请按稿件内容投递到相关编辑信箱 三、稿件著作权: 1、 投稿人保证其向我方所投之作品是其本人或与他人合作创作之成果,或对所投作品拥有合法的著作权,无第三人对其作品提出可成立之权利主张。 2、 投稿人保证向我方所投之稿件,尚未在任何媒体上发表。 3、 投稿人保证其作品不含有违反宪法、法律及损害社会公共利益之内容。 4、 投稿人向我方所投之作品不得同时向第三方投送,即不允许一稿多投。若投稿人有违反该款约定的行为,则我方有权不向投稿人支付报酬。但我方在收到投稿人所投作品10日内未作出采用通知的除外。 5、 投稿人授予我方享有作品专有使用权的方式包括但不限于:通过网络向公众传播、复制、摘编、表演、播放、展览、发行、摄制电影、电视、录像制品、录制录音制品、制作数字化制品、改编、翻译、注释、编辑,以及出版、许可其他媒体、网站及单位转载、摘编、播放、录制、翻译、注释、编辑、改编、摄制。 6、 投稿人委托我方声明,未经我方许可,任何网站、媒体、组织不得转载、摘编其作品。

数学猜想生成器

来源:数学教育学报 【在线投稿】 栏目:综合新闻 时间:2021-02-10
作者:网站采编
关键词:
摘要:在纯数学领域中,猜想和证明是两个重要的组成部分。数学猜想被认为是数学定理发展的起点,它是尚未被证明的结论或命题;一旦猜想得到证明,它就变成了一个定理。 数学猜想的提

在纯数学领域中,猜想和证明是两个重要的组成部分。数学猜想被认为是数学定理发展的起点,它是尚未被证明的结论或命题;一旦猜想得到证明,它就变成了一个定理。

数学猜想的提出并非寻常事件,它们往往源自于那些有着惊人直觉的非凡数学天才。牛顿、黎曼、哥德巴赫、高斯、欧拉和拉马努金等就是这样的天才。我们今天要说的故事,就与传奇数学家拉马努金(Srinivasa Ramanujan)有关。

1887年,拉马努金出生在印度的一个贫寒的家庭。在印度时,他没有受到过正式而系统的数学教育。但凭借着惊人的数学天赋和热情,并在伯乐哈代(,剑桥大学数学家)的帮助下,他在短暂的32年的人生里,为数学领域留下了无穷的瑰宝。

在拉马努金的各种非凡才能中,其中一项是他能凭直觉构建出未经证明的数学公式。他的手稿中充满了公式,却很少见他写下那些常出现在传统数学论文中的证明。这一天赋启发了以色列理工学院的一群研究人员。他们提出,能否建造一个能模仿拉马努金的“直觉”的“猜想生成器”,它只需要负责生成猜想,无需考虑如何证明它们。

2月3日,这群研究人员将一篇题为《用拉马努金机生成关于基本常数的猜想》的新论文发表在了《自然》杂志上。论文描述了如何用利用人工智能和计算机自动化技术,发展出一种能自动生成以公式形式出现的数学猜想的算法。研究人员将这个算法命名为拉马努金机。

自2019年起,他们开始在项目的网站上公开得到的猜测,到现在,已经有许多生成的猜想被公布,其中有的已经被证明是正确的,有的还尚未解决,还有一些则是在此之前无人知晓的新公式。这些自动生成的猜想可以让数学家发现数学分支之间的一些在过去未知的联系。

这项研究涉及到了数学中最基本的一个元素——基本数学常数,它们是从数学计算和数学结构中自然产生的具有固定数值的数。这些基本数学常数不仅在数学中非常重要,在数学之外的领域也扮演着重要角色。

人工智能在计算数字方面有着优越的能力,例如它们能轻而易举的计算出π的前几千位。新研究中的拉马努金机就可以利用算法推导出与基本常数有关的数学公式,这个过程就会产生猜想。

正如前面所提到的,在这种算法出现之前,猜想大多是基于天才们的罕见发现。这也是为何在几百年的时间里,只有数十个这样的公式被发现。而拉马努金机只用几个小时,就发现了高斯在一生的工作中发现的所有与π有关的公式,还有许多高斯不知道的公式。

可以说,这种算法的出现显著加了与基本常数有关的数学猜想的生成,帮助数学家识别这些常数之间的未知关系。然而值得强调的是,这并不意味着,我们已经可以依靠自动化来进行数学研究,无需数学家的存在。就目前而言,这个算法本身并不能证明它所发现的猜想,证明猜想的任务仍然只有数学家才能完成。

另外,目前的拉马努金机的应用有限,它们只能生成一种特定类型的公式,即连分数。这是一种将一个数表示为嵌套在彼此分母中的无限分数序列的过程。研究人员将这一算法运用在了一系列重要的基本常数上,比如π、e,以及卡塔蓝常数(Catlan's constant)——这个数字起源于19世纪比利时数学家Eugène Catalan的研究。

连分数。| 图片来源:

以卡塔蓝常数为例,这个常数约等于0.916,它非常神秘,没有人知道它究竟是有理数还是无理数。数学家能够做到的最好判断是证明了它的“无理性指数”至少为0.554,如果要证明它是无理数,其无理性指数需要大于1。现在,研究人员利用拉马努金机,计算出这一常数的无理性指数为0.567,有略微的提高。

利用计算机来辅助数学研究已经在许多方面取得了可喜的成果。研究人员认为,未来,像拉马努金机这样的算法将能用作为一个有用的工具,引领着数学猜想在所有数学领域的发展。或许,随着人工智能所生成的数学的复杂性不断增加,数学家最终将无法跟上人工智能的脚步,理解计算机在做什么。?

文章来源:《数学教育学报》 网址: http://www.sxjyxbzz.cn/zonghexinwen/2021/0210/517.html



上一篇:在线教育广告频撞脸,是数学老师也是英语老师
下一篇:数学启蒙从来就不是数123,家长这样做,孩子聪

数学教育学报投稿 | 数学教育学报编辑部| 数学教育学报版面费 | 数学教育学报论文发表 | 数学教育学报最新目录
Copyright © 2018 《数学教育学报》杂志社 版权所有
投稿电话: 投稿邮箱: