AI辅助做应用数学，与基础数学有一个不同的地方，就是除了Lean，还有一个重要的辅助手段——数值模拟。相当于一些时候是基于经验猜方向，然后AI自动探索可能的方向。这需要针对一个具体的项目或者问题，建立比较完整可靠的代码框架。