“怎么样，庞先生，你有把握解决这个问题吗？”
一旁的树老似笑非笑地看着庞学林道。
庞学林淡淡一笑，说道“我可以试试。”
庞学林当然不愿意和墨菲两人被这个看似慈祥，实际上却心机无比深沉的老妖怪一直控制着。
毕竟不管是寻找高维人类文明，还是为永夜号的安全着想，他都必须脱离树老的掌控。
但是短时间内他也想不到太好的脱困之法，只能暂时在这里待着，和树老虚以委蛇。
至于帮助树老解决一些数学以及物理学方面的问题，庞学林倒不怎么抗拒。
在这个树洞里长时间生活，研究数学问题无疑是打发时间的最好办法。
树老笑道“行，庞先生，那我就不打搅你的研究了。不过在努力研究的同时，我希望你和墨菲女士能够更加努力地造人，毕竟这才是你们的主要工作。”
庞学林淡淡道“放心吧，树老，这一点我当然明白。”
“那就好。”
树老瞬间消失。
……
接下来的时间，庞学林将所有注意力都投入到霍奇猜想的研究中去。
现代数学自伽罗瓦的群论诞生以来，越来越倾向于提炼出对事物本质抽象的认识。
一百多年以来，数学家们在抽象的基础上继续建立更深的抽象，每一层次的抽象都更加远离我们日常的经验世界。
以群论为例，我们通用的“加、减、乘、除”则被抽象为四种运算法则。
霍奇猜想则是现代数学极端抽象体系下诞生的难题。
作为高度专业的问题，它处理的对象与人们的直觉相去甚远，以至于不但对猜想本身的对错难以下判断，甚至连问题本身的表述都在寻求建立真正的共识。
因此，对于霍奇猜想的定义，得从几何学的诞生开始谈起。
古希腊时期，毕达哥拉斯用演绎法证明了直角三角形斜边平方等于两直角边平方之和，即毕达哥拉斯定理。
自此，人类便开始将形状与数学联系在一起。
两百年后，欧几里得把人们公认的一些事实列成定义和公理，以形式逻辑的方法，用这些定义和公理来研究各种图形的性质，从而建立了一套从公理、定义出发，论证命题得到定理的几何学论证方法，形成了一个严密的逻辑体系——几何学。