adv

solidot此次改版内容包括服务器更新、编程语言、网站后台管理的优化、页面和操作流程的优化等。
数学
pigsrollaroundinthem(39396)
发表于2016年07月29日 17时52分 星期五
来自男性要平权
发表在《科学》期刊上的一项研究指出,法国人在男性占支配的领域(如 STEM )有着统计学上显著的重女轻男雇佣偏见。也就是在法国申请与科学相关的教职,女性比男性更容易得到雇佣;而申请女性占支配地位的文学和外语相关教职时,男性也较为容易得到雇佣,但并不显著。研究人员对比了性别盲性的笔试和性别明显的口试,发现在高中级考试中,在男性占多的领域中,主持口试者给女性的分数会高于男性。
数学
pigsrollaroundinthem(39396)
发表于2016年07月19日 19时47分 星期二
来自民科
CNN报道了一位中国民工解决了一道复杂数学问题——这一故事被誉为现实版的心灵捕手。Yu Jianchun在一家快递公司工作,他提出了一种替代方法去验证 Carmichael 数。Carmichael 数有时被称为伪素数,对于计算机科学和信息安全有重要价值。他的方法让学者感到吃惊,认为比传统方法更有效。浙江大学数学教授 Cai Tianxin 说,他没有接受过数论的系统性培训,也没有参加过高级的数学课程,他所拥有的是直觉和对数字的极端敏感。Yu Jianchun是在给自家造房子的空闲时间完成了这一问题的证明。密苏里大学的数学家William Banks从事于Carmichael 数方面的工作,他表示如果替代证明得到验证,将是该领域的一个振奋人心的发现。33岁的Yu Jianchun至今还是单身,他表示找老婆比从事数学更紧急。
数学
pigsrollaroundinthem(39396)
发表于2016年07月18日 17时19分 星期一
来自亚裔成员
上周在香港举办的2016年国际奥林匹克数学竞赛上,美国连续第二年获得总分第一。竞赛共有6道题(今年的题目,可选中文),每题7分,满分42分。美国队获得6枚金牌总分214分,韩国队4金2银207分,中国队4金2银204分,新加坡队4金2银196分,台湾队3金3银175分,朝鲜队2金4银168分,俄罗斯队4金1银1铜165分,英国队2金4银165分,香港队3金2银1铜161分。美国队的成员包括了Ankan Bhattacharya、Michael Kural、Allen Liu、Junyao Peng、Ashwin Sah和 Yuan Yao。有6个人获得满分42分,其中包括美国队的 Allen Liu 和 Yuan Yao,中国队的Yuan Yang,另外3人都来自韩国队。
数学
pigsrollaroundinthem(39396)
发表于2016年06月29日 16时03分 星期三
来自人与人
2010年,一个令人惊讶的流言传遍了数论社区,传到了德国波恩大学数论学家Jared Weinstein的耳中:该校的一名研究生将228页长的数论难题证明简化成37页(预印本)。当时年仅22岁的学生Peter Scholze找到了方法绕过了证明的最复杂部分。Weinstein说,一个如此年轻的人做出了如此具有革命性的工作不得不让人感到震惊。Scholze仅仅在两年之后就成为了波恩大学的全职教授,他被誉为世界上最有影响力的数学家之一,是几十年才会出现一个的天才,被认为很有希望获得菲尔茨奖。Scholze的主要成就是被称为perfectoid空间的理论。大多数数学家对Scholze的反应混合着敬畏、恐惧和兴奋,这不是因为他的个性,他的个性非常平易近人和友好,而是他令人胆怯的看穿事物本质的能力。Scholze在14岁开始自学大学水平的数学,16岁开始阅读Andrew Wiles的费马大定理证明,虽然费马大定理本身非常简单,但证明利用了最先进的数学理论。他没有看懂但仍然为此着迷。高中毕业后他在波恩大学继续追逐对数论和几何的兴趣。他的同学说,他上数学课从不记笔记,因为他能同步理解课程内容,不仅仅是理解,而是某种程度的深入理解,因而不会遗忘。
数学
pigsrollaroundinthem(39396)
发表于2016年06月01日 12时46分 星期三
来自午饭吃了一斤
1974年发明的模式匹配卡牌游戏Set(又叫神奇形色牌)共有81张牌,每张牌的四个特征会有不同:数量、图案、纹路及颜色。玩家的目标是从给定的12张牌中挑选出3张特征完全相同或完全不同的牌的组合,这个组合就叫Set。在偶然情况下,12张牌中不包含一个Set。那么问题就是:不包含Set的卡牌集数最大是多少。20。意大利数学家Giuseppe Pellegrino在1971年给出了证明。但这个答案对数学家来说只是一个开端。因为特征的数量可以增加。对于有N个特征的不同版本Set游戏,不包含Set组合的最大牌数是多少?过去几周,数学家发表了一系列论文解决了这个问题,证明方案之简单令数学家都感到吃惊。最新的解决方案正在推动其它组合学问题取得进展。陶哲轩说,该问题可作为拉姆齐理论(Ramsey theory)中所有其它问题的模型问题,它的解决能立即在其它地方取得进展。
超级电脑
pigsrollaroundinthem(39396)
发表于2016年05月31日 15时55分 星期二
来自暴力破解
得克萨斯奥斯丁、斯旺西大学和肯塔基大学的三名数学家在超级计算机Stampede的帮助下完成了一个并不优雅的证明,文件大小400TB,这是人类不可能读完的最大数学证明。计算机给出了一个答案,但并没有给出更多的解释,这是计算机辅助证明所带来的哲学上的困惑。研究论文(PDF)发表在预印本网站上。三位数学家解决的是一个布尔可满足性问题,可满足性问题是第一个被证明的NP完全问题。问题是加州圣迭戈数学家Ronald Graham在1980年代提出的,名叫布尔毕达哥拉斯三元数问题:对于自然数集合N={1,2,3,4...},能否将它们分成两部分,分别以蓝色和红色着色,而满足毕达哥拉斯著名方程 a^2 + b^2 = c^2的数a,b和c不能是同一种颜色。举例来说,对于勾股数3,4,5,如果3和5是蓝色,那么4必须是红色。在计算机的帮助下,研究人员证明,集合N={1,2,...7824} 能满足条件,但到7825时就不可能保证每一个毕达哥拉斯三元数颜色不同。{1,2,...7825} 有10^2300种着色方法,研究人员利用对称性和数论技术设法将计算机需要检查的可能着色方法减少到1万亿以内,然后利用Stampede的800个核心运行了2天。7825这个数有什么特别意义,计算机无法给出解释。
数学
pigsrollaroundinthem(39396)
发表于2016年05月30日 16时47分 星期一
来自没有比拉马努金更惨的了
肯恩·小野(Ken Ono)人生的前27年一团糟。作为第一代日本移民的幼子,他面临的来自父母的巨大压力以实现学术上的成就。他的父亲是普林斯顿高等研究院的数学家,母亲是一位“虎母”。肯恩·小野现在是一位成功的数学教授,但年轻时候并非如此,为了逃避父母的期望他从高中辍学,后来进入芝加哥大学后更热衷于派对。即便在数学中发现真正的乐趣之后,害怕失败的压力仍然沉重的压住他的身上,在出席学术会议时他曾尝试自杀。在寻找心灵宁静的过程中,他受到了拉马努金(Srinivasa Ramanujan)故事的鼓舞。拉马努金出生在被英国殖民的印度,生活贫困,受到很少的正式学校教育,但发现了数以千计的独立数学结果。被应用于弦论的拉马努金θ函数,至今仍然被深入的研究。尽管才华横溢,拉马努金却挣扎于被西方数学家接受,在32岁病死前两次从大学退学。小野没有将自己的能力与拉马努金进行比较,但他的职业生涯部分是来自于拉马努金的见解,最近还担任了 拉马努金传记电影《知无涯者》的助理制片人和数学顾问。
数学
pigcanfly(38602)
发表于2016年04月10日 19时36分 星期日
来自等待同行检查
在哈萨克斯坦的Mukhtarbay Otelbaev之后,乌兹别克数学家Shokir Davlatov声称解决了一道千禧年大奖难题。他的论文发表在预印本网站arXiv上。Davlatov证明纳维-斯托克斯方程存在唯一解。该方程是流体力学的重要方程,是克雷数学研究所在2000年提出的7个千禧年大奖难题之一,它描述了空间中不可压缩流体的运动。方程的解可以应用到许多实用领域,目前数学家只找到了一些特解。7个千禧年大奖难题,目前只有庞加莱猜想获得证明。
数学
AnkhMorpork(36532)
发表于2016年03月16日 19时52分 星期三
来自这里太短不写了
英国数论学家Andrew Wiles因在1994年证明困扰数学家三百多年的费马大定理而获得2016年度的阿贝尔奖。阿贝尔奖被誉为数学界的诺贝尔奖。今年62岁的Wiles将获得大约70万美元的奖金。费马大定理是指关于x、y和z的不定方程 xn + yn = zn,当n>2时没有正整数解。Wiles之前已经因为证明了这个问题而获得了许多奖项,其中最为重量级的是菲尔茨特别奖(他的年龄超过了获奖年龄上限40岁)。
数学
AnkhMorpork(36532)
发表于2016年03月14日 17时09分 星期一
来自数论突破
斯坦福大学的两位数学家在arXiv.org上发表论文,宣称发现了素数的一个分布规律。素数是只能被1及其自身整除的数,它的分布至今没有观察到规律,但Kannan SoundararajanRobert Lemke Oliver对前10亿个素数的分析发现,一个尾数为9的素数有约65%的概率更可能紧跟着一个尾数为1的素数而不是另一个尾数为9的素数。这项发现挑战了素数是随机分布的传统观点。绝大多数数学家认为,下一个素数尾数为1,3,7,9的机会应该是均等的。
数学
AnkhMorpork(36532)
发表于2016年02月02日 20时45分 星期二
来自都是共济会的阴谋
牛津大学的David Grimes博士在Plos One期刊上发表论文,运用辐射物理学中的数学方法去分析阴谋。这条新闻被知名媒体广泛报道,Martin Robbins 发表文章指出作者的模型存在严重错误,他从错误的模型得出了一个其实已经众所周知的结论——如果参与阴谋的人数足够多,那么保守秘密的难度将会非常大。Robbins认为,整件事最失败的不是Grimes博士而是同行审议的学术期刊Plos One,审议论文的专家竟然会没有发现非常简单的计算错误。Grimes博士的模型甚至可以用来证明耶稣复活是真实的:如此多的人相信耶稣复活,持续的时间长达2000年——根据Grimes博士的方程式,如果这是阴谋,那么它不可能会持续两千年仍然没有曝光真相。
数学
AnkhMorpork(36532)
发表于2016年01月27日 16时06分 星期三
来自所以同谋者要少
阴谋是很难一直保守秘密的,迟早同谋者会将其曝光。牛津大学的David Grimes博士在Plos One期刊上发表论文,运用辐射物理学中的数学方法去分析阴谋保守秘密的时间。他研究的数学方程式考虑了三个因素:参与的同谋者数量,持续的时间,阴谋失败的固有概率。他随后将数学方程应用于四个著名的阴谋论:阿波罗登月是假的,气候变化是假的,疫苗导致了自闭症,制药公司压制了癌症治疗药物。如果这些阴谋是真的,那么伪造登月的阴谋会在3.7年内曝光,气候变化阴谋则会在 3.7年到26.8年内曝光,疫苗自闭症阴谋则是3.2 到34.8年,癌症治疗阴谋则是3.2年。以阿波罗登月阴谋论为例,参与该项目的NASA雇员多达41.1万,不可能人人都能保守秘密,因此数学方程式计算阴谋如果是真的会在3.7年内被人揭发。
数学
AnkhMorpork(36532)
发表于2016年01月25日 14时52分 星期一
来自明年20x20
围棋棋盘上的每一个位置都有3种可能性:留空、落黑子或白子。一个有N个格子的棋盘总共有3^N个可能的位置数,但根据围棋规则,不是所有位置都可合法落子,在围棋术语中没有气的位置就不能落子。在去年计算出18x18格围棋精确合法位置数后,普林斯顿的研究人员如今完成了19x19格围棋的精确合法位置数的计算。研究人员开源了计算合法位置数的程序,对于L19的计算,研究人员推荐使用有15TB磁盘空间、8到16核,以及192GB内存的服务器,运行时间可能需要几个月。

数学
AnkhMorpork(36532)
发表于2016年01月20日 15时28分 星期三
来自念一遍
互联网梅森素数大搜索(GIMPS)项目宣布发现第49个梅森素数和已知最大的素数:2^74,207,281-1。发现者又是GIMPS志愿者、中密苏里大学数学计算机科学系的Curtis Cooper教授。最新发现的素数共有22,338,618位,比之前的记录保持者长500万位。大素数对于加密具有重要价值,但最新发现的素数太长了,因此目前不具有实用价值。GIMPS是一个分布式计算项目,至今已有20年历史,它利用志愿者的空闲CPU创建了一个遍布全球的超级计算机,它的 prime95软件此前发现了英特尔处理器的一个漏洞。
数学
AnkhMorpork(36532)
发表于2016年01月10日 21时15分 星期日
来自已经获得不死之身
世界上最多产的数学家Paul Erdős在去世20年后仍能发表新论文,而且还是第一作者。Paul Erdős在1996年去世,逝世后作为共同作者发表了35篇论文,至今发表的论文数达到了1526篇。最新发表的这篇论文(PDF)刊登在期刊《Integers》上,署名作者除了Erdős外,还有爱荷华州立大学的Steve Butler,他成为第512位Erdős合作者,获得了令人羡慕的Erdős数1。Butler在Erdős活着的时候没有与他见过面,但另一位署名作者、加州圣迭戈的 Ronald Graham则是Erdős早年的合作者。论文证明了3500年前的古埃及分数的一个猜想,古埃及分数是指一种特殊形式的有理数,它们可以分解成多个单分数之和,形如N/M=1/a1+1/a2+...+1/ai之和,其中a1<a2<...<ai。Butler和Graham在1960年代提出了一个猜想:如果一个自然数的分母能分解成三个不同素数之乘积,那么它可以用古埃及分数的形式表达。但当时他们没有给出猜想的证明。
数学
AnkhMorpork(36532)
发表于2015年12月23日 17时47分 星期三
来自开会吃饭
2012年,日本京都大学数学家望月新一(Shinichi Mochizuki)发表了一篇500页的论文,宣布证明了ABC猜想ABC猜想涉及到质数、加法和乘法之间的关系,由David Masser和Joseph Oesterle在1985年提出,ABC指的是如a+b=c的方程式,它牵涉到无平方数概念。如果证明正确,将有可能在数论领域掀起一场革命。但论文公布3年之后,没人能给出证明正确还是错误的明确答案。望月对此非常不满。12月7日,一些世界上最知名的数学家聚集到牛津的克雷数学研究所讨论望月的证明。牛津大学的数学家Minhyong Kim是研讨会的一位组织者,他说,“人们正变得不耐烦、包括我,包括望月。”数学家并不期待会后能完全理解望月的证明,或能对证明给出明确的结论。他们想要被说服证明含有强有力的新观念,值得进一步探索。与会的数学家认为望月应该把他的证明写的更具有可读性,否则的话今天的状况还会继续下去。
数学
AnkhMorpork(36532)
发表于2015年12月11日 19时08分 星期五
来自大学基友
由罗伯特·朗兰兹提出的朗兰兹纲领在数论和代数几何之间建立起了联系,但追逐该问题面临的障碍是:单个的数学家需要同时在两个领域都有很深造诣,这很困难;两个领域的资深数学家需要密切配合,这也很困难。四名来自中国的数学家恰好能做到后一点,他们通过密切合作在朗兰兹纲领上取得了突破。他们的最新论文发表在arXiv.org上。袁新意 Wei Zhang恽之玮 Xinwen Zhu在北大学习时成为了密友,他们都选择了出国,出国之后他们仍然密切合作。恽之玮和Xinwen Zhu的专业是代数几何,现在是斯坦福和加州理工的副教授,袁新意和Wei Zhang则精通数论,现在是加州伯克利的助理教授和哥伦比亚的教授。Wei Zhang谈及出国理由时说,在中国,数学家并不快乐,他们看来并不享受数学,他们释放出了数学是困难的和选择数学作为终身职业需要谨慎的印象。但哥伦比亚完全不同,数学是快乐和乐观,有动力的。
数学
AnkhMorpork(36532)
发表于2015年11月30日 18时05分 星期一
来自等待有人证明
P Vs. NP是著名的数学问题,描述了解决一个问题和一个问题是否能解决之间的区别,它的假说实际上也支配着我们的互联网旅行商问题是一个NP问题。你可以用页面请求替换旅行商,旅行商要访问的目的地换成服务器,浏览器或电脑发出的页面请求需要选择一条路线抵达服务器,一路上它将经过大量的计算机设备,访问请求的最优路径问题就是一个放大版的旅行商问题。Google、Facebook和苹果通过建造数据中心试图缩小地图的规模优化访问速度。另一个问题是加密,我们的支付系统和隐私保护依赖于公钥系统。而公钥系统依赖的是大数分解,而大数分解质因子的问题也是一个NP问题。如果你能证明P=NP,互联网将会崩溃。
数学
AnkhMorpork(36532)
发表于2015年11月12日 16时20分 星期四
来自 旅行商问题
芝加哥大学的数学和计算机科学教授László Babai在11月10日宣布了能有效解决图同构问题的新算法。斯坦福大学的计算机科学家Ryan Williams说,他一开始以为是个玩笑,特地查了下那天是不是愚人节。他认为新的算法有可能是过去十多年计算机科学理论最重要的突破。Babai的算法还需要被仔细检查,他思考这个问题已有30多年了。他声称算法能在拟多项式时间内判定最复杂的图,他拒绝接受采访,表示需要先确保能经受同事们的多轮拷问。麻省大学的理论计算机科学家Neil Immerman说,一位数学家在宣布重大发现前没有递交书面证据是不同寻常的做法,但Babai是非常聪明和可靠的人,是图同构问题的顶级专家,相信他能证明他的声明。
数学
lx1(25847)
发表于2015年11月07日 23时31分 星期六
来自天书
判定两个有限图是否同构的问题在计算复杂度上被认为在P和NP之间,不知道它是否能在多项式时间内解决还是一个NP完全(或简称NPC)。芝加哥大学的匈牙利籍数学和计算机科学教授László Babai将在11月10日发表演讲,谈论一个算法能在拟多项式时间内解决图同构问题。László Babai曾先后获得过哥德尔奖和高德纳奖,他发表过180多篇论文。他的最新算法使得图同构问题的计算复杂度略高于P。他的结论是基于有限单群分类