中国分布式计算论坛

 找回密码
 新注册用户
搜索
查看: 197|回复: 4

[新项目] [BOINC][数学类]DBN Upper Bound

[复制链接]
发表于 2018-9-26 13:18:56 | 显示全部楼层 |阅读模式

项目方信息找不到,但是项目介绍里给出的关于项目结果以及有关理论的讨论连接,点开是陶哲轩的个人博客。。
项目网址:http://anthgrid.com/dbnupperbound/
项目介绍:
David Anderson是这么介绍这个项目的:
DBN Upper Bound is a new project doing research involving the Riemann zeta function and the Reimann hypothesis.

以下是官网上的项目介绍:
DBN Upper Bound is a Polymath project related to the theory of the Riemann zeta function, based at this Polymath wiki. For the background, theory and discussion on results, please head to the proposal and subsequent threads on Prof. Tao's blog. The computational part of the research is being hosted at this github project.

This Boinc project now plans to scale up the computations, and achieve tighter conditional bounds, using Internet-connected computers. You can contribute to the research by running a free program on your computer.

For a visual understanding with cool graphics and a summary of the results achieved, please check this visual guide created by Rudolph, who has also written the Arb scripts used for the scaled up computations

我直接放弃理解,有请@fwjmath 老师来给大家科普一下~
发表于 2018-9-26 17:14:37 | 显示全部楼层
这个好复杂的,我自己也要先捋一下……

简单来说,他们想通过新方法计算某个常数Lambda的上界。这个常数和黎曼猜想有关,黎曼猜想等价于Lambda小于等于0。但是Rodger和陶哲轩刚写了篇文章,宣称证明了Lambda大于等于0……也就是说,如果黎曼猜想正确的话,Lambda只能等于0。现在新方法能确定Lambda小于等于0.22。

但是更深入的数学细节的话,那就要再看了……
 楼主| 发表于 2018-10-1 15:26:27 | 显示全部楼层
fwjmath 发表于 2018-9-26 17:14
这个好复杂的,我自己也要先捋一下……

简单来说,他们想通过新方法计算某个常数Lambda的上界。这个常数和 ...

可以了。。没讲到细节的时候就已经感受到大脑在颤抖
多谢科普~
发表于 2018-10-1 19:45:48 | 显示全部楼层
团队还没人建
发表于 2018-10-10 23:27:25 | 显示全部楼层
您需要登录后才可以回帖 登录 | 新注册用户

本版积分规则

论坛官方淘宝店开业啦~

小黑屋|手机版|Archiver|中国分布式计算总站 ( 沪ICP备05042587号 )

GMT+8, 2018-10-22 23:58

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表