数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 3884|回复: 0

华人数学家张益唐:敲开世纪数学猜想大门

[复制链接]
发表于 2013-10-21 23:27 | 显示全部楼层 |阅读模式
华人数学家张益唐:敲开世纪数学猜想大门
来源:科技日报
  在学术界,大器晚成者不在少数,然而,年近六旬还是一个普通讲师的
却不多见。为此,当《自然》(Nature)杂志在线在“突破性新闻”栏目里,
宣布张益唐敲开了“一个数学界的重大猜想大门”时,人们难以相信一个取得
成就堪比陈景润的人居然是一个在美国不知名大学任教的“讲师”。

  8月底,张益唐做客中国科学院数学与系统科学研究院华罗庚讲座,从
四面八方赶来的“粉丝”把能容纳200多人的大报告厅挤得水泄不通,著名数
学家、中科院院士王元是其中之一。“张益唐教授有高尚的品德和魅力,他
真正做到了淡泊名利,几十年里默默耕耘,始终关注着大问题的进展,时刻
想着攻克大难题。这样坚持了30多年,终于在今年第一次成功证明弱版本的
孪生素数猜想……”王元说。

  一项进展:首次证明弱版本孪生素数猜想

  素数是指只能被自身和1整除的正整数,两个相差为2的素数即“孪生素数”,
例如(3,5)、(5,7)、(11,13)、(17,19)等。100以内有8个孪生素
数对;501到600间只有两对。随着数的变大,可以观察到的孪生素数越来越少。
那会不会有一天再也找不到新的孪生素数对呢?古希腊数学家欧几里得猜想,
有无穷多个素数p,使得p与p+2同为素数。这就是所谓的孪生素数猜想。

  1900年的国际数学家大会上,数学家希尔伯特将孪生素数猜想与黎曼猜想、
哥德巴赫猜想一起列入了他那著名的23个数学问题中的第八问题。

  如何证明这一猜想?人们甚至不知道它的“弱形式”是否成立,用《数学文化》
主编、香港浸会大学理学院院长汤涛的话说就是——能不能找到一个正数,使得
有无穷多对素数之差小于这个给定正数,在孪生素数猜想中,这个正数就是2。

  2013年5月14日, 《自然》杂志在线报道张益唐证明了“存在无穷多个之差
小于7000万的素数对”。尽管从2到7000万是一段很大的距离,《自然》还是称其
为一个“重要的里程碑”。随即这一研究被认为在孪生素数猜想这一终极数论问题
上取得了重大突破,甚至有人认为其对学界的影响将超过陈景润的“1+2”证明。

  “张益唐把大海捞针的力气活缩短到在水塘里捞针,而他给出的方法还可以把
水塘捞针轻松变为游泳池里捞针。也许最后变成在碗里捞针还需要一些再创新的
工作,但给出了这一伟大框架已经是让全世界数学家瞠目结舌的壮举了。”汤涛说。

  有人打了一个比方,张益唐所做的工作,相当于1920年挪威的布朗证明了
“9+9”,“开启”了哥德巴赫猜想的证明,接下来科学家们陆续证明了“7+7”、“6+6”,
直到46年后的陈景润证明攻下离“1+1”一步之遥却或是最难的“1+2”。

  一个信念:执着大问题,追求完美研究成果

  “这是一个有历史性突破的重要工作,文章漂亮极了。”纯粹数学领域最著名
的刊物《数学年刊》审稿人、顶级解析数论专家亨利伊万尼克如是评价张益唐的
论文《素数间的有界距离》,正是这篇论文刷新了《数学年刊》创刊130年来最快
接受纪录。

  然而,在此之前,国际数学领域重要的检索系统Zentralblatt MATH数据库中,
能找到的他名下的论文仅有两篇。这也被一些学者分析是他在美国新罕布什尔大
学数学系待了近十年,只是讲师(lecturer)的原因。

  “他总是执着于攻大难题,研究中追求‘完美’结果,只发表他认为比较完美的
论文,从他读书时就是如此。”张益唐大学同学、同为恢复高考后北京大学数学系
第一批学生的美国普渡大学数学系教授沈捷说。

  同为北大数学系同学的汤涛回忆说,像那个时代很多有志青年一样,张益唐
也是被陈景润的故事、被哥德巴赫猜想吸引到数学系。4年的北大学习为张益唐打
下了坚实的数学基础。那时的北大教书育人之风极强,最顶尖的教师都在讲台上
耕耘。北大也有很多眼界很高的老师,学富五车,但不轻易落手写小文章,可谈
起大问题颇为津津乐道,这让年轻的张益唐“中毒”匪浅。这也奠定了他一辈子只
做大问题、不为小问题折腰的风格。

  1985年,张益唐来到了美国普渡大学读博士,研究方向是被称作代数几何领
域最难攻破的雅克比猜想。虽然有人评价说他做出的成果是雅克比猜想证明中最
好的一个,但“因为自己不满意而没有发表”。这也导致他日后找工作四处碰壁。

  沈捷记得,张益唐毕业以后,把全部家当放到房车里,便开着车去多个大学
一边求职,一边讲雅克比猜想的成果。毕业后的前六七年,他干过很多杂活,包
括临时会计、餐馆帮手、送外卖,即便这样,在糊口之余他仍继续做数学。1999
年后,张益唐到美国新罕布什尔大学做助教、讲师。虽然教学量比较大,比起研
究系列的教授、副教授的工资性价比低很多,但能回学校做研究已让他非常满足。

  一份坚持:成功之后,依然守住平静

  在汤涛看来,张益唐成功很重要的一点是淡定,宠辱不惊。在朋友开的赛百
味快餐店帮忙,他可以一丝不苟。在大学任教,年近60还只是个讲师,在一般人
看来无疑是失败,甚至是潦倒的,但他处之泰然,不改其志。

  成名后,全球各大媒体开始对张益唐争相报道,各种荣誉也接踵而至。然而,
张益唐依然过着成名前的日子:一份三十公分的意大利面包,纵向剖开,抹上金
枪鱼泥,放上四片奶酪,放到烤炉烤一分钟,撒上生菜,铺上酸黄瓜和番茄,包
起来,切成两半,就是又一个三明治。

  早在今年5月,美国新罕布什尔大学就在其官网登出了张益唐要发表孪生素数
这一成果的消息时,就写了这么一句话:经过多天数学界的持续关注,张益唐更
愿意回到他此前“不为人所注意”的状态。

  面对全球多个知名大学和数学研究机构的邀约,张益唐坦言自己选择的标准
只有一个:合适的科研环境。他还希望在好的学术氛围中,能再次解决其他的大
难题。“我的心很平静。我不大关心金钱和荣誉,我喜欢静下来做自己想做的事
情。”他说。

  “都说做学问的人要宠辱不惊,张益唐就是这样的人。”王元说,“他的这种
精神是对目前浮躁的科研环境的一种鞭策,也正是当前年轻人需要学习的。”

  在张益唐的同学中流传着这么一个段子:为潜心研究数学,张益唐几乎把自
己与世隔绝。他妹妹曾在网上发寻人启事寻找哥哥,当时在美国当教授的老同学
给他妹妹回了个电邮。

  尽管这样,同学并不认为他是一个性格孤僻的数学家。“除了太痴迷于数字,
其他和我们都一样。”沈捷说。

  汤涛更是爆料:张益唐做过学生会主席,具有演讲天才,喜欢文学、音乐,
是NBA球赛的铁杆球迷,还可以喝一斤二锅头没感觉。

  “他应该是新时代数学家的好代言人。”汤涛说。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-16 08:44 , Processed in 0.072153 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: