我最近的整体的一个体验是AI4Math在应用数学中大有可为，这点在已有的各种报道与成果推介里还很少见，换言之目前可能相关的应用还处于比较浅的代码与算法的改进层面。AI4Math适用于应用数学的主要原因有如下几点：1. 相比于基础数学的一些超长的证明，应用数学中的很多证明用了成熟理论，逻辑步骤少很多，AI可以很好地完成任务；2. 应用数学中需要对背景进行一定的抽象提炼，这正好是人机协同的一部分，AI4Math天然地适合这种情形，例如，AI可以很好地提供一些有用的“模版”供人参考；3. 应用数学中也有创造新概念的场景，提炼解决问题只是一部分，真正能留下的工作很少，在解决问题的过程中提炼出新的数学思想、理论和方法也非常有价值（或者说能留下来的工作主要是这部分），我的感受是AI可以很好地协同推进这个部分的进程。