$天融信(SZ002212)$ $超图软件(SZ300036)$ $英伟达(NVDA)$ 人工智能在数学证明的应用产生的影响可能被低估了。最近MIT、英伟达、加州理工搞了一个LLM模型.... 意思就是可以用chagpt可以来证明数学公式。原理是利用已有9万6千多个数学公式去证明新的公式。准确的说法是chatgpt是个很好的数学小助手，很多简单、重复繁琐的事情都可以交给它来完成！