形的技术壁垒，高阶对偶群的表示论复杂，难以构造显式对应，比如处理模空间的无穷维性质需发展新的几何与拓扑工具，比如提升为高阶范畴等价时，需克服同伦论与导出代数几何的抽象复杂性……

遇到的问题越多，陈辉就越是高兴，每一个问题都是一条通天大道！

袁新毅研究的方向正是范畴化与导出几何，目前看来，他似乎已经在这个方面做出了突破性的进展。

剩下的问题中，解决无穷维几何问题时，需要发展新的几何与拓扑工具，也就是方文曾经说过的发明新工具方向。

陈辉沉思，

或许，创造力的提升，也是时候提上日程了。

(本章完)