IT之家9月20日消息 近日，菲尔兹奖和阿贝尔奖双料得主、英国皇家学会前主席迈克尔· 阿提亚爵士宣称自己证明了黎曼猜想，他将在9月24日的海德堡获奖者论坛上进行宣讲，届时或将给出黎曼猜想的全部证明过程。
　　黎曼猜想的内容无法用完全初等的数学来描述。粗略地说，它是针对一个被称为黎曼 ζ 函数的复变量函数 (即变量与函数值都可以在复数域中取值的函数) 的猜想。黎曼 ζ 函数跟许多其它函数一样，在某些点上的取值为零，那些点被称为黎曼 ζ 函数的零点。在那些零点中，有一部分特别重要的被称为黎曼 ζ 函数的非平凡零点。黎曼猜想所猜测的是那些非平凡零点全都分布在一条被称为 ＂临界线＂ 的特殊直线上。
　　黎曼猜想是关于黎曼ζ函数ζ(s)的零点分布的猜想，由数学家黎曼于1859年提出。这一猜想是现今克雷数学研究所悬赏的世界七大数学难题，这七个世界难题分别是NP完全问题、霍奇猜想、庞加莱猜想、黎曼猜想、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程以及BSD猜想，这七个问题都被悬赏一百万美元，如果阿提亚爵士的证明没有问题的话，他将会获得这一百万美元的赏金。
　　黎曼认为所有的自然数中素数的频率与一个复杂的函数密切相关，即：ζ（s）= 1 + 1 / 2S + 1 / 3S + 1 / 4S +…被称为黎曼Zeta函数。黎曼猜想认为所有素数都可以表示为一个函数。
　　ζ（s）= 0位于一条垂直直线上
　　这就是所谓的黎曼猜想。
　　如果这一猜想被解决的话，那这将会震动整个数学界的重大突破，但黎曼猜想直到今天仍然悬而未决 (即既没有被证明，也没有被推翻)。不过，数学家们已经从分析和数值计算这两个不同方面入手，对它进行了深入研究。在分析方面所取得的最强结果是证明了至少有 40% 的非平凡零点位于临界线上； 而数值计算方面所取得的最强结果则是验证了前十万亿个非平凡零点全都位于临界线上。

我们为什么需要宇宙暴胀理论？并不完美的科学假说北京时间10月25日消息，据国外媒体报道，宇宙大爆炸模型是目前对宇宙历史的最成功解释，而且这一模型的核心框架可以很容易地浓缩为一句话在很久以前，我们的宇宙要比现在小得多。在这个简单2000种农药，使欧洲83农业土壤中有农药残留北京时间1月18日消息，农业的工业化发展已经从根本上改变了人类大部分粮食作物的生产方式。工业化促使大规模生产具有可行性，并导致世界各地粮食供应量增加而价格下降。然而，这种化学密集型波音载人飞船发射测试总体成功，只一个降落伞未开11月5日消息，据国外媒体报道，波音公司（BoeingCo）当地时间周一表示，在CST100Starliner太空船未载人安全测试中，三个降落伞中的一个未能成功打开。这个型号的太空马斯克星际飞船原型首次试飞或于八月底进行8月5日消息，据外媒报道，美国太空公司SpaceX首席执行官埃隆马斯克（ElonMusk）日前表示，该公司的一艘或两艘轨道级星际飞船（Starship）原型可能在8月底准备好首次试蓝箭航天80吨液氧甲烷发动机100推力100秒试车成功IT之家7月22日消息日前，民营火箭企业蓝箭航天天鹊TQ12液氧甲烷发动机100推力试车成功，最长试车时间100秒。天鹊TQ12发动机是目前国内推力最大的可重复使用液氧甲烷发动机。国内首台80吨液氧甲烷发动机天鹊试车成功5月17日消息，今日，国内首台80吨液氧甲烷发动机天鹊（TQ12）20秒试车圆满成功，天鹊发动机由蓝箭航天自主研发，是世界上第三大推力液氧甲烷发动机。据了解，截至5月17日，天鹊发SpaceX计划再发射3万颗卫星，建设全球卫星互联网北京时间10月16日早间消息，美国联邦通信委员会（FCC）已经代表SpaceX，向国际电信联盟（ITU）提交了20份文件，涉及3万颗在低地球轨道运行的小型卫星。ITU太空服务负责人马斯克SpaceX在建第三艘无人回收船，未来有望用于星际飞船据国外媒体报道，美国太空探索技术公司SpaceXCEO埃隆马斯克（ElonMusk）近日在Twitter上证实，SpaceX仍在建造第三艘无人火箭回收船。早在一年半之前，Space马斯克载人版龙飞船多花了数亿美元北京时间10月11日消息，美国太空探索技术公司（SpaceX）的载人版龙飞船正处于最后开发阶段。过去几年，这个项目占据了SpaceX大量资源，甚至是财务支出。马斯克和NASA局长布NASA局长SpaceX明年一季度将执行载人飞行任务北京时间10月11日早间消息，NASA局长吉姆布里登斯廷（JimBridenstine）周四证实，明年一季度SpaceX载人龙飞船（CrewDragon）将会发射升空，执行Spac马斯克反驳媒体SpaceX或在年底前送宇航员到空间站10月9日消息，据外媒报道，美国太空探索技术公司SpaceX首席执行官埃隆马斯克（ElonMusk）表示，该公司的载人龙飞船（CrewDragon）可能在今年圣诞节前准备就绪，并最