用Deepseek的Prover 2模型结果出现了这种图 
 [image] 
我的记忆中只用来生成过流程图，从来没生成过这种图，太”精密“了！！！ :lark_033:但是用别的模型就做不出来，这是只有Prover 2可以吗？ :lark_033: