标签:吉姆Tilley

四色问题是最著名的数学问题之一。它抗拒了一百多年的证据才最终屈服;最终，有了一个有效的证明，但它依赖于一千多个小时的计算机时间。吉姆·蒂利的研究表明，戏剧性的简化最终可能成为可能。他发现了一个[…]

阅读更多…