“未解难题”
用英语怎么说？

The value of this new proof goes beyond solving a famous question. By focusing on overlooked structures, the researchers introduced innovative tools to analyze networks, opening doors to unresolved problems across graph theory. For example, mathematicians can now apply similar techniques to explore networks drawn on curved surfaces like a torus. Nevertheless, researchers still dream of finding an elegant explanation that does not rely on computational power. Many mathematicians continue searching for a theoretical insight that can fit onto a single page. While computers have verified that four colors suffice, the desire to unravel the mystery purely through human reasoning remains alive.

这一新证明的价值超越了解决一个著名问题本身。通过关注被忽视的结构，研究人员引入了分析网络的创新工具，为图论中诸多未解难题打开了大门。例如，数学家现在可以应用类似的技术来探索绘制在环面等曲面上的网络。尽管如此，研究人员依然梦想找到一种不依赖计算能力的优美解释。许多数学家继续寻找能够写在一张纸上的理论见解。虽然计算机已经证实四种颜色足够，但单纯依靠人类理性推理来揭开谜团的渴望依然存在。