Solidot
43.6K subscribers
28.8K links
solidot.org 非官方 RSS 推送频道。如有侵权,立即删除。
→ Buy Ads: https://telega.io/c/solidot
Download Telegram
望月新一的 ABC 猜想证明被认为存在无法修复的漏洞

2012 年,日本京都大学数学家望月新一(Shinichi Mochizuki)发表了一篇 500 页的论文,宣布证明了 ABC 猜想。但他的证明由于过于复杂而多年来没有得到其他数学家的承认。ABC 猜想涉及到质数、加法和乘法之间的关系,由 David Masser 和 Joseph Oesterle 在 1985 年提出,ABC 指的是如 a+b=c 的方程式,它牵涉到无平方数概念。如果证明正确,有可能在数论领域掀起一场革命。现在,新晋菲尔茨奖得主、波恩大学数学家 Peter Scholze 和法兰克福大学的 Jakob Stix 发表文章(PDF)指出,望月新一的证明论文存在“无法修复的漏洞”。 Scholze 和 Stix 称,论文中 Corollary 3.12 证明结尾的一行推理存在根本性的缺陷。Scholze 称,ABC 猜想仍然是猜想,任何人都有机会来证明它。Media

https://www.solidot.org/story?sid=58024
刘强东涉嫌性侵案移交检方

美国明尼阿波利斯警方已将中国亿万富翁刘强东涉嫌性侵的案件移交检方。周四的公告意味着,现在将由当地检察官决定刘强东会不会面临刑事指控。这位 45 岁的中国企业家是中国最富有的商人之一,本月初在美国明尼苏达州因涉嫌强奸被捕,随后从该州亨内平县(Hennepin County)监狱获释。明尼苏达州亨内平县检察 Mike Freeman 周四表示,当地警察局已完成初步调查,检察官将“审查所有证据,然后就是否(对这名中国亿万富翁)提出刑事指控作出决定”。“刘强东先生已经配合了明尼阿波利斯司法部门的工作,并愿意在必要的情况下继续合作,”京东在本月早些时候发布的公司声明中表示。在董事长被捕后,该公司曾将此事件描述为“失实指控”,并称“经过当地警方调查,未发现有任何不当行为”。Media

https://www.solidot.org/story?sid=58025
小米承认在设置菜单中植入广告

小米深度整合广告的 MIUI 系统最近引发了争议,该公司甚至在设置菜单里都加入了广告。它的 MIUI 系统将 Google 的 Android 系统变成了一个更纯粹的广告展示平台。小米在接受媒体采访后证实确有此事,但澄清广告只在 MIUI 设备里展示,不会在运行原生系统的 Android One 设备上展示。小米称,广告是并将继续是小米互联网服务的重要组成部分,是公司商业模式的关键组成部分。小米表示会提供关闭广告的选项并改进广告方法维护用户体验。Media

https://www.solidot.org/story?sid=58026
Cloudflare 将不再对 Tor 用户展示恼人的 CAPTCHAs 验证码

云服务公司 CloudFlare 多年来一直使用基于 CAPTCHAs 的反 DDoS 系统,要求 Tor 用户在访问其保护的网站时反复输入验证码验证是他们不是机器人而是人类。Tor 项目在 2016 年公开指责 CloudFlare 大规模监视和破坏 Tor 流量,而 CloudFlare 则辩解称 94% 的 Tor 流量被它认为是恶意的。Tor 项目对这一数字提出了质疑。CloudFlare 竞争对手 Akamai 的分析显示,来自 Tor 网络的“恶意流量”比例与来自非匿名网络的比例是相同的。后来 CloudFlare 表示将寻找方法对 Tor 用户停止显示 CAPTCHAs。它现在宣布了名为 Cloudflare Onion Service 的新服务,能区分机器人和合法的 Tor 流量,其最大优势将是 Tor 用户通过 Tor 浏览器访问 Cloudflare 保护的网站时将很少或基本不会再显示 CAPTCHAs。Media

https://www.solidot.org/story?sid=58028
ICANN 准备更改 DNS 根区密钥

管理互联网域名和 IP 地址分配的非营利机构 ICANN 董事会现已批准对密钥进行首轮变更,此举旨在保护域名系统(DNS)。ICANN 计划在 2018 年 10 月 11 日对 DNS 根区的密钥进行变更或"轮转"。此举标志着自 2010 年启用密钥以来,首次对密钥进行变更。DNS 根区秘钥的变更原本预计在一年以前进行,但当 ICANN 找到轮转前的最新数据并对其分析后,决定暂缓密钥轮转。这些数据展示了网络运营商是否已对密钥轮转准备就绪。Media

https://www.solidot.org/story?sid=58029
Eric Schmidt 预测到 2028 年互联网将分裂

前 Google CEO 和执行主席 Eric Schmidt 预测未来十年将有两个存在明显区别的互联网:一个由美国领导,另一个由中国领导。Schmidt 是在旧金山举行的一个私人活动中分享他的看法的。经济学家 Tyler Cowen 在会上询问了他对互联网碎片化的观点,Schmidt 认为最可能的情景不是互联网四分五裂,而是分成两部分,其一由中国主导,另一个则是美国。Schmidt 称中国互联网公司在规模上甚至超过美国公司,但不要以为中国互联网公司只会在中国境内发展,它们也会参与全球化,通过一带一路,中国的互联网产品和服务将会扩大到更多国家。他说,真正的危险是那些产品和服务来自于一个对互联网进行审查和控制的政权。在 Schmidt 之后担任 Google CEO 的 Sundar Pichai 最近因为公司的中国战略而引发了广泛争议:Google 为中国市场开发了一个审查版的搜索引擎。Media

https://www.solidot.org/story?sid=58030
法国开源安全操作系统 CLIP OS

法国网络安全机构 ANSSI 开源了它在 Linux 内核基础上开发的安全操作系统 CLIP OS。ANSSI 称它开发和升级 CLIP OS 已经超过十年时间,这个 Linux 操作系统整合了一套安全机制去抵抗恶意代码和保护敏感信息。它提供了一个分区机制,允许在同一台电脑上在两个完全隔离的软件环境内同时处理公开和敏感的信息,避免将敏感信息泄漏到公网。CLIP OS 采用 LGPL 2.1+ 许可证授权,源代码托管在 GitHub 上。ANSSI 称,开源项目目前处于 alpha 状态,仍然在活跃开发中,它与 Qubes OS 有着相似的目标,但隔离机制有着巨大的不同。Media

https://www.solidot.org/story?sid=58031
行为准则正在影响开源社区

匿名读者 写道 "Sage Sharp 引用 GeekFeminismWiki 声称没有在新行为准则上签名的曹子德是强奸辩护者,reddit 上的讨论则认为这是在指出研究缺陷,攻击反而违背行为准则。行为准则正在影响开源社区,LLVM 第五活跃的开发者 Rafael Avila de Espindola 因不满而离开,甚至写下了 Talk is cheap. Show me the code.(废话少说,放码过来)名言的 Linus Torvalds 都决定休假反省。Ada Ehmke 声称 40000 开源项目采纳了她的行为准则,包括 Linux、Rails、Golang、Google、Microsoft、Apple。社区缺乏多样性并以技术能力为借口被指责是一种错误,Linus Torvalds 的女儿 Patricia Torvalds 也是一名女权主义者。RMS 则在邮件中表示不赞成死板的行为准则。"Media

https://www.solidot.org/story?sid=58032
Google 雇员曾私下讨论调整搜索功能反击特朗普旅行禁令

华尔街日报援引 Google 内部邮件报道(付费墙),在特朗普政府 2017 年 1月 颁布有争议的旅行禁令后数天,搜索巨人的员工讨论了如何调整公司的相关搜索功能,以向用户展示如何向支持移民的组织捐款以及联系议员和政府机构的方式,比如在搜索结果中加入美国公民自由联盟 ACLU 的捐款链接。他们交流的邮件显示,员工们建议“利用”搜索功能和采取措施纠正他们所认为的使用 ‘伊斯兰’、‘穆斯林’、‘伊朗’等关键词搜索时得出的“恐伊斯兰、算法偏差搜索结果”,以及搜索‘墨西哥’、‘西班牙裔’、‘拉丁裔’等词条出现的“带有偏见的、算法偏差搜索结果。”Google 发言人表示,所有讨论过的想法均未付诸实施,邮件内容只是头脑风暴的想法,Google 从未操纵其搜索结果或修改其任何产品以宣传特定政治意识形态。Media

https://www.solidot.org/story?sid=58033
Google 为 Gmail 数据分享辩护

今年早些时候,新闻集团旗下的华尔街日报将矛头对准了搜索巨人,称 Google 允许数以百计的外部软件开发者扫描大量 Gmail 用户收件箱,这些用户注册了基于电邮的各类服务,包括提供购物价格比较、自动旅行日程安排或其他工具。这些软件开发者对计算机进行训练,学习如何阅读用户的电子邮件,有时候开发者还会直接阅读邮件,而 Google 几乎没有采取行动加以监督。Google 在致美国参议院议员的信函中为自己的 Gmail 数据分享辩护,称前期的审查会发现绝大多数“不受规矩的人”。美国参议院商务委员会将在 9 月 26 日举行听证会,向 Google,苹果、AT&T、Twitter 询问其在消费者数据隐私保护上的做法。Media

https://www.solidot.org/story?sid=58034
Cody Wilson 试图在台湾租房

与未成年少女发生性关系的 3D 打印武器项目 Defense Distributed 创始人 Cody Wilson 最近遭到美国的通缉,而他人不在美国而在台湾,并取消了返回美国的航班。而根据台湾媒体的报道,Wilson 看起来试图有意在台湾长住。他于 9 月 19 日曾与北市罗斯福路四段一家租屋中介公司签约,准备租下位在南昌路二段一处的出租雅房,中介公司 20 日见到新闻媒体发布 Wilson 的长相后,惊觉日前来租屋者,竟就是威尔森,便打电话报警,辖区中正二分局前往了解确定是Wilson 本人出面签约租屋,除将情资转报刑事局国际科外,正全面调查 Wilson 去向中。台湾警方表示,外籍人士在台未涉案不能任意逮捕,若接获协缉请求,带到人后可依移民法驱逐出境。Media

https://www.solidot.org/story?sid=58035
在星际迷航中史波克母星所在位置天文学家发现了一颗超级地球

在星际迷航设想的史波克母星瓦肯星所在位置,天文学家发现了一颗超级地球研究报告发表在《Monthly Notices of the Royal Astronomical Society》期刊上。这颗行星两倍于地球,它所在的星系是一个三恒星系统 40 Eridani,距离太阳 16 光年。40 Eridani 由橙矮星 Eridani A、白矮星 Eridani B、红矮星 Eridani C 构成。星际迷航作者 Gene Roddenberry 在咨询了天文学家之后将这个星系作为假想的瓦肯星所在的位置。这颗超级地球被称为 HD 26965b,其轨道位于恒星的宜居带,在理论上可能存在液态水。但它一年只有 39 到 44 天,而且可能与恒星 Eridani A 潮汐锁定,也就是行星的一面始终朝着恒星。Media

https://www.solidot.org/story?sid=58036
加州考虑禁止默认密码

加州参议院向州长 Jerry Brown 递交法律草案,要求联网硬件产品的制造商必须使用独一无二的预编程密码,或者在用户第一次使用时要求更改密码。如果州长签署法案将其变成法律,那么它将于 2020 年生效。批评者认为草案的措辞模糊,也不清楚它将如何执行和监管,而且它也不足以确保硬件制造商不会在设备中包含不安全的功能。这就像是节食,节食的关键是少吃,但如果你只强调吃某些类型的食物而不是少吃,那么这种节食是没有效果的。Media

https://www.solidot.org/story?sid=58037
Telltale Games 倒闭,后续游戏开发取消

知名冒险游戏开发商 Telltale Games 在耗光了现金之后申请破产,裁掉了绝大部分雇员,后续游戏开发基本取消,包括行尸走肉的最后一季《The Walking Dead: The Final Season》。 这一结果并不出人意料,Telltale Games 过去几年过度扩张,购买了大量 IP,但产品质量参差不齐,结果是销量惨淡。虽然今年工作室努力提高产品质量,发布了多款备受好评的游戏,然而这并没有转变成销量,Telltale Games CEO Pete Hawley 发表了裁掉绝大部分雇员和关闭工作室的声明。The Wolf Among Us 2 和 Stranger Things 游戏的开发也都取消了,工作室只保留了 25 人去履行与 Netflix 签署的 Minecraft Story Mode 开发合同。Media

https://www.solidot.org/story?sid=58038
Vivaldi 2.0 发布候选版

匿名读者 写道 "经历了长达三年迭代,Vivaldi 2.0 发布候选版。Vivaldi 是谭咏文离开 Opera 后推出的浏览器,基于 Chromium 并使用 Web 技术构建高度可定制的用户界面,可定制性甚至能设置窗口背景图,内建工具甚至提供了侧边栏面板以访问网站的移动视图。谭咏文曾谈及 Vivaldi 与开源,认为 Vivaldi 是完全可审计的。"Media

https://www.solidot.org/story?sid=58039
梵蒂冈与中国达成主教任命临时协议

罗马天主教与中华人民共和国就主教任命问题签署临时性协议,协议细节没有透露。梵蒂冈官方新闻称,“在逐渐互相接触后,圣座国务院与各国关系部门副秘书长卡米莱利蒙席与中华人民共和国外交部副部长王超于 9 月 22 日在北京针对主教任命问题签署了一份临时性协议...该项临时性协议是一个循序渐进和相互靠近的成果,是经过漫长过程的慎重商讨后签署的,协议也将就其本身的落实情况进行定期性的评估。该协议涉及教会生活极其重要的主教任命问题,并为更广泛的双方合作创造条件。双方的共同期望是该项协定能促进一个富有成果和远见的双边对话,并能为在中国的天主教生活、中国人民的福祉及世界的和平做出积极的贡献。”梵蒂冈新闻网站在中国遭到屏蔽,双方关系解冻是否会解除屏蔽还有待观察。Media

https://www.solidot.org/story?sid=58040
Google 要求雇员删除与审查版搜索引擎相关的备忘录

Google 人力资源部门要求雇员删除一份在内部流传的机密备忘录,该备忘录透露了为中国开发的搜索引擎的更多细节,包括要求中国用户登录才能搜索,跟踪用户位置,与中国合作伙伴分享搜索结果历史,允许中国合作伙伴单方面访问数据。备忘录本月初在抗议审查版搜索引擎的 Google 雇员中间分享。The Intercept 援引三个消息来源称,Google 高层在发现备忘录披露了不应该告诉其他雇员的机密信息后很愤怒,随后 Google 人力资源部门发邮件给被认为浏览和保存备忘录的雇员,要求他们立即从计算机上删除备忘录。要求删除备忘录的电子邮件包含了跟踪代码,会在阅读时通知人力资源经理。备忘录披露 Dragonfly 原型除了会关联搜索和手机号码外,还会保存用户的活动,设备的 IP 地址,点击的链接地址。备忘录指责该项目的开发者为中国政府开发了间谍工具去监视其公民。用户的搜索历史、位置数据和其它私人数据会发送到台湾的一个数据库,但这些数据同时会提供给有权访问数据库的中国公司雇员。除了能访问用户搜索数据外,Google 在中国的合作伙伴还能添加黑名单,选择性的编辑搜索结果。备忘录引发了对 Google CEO 说法的质疑。备忘录称,至少有 215 名雇员全职参与开发 Dragonfly,人数比公司内的许多项目都要多,源代码日期显示其开发至少是从 2017 年 5 月开始的。Media

https://www.solidot.org/story?sid=58041
Mir 1.0 发布

Ubuntu 官方博客宣布发布显示服务器 Mir 的 1.0 版本。Mir 曾是 Canonical 为 Unity 桌面环境项目开发的显示服务器,但如今 Canonical 已经放弃了 Unity 和 Mir,转向了 Gnome 桌面环境和 Wayland 显示服务器。Mir 1.0 是在 Wayland 基础上重新开发的,Canonical 把它作为物联网设备服务器的一种解决方案提供给用户。Media

https://www.solidot.org/story?sid=58042
诺贝尔物理学奖得主高锟去世

2009 年诺贝尔物理学奖得主,被称为光纤之父的高锟于 9 月 23 日下午在沙田白普理宁养中心离世,享年 84 岁。高锟 1933 年 11 月出生于上海,祖贯江苏金山,出身书香门弟。祖父高吹万是清末江南著名书画家,父亲高君湘律师是美国密西根大学法学院博士。高家 1948 年移居台湾,高锟之后再随父亲携家眷迁往香港,1949 年进入香港圣若瑟书院,其后到英国升学和工作。1966 年他在英国做出划时代实验,证明用石英基玻璃纤维可以长距离传递信息。1970 年高锟回香港,担任香港中文大学电子系创系教授,1987 年升任香港中文大学校长,至 1996 年退休。2002 年高锟证实患上早期阿兹海默病,为协助阿兹海默症患者和家属,高锟及夫人黄美芸翌年成立高锟慈善基金。高锟Media

https://www.solidot.org/story?sid=58045
Cody Wilson 在台湾被捕被遣返

与未成年少女发生性关系的 3D 打印武器项目 Defense Distributed 创始人 Cody Wilson 已在台湾被捕,并遣返出境。因与未成年少女援交 Wilson 在美国遭到通缉,他本人则在通缉之后一直滞留在台湾。台湾警方将其寻获之后带回移民署专勤队调查,在取得美国在台协会新核发的旅行文件后,昨天晚间被押解至桃园机场搭机遣返美国。Wilson 搭乘 22 日晚上十时的长荣航空班机,由台北直飞美国休斯顿。机上将有飞安人员控管,Wilson 一抵达美国就会被美国警方逮捕。Media

https://www.solidot.org/story?sid=58046
日本隼鸟 2 号探测器在小行星表面着陆

日本宇宙航空研究开发机构(JAXA)确认探测器“隼鸟2号”向小行星龙宫(162173 号小行星)”释放的2个“MINERVA-II”小型探测机器人已在表面着陆。“MINERVA-II”实现了全球首次在小行星表面的移动,并成功拍摄了照片。第一代“隼鸟号”在 2005 年 11 月尝试在小行星“丝川”使同样的探测机器人着陆,但失败了。隼鸟2号于 2014 年 12 月发射,目标小行星龙宫被认为存在接近生命起源的有机物和水。隼鸟2号本身也计划最多着陆 3 次。预计在 10 月下旬展开首次挑战,争取在赤道上或稍稍偏南处着陆。Media

https://www.solidot.org/story?sid=58047