文望远镜发现新星和用肉眼发现新星的区别。针对证明过程冗长、难以理解的问题，哈肯等人也着手对证明进行改良。简化证明的一个方向是寻找更小的不可避免集和更加容易验证的可约构形。哈肯等人很快将不可避免构形集的大小从1936个改进到1476个。1994年，罗宾·托马斯等人又将其改进到只包含633个构形、32个放电规则的放电过程推出的不可避免构形集。由于着名的前车之鉴，数学家们对证明进行详细审视，发现了大量缺漏和错误。特别是厄里奇·史密德等人曾经检查人工证明部分的40%，并发现放电过程中的一个关键性错误。幸好，这些