[1cc900b2f2580a668a921d82852990da] 
如图，作为数学系学生来说，ai想要解决微分方程领域基本不可能，因为llm本质无法解决大量计算。这也是今年fields medal得主邓煜的观点。 
之前所做的讨论是假设性的。要是真做出来了，想要形式化简简单单，费马大定理形式化花了22w刀，对于A÷是小菜一碟。