PDF《押010)》

180 多个国家和地区近

28 万人参加了 GIMPS 项目,并动用超过

79 万台 计算机联网来寻找新的梅森素数.梅森素数是否 有无穷多个?这是一个尚未破解的著名数学谜题. 证明 弱孪生素数猜想 美国新罕布什尔大学数学家张益唐经过多年 努力, 在不依赖未经证明推论的前提下, 率先证明 了一个 弱孪生素数猜想 , 即 存在无穷多个之差 小于

7000 万的素数对 .

4 月17 日, 他将论文投稿 给世界顶级期刊 《 数学年刊》 .美国数学家、 审稿人 之一亨里克 ・ 艾温尼科评价说: 这是一流的数学工 作. 他相信不久会有很多人把

7000 万 这个数字 变小 . 尽管从证明弱孪生素数猜想到证明孪生素数 猜想还有相当的距离, 英国 《 自然》 杂志在线报道还 是称张益唐的证明为一个 重要的里程碑 . 由于孪 生素数猜想与哥德巴赫猜想密切相关 (姐妹问题) , 很多数学家希望通过解决这个猜想, 进而攻克哥德 巴赫猜想. 值得一提的是,英国数学家戈弗雷 ・ 哈代和约 翰・李特尔伍德曾提出一个 强孪生素数猜想 .这 一猜想不仅提出孪生素数有无穷多对, 而且还给出 其渐近分布形式.中国数学家周海中指出: 要证明 强孪生素数猜想, 人们仍要面对许多巨大的困难. 解开 弱哥德巴赫猜想

5 月13 日, 秘鲁数学家哈拉尔德 ・ 赫尔弗戈特 在巴黎高等师范学院宣称: 证明了一个 弱哥德巴 赫猜想 , 即 任何一个大于

7 的奇数都能被表示成

3 个奇素数之和 .他将论文投稿给全球最大的预 印本网站 ( arXiv) ;

有专家认为这是哥德巴赫猜想 研究的一项重大成果. 不过, 其证明是否成立, 还有 待进一步考证. 赫尔弗戈特在论证技术上主要使用了哈代 - 李特尔伍德 - 维诺格拉多夫圆法.在这一圆法中, 数学家创建了一个周期函数,其范围包括所有素 数.1923 年, 哈代和李特尔伍德证明, 假设广义黎 曼猜想成立, 三元哥德巴赫猜想对充分大的奇数是 正确的;

1937 年,苏联数学家伊万 ・ 维诺格拉多夫 更进一步, 在无须广义黎曼猜想的情形下, 直接证 明了充分大的奇数可以表示为

3 个素数之和. 英国数学家安德鲁 ・ 格兰维尔称, 不幸的是, 由 于技术原因, 赫尔弗戈特的方法很难证明 强哥德 巴赫猜想 , 即 关于偶数的哥德巴赫猜想 . 如今数 学界的主流意见认为:要证明强哥德巴赫猜想, 还 需要新的思路和工具, 或者在现有的方法上进行重 大的改进. (作者系新加坡南洋理工大学教授) 矿山 巨无霸 速行机器 历史上, 日本两栖战舰艇的力量比较薄弱, 因此, 从20 世纪

70 年代开始, 日本加大了发展 力度, 建造了 三浦 (Miura) 和 渥美 (Atsumi) 两级中型坦克登陆舰各

3 艘.这两级舰是二战 时期美国同类舰的改型, 具有明显的弱点, 主要 是排水量太小 (分别是

1500 吨和

2000 吨) , 速度 低(13 海里左右) , 与日本当时积极扩充远洋作 战能力的要求极不适应. 在这种情况下,

80 年代 初期日本决定, 继 三浦 和 渥美 级之后, 再发 展新一级大型登陆舰.对新舰的基本要求是速 度快, 装载量大, 适合现代两栖作战的要求.在 此背景下, 大隅 级诞生了. 大隅 级是日本面向新世纪建造的新一代 主力战舰之一,它彻底告别了原有的老式两栖 战舰,使日本海上自卫队跨入拥有现代主流两 栖战舰的行列. 大隅 级舰长