戏说IT:400年前的数学难题终于被攻破了(第30期)

2014-08-15 14:35 出处:PConline原创 作者:Astrol 责任编辑:wangcheng

  【PConline 资讯】计算机的出现对现代社会产生了积极的影响,它出现的目的是为了创造更多的财富与价值,同时让人类可以发挥出更大的潜力,正如汽车的出现代替了人类的双腿一样,计算机也正是对人类智慧的继承和延伸。

计算机

  对于数学家而言,能在有生之年将数学难题攻破是一件再幸福不过的事情了。早在1611年的时候,约翰尼斯·开普勒就建议人们在堆放球形物体时——比如商店中待售的橙子,采用金字塔型堆放法是效率最高的。不幸的是他本人并不能证明这点,但是Hales和他的团队最近利用计算机终于验证了这条猜想的正确性,结束了这场跨越5个世纪,长达400多年的争论。

数学难题

  其实,早在1998年匹兹堡大学的Thomas Hales就想出了证明方法,只是Hales的论述太长——12名评审耗时4年时间对这份300页的文档进行查错,只能99%肯定方法的正确性。所以,不甘心的Hales在2003年又开始了“污点项目”——一套能够验证他的证明法的计算机工具。

  这下约翰尼斯·开普勒终于可以瞑目了,诶?等等,谁能证明计算机说的是对的……

  俄罗斯总理梅德韦杰夫(Dmitry Medvedev)的Twitter帐户14日遭黑客入侵,并且发布了一系列指责俄罗斯政府和总统普京的推特消息。俄联邦政府新闻中心已经对媒体表示,梅德韦杰夫的Twitter帐户发布的消息与事实不符。

梅德韦杰夫

  电脑虽好,但不要贪玩哦!到底是梅德韦杰夫真的不想干了?还是受人指使?又或者是真的被黑客黑了?傻傻分不清楚,就像之前“大概8点20发”一样。

twitter

  不过小编还有一个小问题,“Twitter”是什么啊?

  近日,中国科学家目前正在研发一种能够在人群中探测到高度紧张的个体的微型摄像机,为执法人员提供一种预先识别“潜在的自杀性袭击者”的工具。但是因为涉及到公民的隐私权,且这项技术有可能会被执法人员滥用,它仍然引起了一些争议。

  这种怒气槽可视化的先进技术看起来还真的是很不错呢,如果推广开来,相信在地铁里经常会上演尿急的乘客被警察按倒在地戏码……当然,如果在北上广三地上班高峰的地铁中进行测试的话,相信项目也会立刻终止的。

  “立秋后的蚊子——铁嘴”,这句老话最近一定让您感受颇深。白天不留神就会被叮咬;晚上睡觉,蚊子还时常在耳边“哼歌”。据疾控部门多年数字显示,如果为蚊子密度画出变化曲线图的话,将会有两次“波峰”,第一次是6月前后,第二次就是立秋之后的8月—9月。

  日前,多款“手机驱蚊软件”悄然走红,这些软件声称只要给手机安装了驱蚊软件,手机就能发出超声波,达到驱蚊效果。用手机驱蚊,听上去绿色环保,但实际效果如何呢?昨日,某记者在某公园内实测了三款评价较好的驱蚊软件,结果一个小时被蚊子咬了10个包。

驱蚊软件

  与其说这些软件是用来驱蚊的,不如说这些软件是用来测智商的,从塞班炒到了现在,居然还有人相信手机能发出超声波。不过仔细想想,手机确实没被咬哪怕是一个包!

热度排行
往期回顾