2010年8月，酷爱数理逻辑的刘路在自学反推数学时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究，这是由英国数理逻辑学家西塔潘于上世纪90年代提出的一个猜想。10多年来，许多著名研究者一直努力都没有解决。5月17日，北京市网信办微信公众号“网信北京”通报称，5月17日下午，北京市网信办、市新闻出版广电局、市公安局、市文化市场行政执法总队依法联合约谈属地重点网站，责令网站严格贯彻落实《中华人民共和国英雄烈士保护法》，切实履行主体责任，采取有效措施坚决抵制网上歪曲、丑化、侮辱英烈形象的违法违规行为，大力弘扬社会主义核心价值观。刘传健：因为我们压差，一下爆破了以后，相当于里面没有压差了，飞机里面和外面，它的压力是一样的，实际上是顺着风往里吹爬进来的，如果我们的风一直往外吸，他是进不来的。

自从严春风舆情发酵以来，“严书记出来走几步”之声不绝于耳。然而冷静下来分析，人们只是希望严春风出来走一走吗？答案恐怕是否定的！与其说人们希望“严书记出来走几步”，不如说是期待官方的积极回应，是呼唤党纪国法亮剑。因为只有党纪国法走出来，才能让严春风吃不了兜着走。曾经在一次讲座上，一位大学教授坦言，对于大学生来说，写作不是什么高级的能力，而是一项基本技能，是每个人都应该会的东西，不应该成为所谓的“资本”。可现实是，很多大学生已经丧失或正在丧失这一基本技能。重案组37号注意到，严春风仕途的前两个阶段，与人合作发表了数篇地基基础工程和岩土工程领域的论文，还出版过《岩体强度准则概率模型及其应用》等书籍。他还曾于2004年获评全国建设系统先进工作者。

坐落在国家4A级旅游度假区——海南琼中百花岭风景区核心位置的某房地产项目，在一期开发10余幢花园洋房后项目搁浅，至今已经六年。本刊记者站在琼中县百花廊桥的一端抬头望去，对面山上一排排中途停工的别墅群，与风景格格不入。央广网北京5月19日消息，据中国之声《新闻纵横》报道，悠游堂是国内知名的家庭亲子娱乐连锁品牌，分布在全国多个城市的购物中心。旗下门店分布在北京、上海、广州、深圳、南京等全国多个城市。最近，有不少南京市民反映，南京市部分悠游堂亲子乐园歇业关闭，导致他们购买的年卡无法继续使用，这究竟是怎么回事呢？尽管台农业主管部门表示，凤梨等水果销往大陆的渠道并未中断，截至今年3月，台南已有近7千吨凤梨销至大陆，但不少果农对此并不买账，只希望民进党政客不要扯后腿，不必帮忙推销，只要闭嘴就行，尤其是行政部门负责人赖清德，千万别只顾妄言而断了台湾果农的生计。