• Monthly Archives: 七月 2008

黎曼猜想或被证明。

新闻来源:slashdot
看过《美丽心灵》的人应该知道,纳什在得了精神分裂症之后开始研究黎曼猜想,并孜孜不倦。现在,他也许要改行了:
21世纪七大数学难题之一的黎曼猜想可能已经被证明,而发表了这篇长达40页的论文的数学家名叫XIAN-JIN LI,可能是一名华裔。

7月2日,Brigham Young大学的数学家XIAN-JIN LI在预印本网站arxiv上发表了一篇论文,宣称证明了黎曼猜想。这是一篇长达40页的完整证明,没有摘要,同行可能需要花点时间去验证和检验。黎曼猜想是克雷数学研究院的千禧年七大难题之一,它提供了百万美元奖励给证明者。而在3个月前,Bristol大学的学生Ce Bian首次证明了有助于解决黎曼猜想的3维超L函数。
    黎曼猜想:

    ζ(z)函数位于0≤x≤1之间的全部零点都在ReZ=1/2之上,即零点的实部都是1/2,这至今仍是未解决的问题。
    黎曼假设、庞加莱猜想、霍奇猜想、波奇和斯温纳顿―戴尔猜想、纳威厄―斯托克斯方程、杨―米尔理论、P对NP问题被称为21世纪七大数学难题

心情,往往就在那一瞬间完全改变。

不得不说这段时间我一直忙的有点焦头烂额,不是工作时间多,而是每天工作中的空闲几乎没有了。在忙碌几个并行的项目的同时,难免让我有疏忽做不到尽善尽美,也难免焦躁。

由于做的项目牵扯到多方的需求和利益,所以总难免有某个需求方产生需求变更,今天下午就一直在忙于合作方的变更导致的UI和开发改动,耽误进度不说,还让开发工程师们焦急等待,心情很不爽很不爽。下班后去开发部那边跟工程师们交流今天联调测试的进展,那边也遇到了挺大的问题。

我比较欣赏的一个工程师和我确认UC和DEMO中存在的问题,这些问题是我和需求分析师在前期应该完成好的工作。他很细心的给我分析了撰写UC时没有考虑到或者不合理的分支流程,并给了具体的改动建议。我惊讶于文雅的他严谨的思维,得体的谈吐,主动承担的心态,以及对项目的责任感。在这个相对大拿的老员工身上,我看到久违的正直和气质,看到平时大家都在忙碌中逐渐忽略的修养。

那么一瞬间,我忽然觉得美好。

郑洁温网继续演绎奇迹,今夜1/4决赛好运!

郑洁继上一轮爆冷淘汰头号种子、世界排名第一的塞尔维亚美少女伊万诺维奇之后,又以6-3/6-4淘汰15号种子、匈牙利天才少女扎维,继2006年李娜在这里进入女单八强之后,为中国选手拿到第二个大满贯赛单打八强席位,而这也是她个人在四大满贯赛中的最好战绩,此前郑洁曾在2004年法网闯入单打16强。

今晚的1/4决赛,Bless…

郑洁温网八强

close