新浪科技综合@存在90年的凯勒猜想被完全破解新浪科技综合2020-08-24 10:09:070阅( 二 )
但从二维凯勒图上可以看出 ， 这样的小集合并不存在 ， 因此凯勒猜想在二维空间中是正确的 。
Corrádi和Szabó利用这种方法 ， 用216个具有3个点的骰子证明了凯勒猜想适用于三维空间 ， 在这种情况下 ， 他们要寻找的反例是8（即23）个相互连接的骰子 。 Mackey则通过找到256（即2?）个具有8个点的骰子的小集合 ， 证明了凯勒猜想不适用于八维以及更高的维度 。
要判断七维空间是否适用于凯勒猜想 ， 需要判断能否找到128（即2?）个具有7个点的骰子的小集合 。 七维空间一直是个难点 ， 这与它是的素数本质不无关系 ， 这意味着它无法被分解成更低的维度 。
终于 ， 在新的研究中 ， 数学家Joshua Brakensiek、Marijn Heule、Mackey以及David Narváez在40台计算机的帮助下解决了这个问题 。 计算机就给出的最终答案是：是的 。 这意味着 ， 我们终于知道了凯勒猜想在最后一个维度上的适用情况 ， 证明凯勒猜想在七维空间中仍然正确 。 而计算机提供的答案也远不止一个简单的结论 ， 它还包括了一个大小为200Gb的证据来证明这个答案是正确的 。
【新浪科技综合@存在90年的凯勒猜想被完全破解新浪科技综合2020-08-24 10:09:070阅】至此 ， 凯勒猜想可被认为已被完全解决 。
文章图片
图6/6
推荐阅读
- 古都正|中国千年古都正在崛起“硬科技”
- 小米科技|外媒曝光：小米新奇想专利让超广角拍摄不失真
- 职场女性|巾帼不让须眉：科技界又多了一位女掌门
- 【行走自贸区】线下逛线上购！来曹妃甸综合保税区体验不一样的“海淘”|【行走自贸区】线下逛线上购！来曹妃甸综合保税区体验不一样的“海淘”
- 【行走自贸区】线下逛线上购！来曹妃甸综合保税区体验不一样的“海淘”
- 服贸会|金融科技新成果集中“上新”服贸会，150家金融机构携手亮相
- 省属|赋予科研人员职务科技成果所有权 事关8家省属高校、科研院所
- 【行走自贸区】三亚崖州湾科技城：企业人才纷至沓来|【行走自贸区】三亚崖州湾科技城：企业人才纷至沓来
- 创新服贸|创新服贸 互惠共享 | 智能科技改变生活 服务贸易添新元素
- 创新服贸 互惠共享 | 智能科技改变生活 服务贸易添新元素