陶哲轩使用大模型辅助解决数学问题：生成代码、编辑LaTeX公式效果显著

🆕最新资讯🆕
数学家陶哲轩最近利用ChatGPT大模型进行数学问题求解的尝试，并分享了他的试验结果。他发现ChatGPT可以生成涉及正则表达式的复杂代码片段，并在VSCode中得到了可用的代码。此外，陶哲轩还使用AI工具来编辑排版数学公式，并在即将发表的论文中展示了与VSCode、TeXLive、LaTeXworkshop和Github Copilot的联合使用效果。陶哲轩认为这些AI工具对数学研究具有重要作用，并有很大的应用潜力。
来源：https://zhuanlan.zhihu.com/jiqizhixin