数学大神陶哲轩升级论文写作工具，使用GitHubCopilot+VSCode

新知榜官方账号

2023-09-04 16:26:42

数学大神陶哲轩升级论文写作工具，使用GitHubCopilot+VSCode

上周，陶哲轩被网友安利了用AI工具写代码。今天，他表示自己几十年工作流已被颠覆！此外，还有一篇GitHubCopilot全程加持的新论文即将发表。

数学大神陶哲轩发帖称，自己的写论文神器终于升级了！此前，他经常使用的工具是TeXnicCenter+MiKTeX，并且已经保持了这个习惯将近十年。现在，根据读者的建议，他升级了一波工具，现在用的是VSCode+TeXLive+LaTeXworkshop+GitHubCopilot。

VSCode初印象陶哲轩表示，每隔五到十年，自己都会试图将TeXLaTeX编辑器切换到更现代的编辑器。这个过程重复了好几次，甚至从90年代中期就开始了。那时，他还在读研究生，刚开始用UNIXshell中的vi来写Tex。现在，陶哲轩在这里记录下了自己使用这些工具的第一印象，并表示对于很多VSCode用户看来，可能会显得很小白。

工具优点陶哲轩表示，现在主要使用的是用户定义的代码片段功能（codesnippetsfeature）。通过输入触发词（比如「cor」），然后按Tab键，就能创建整个推论环境（corollaryenvironment），非常节省时间。陶哲轩表示，奇怪的是，20年前就曾有一个短暂的时期见过类似功能。那时他使用微软的Word作为LaTex编辑器，纯粹是为了使用VisualBasic宏。不过，由于缺乏其他对LaTeX友好的功能，他不久后就放弃了使用Word。

AI驱动的GitHubCopilot陶哲轩表示，目前主要是用它的建议来填写代码段。在给出他需要的代码片段示例后，只要单击一下Tab键，GitHubCopilot就会给出更多建议。陶哲轩表示，自己最近的论文就是用这套新工具写的，很快就会放到arXiv预印本网站上，敬请大家期待。

网友留言陶哲轩在帖子中表示，自己也没用过这些编辑器，所以希望大家来一起比较下它们的优劣之处。很多年前，自己确实用过一些WYSIWYG（所见即所得）的LaTex编辑器，但它们并不方便和直接编辑LaTeX的合著者一起使用，或者并不适应各种不同期刊的内部风格。

改变工作流陶哲轩表示，自己发现VSCode设置的一个好处是，除了满足自己对编辑器中集成AI技术会是什么效果的好奇心，它还鼓励了自己改变了几十年的编码工作流——从在「在基本编辑器中编写代码，然后从命令行编译」，更新为类似于现代IDE的东西。为什么数学大神的编码方式如此复古呢？他对此给出了这样的解释：「我很少写代码，所以让这个工作流更现代化从来都不是我的优先事项。」

结论数学大神陶哲轩升级论文写作工具，使用GitHubCopilot+VSCode，让写作更加高效。

本页网址：https://www.xinzhibang.net/article_detail-10846.html

寻求报道，请

关键词

陶哲轩数学论文写作 AI工具 GitHubCopilot VSCode

分享至微信：

相关工具

Ghostwriter

知名在线编程IDE Replit推出的AI编程助手

Codeium

AI代码生成和补全

Deco

京东推出的设计稿一键生成多端代码工具

JamGPT

AI Debug调试助手

HTTPie AI

AI API开发工具

Tabnine

AI代码自动补全编程助手

Visual Studio Code最强大的JavaScript插件

前言Visual Studio Code无疑是最流行的轻量级代码编辑器。它提供了如代码智能提示等开发者非常需要的功能，而这些功能，曾经只在像Eclipse或者Visual Studio 2017这样的完整集成开发环境(IDEs)中才有。本文将从专门针对前端开发者的VSCode插件入手，向您介绍最流行

分类标签 VisualStudioCodeJavaScript插件代码编辑器

11-30 16:30

人工智能的应用：风险与监管

人工智能的应用：风险与监管近年来，人工智能（AI）技术的发展突飞猛进，应用场景越来越广泛。然而，随着AI技术的深入应用，相关的风险也开始暴露出来，比如肖像权侵犯、知识产权侵权、法律风险等。如何加强对AI技术和应用的监管，成为了全球范围内的重要议题。肖像权侵犯随着AI技术的发展，生成式AI（AIGC）

分类标签人工智能风险监管

11-10 16:32

VSCode扩展推荐

VSCode扩展推荐Visual Studio Code是一款由Microsoft提供的免费源代码编辑器，它具有对TypeScript，JavaScript和Node.js的内置支持。本文将为您介绍一些最有用的VSCode扩展，以及它们的功能和优点。GitLensGitLens是一款非常流行的VSC

分类标签 VSCode扩展工具

10-28 02:14

使用软件开发生产线CodeArts发布OBS，函数工作流刷新CDN缓存-云社区-华为云

使用软件开发生产线CodeArts发布OBS，函数工作流刷新CDN缓存-云社区-华为云本文分享自华为云社区《使用软件开发生产线CodeArts发布OBS，函数工作流刷新CDN缓存-云社区-华为云》，介绍了如何使用CodeArts构建流水线，通过PUSHMarkdown来发布文章，然后自动部署到OBS

分类标签华为云软件开发CDN缓存

10-25 10:13

AIGC技术对工业软件的应用及市场前景

AIGC技术的概念和应用场景...AIGC技术在工业软件方面的应用...市场前景和发展趋势...AIGC技术面临的挑战...

分类标签 AIGC人工智能工业软件

10-25 10:12

Meta开源文本生成代码模型CodeLlama

Meta开源文本生成代码模型CodeLlamaMeta在官网正式开源了文本生成代码模型CodeLlama。CodeLlama模型通过特定代码数据预训练、微调而成，支持文本或代码生成、调试和完成任务。CodeLlama是基于Meta最强开源大语言模型Llama2开发而成，提供了70亿、130亿、340

分类标签 MetaCodeLlama开源文本生成代码模型

10-18 10:30

程序员摸鱼神器来了！AmazonCodeWhisperer AI代码辅助工具

程序员摸鱼神器来了！AmazonCodeWhisperer AI代码辅助工具AI技术发展得如此迅速，现在连聊天和画图都不在话下了，更别说码农写代码的工作了。只需要输入一行提示，AmazonCodeWhisperer就能自动帮你补全代码，速度快，准确率高得惊人。AmazonCodeWhisperer是

分类标签程序员摸鱼神器AI代码辅助工具AmazonCodeWhisperer编程语言

10-18 10:12

推荐6款好用的IDE工具

CloudToolkitCloudToolkit是一款IDE插件，可以帮助开发者更高效地开发、测试、诊断并部署应用。通过CloudToolkit，开发者能够方便地将本地应用一键部署到任意机器（本地或云端），并内置Arthas诊断、高效执行终端命令和SQL等，提供IntelliJIDEA版，Eclip

分类标签 CloudToolkitJetbrainsOpenSumiAtomFIDENetBeans

10-18 10:10

8款高效的VSCode插件

8款高效的VSCode插件VSCode是这近几年非常热门的开发工具，它让开发效率大大提升。今天，快快小编就来介绍8款高效的VSCode插件，总有一款适合你。1、GitLensGitLens能够增强VisualStudioCode中内置的Git功能。它不仅能帮助你通过Gitblame注解直观地看到代码

分类标签 VSCode插件GitLenslocalhistoryESLintPrettiervscode-iconsVimVSCodechange-case

10-18 10:04

使用GPT-3在一个代码库中发现了213个安全漏洞

使用GPT-3在一个代码库中发现了213个安全漏洞近年来，人工智能和机器学习领域取得了巨大的发展，并开辟了全新的可能性领域。其中一个备受关注的领域是基于人工智能的代码分析，特别是使用人工智能模型来检测代码中的安全漏洞。本文介绍了作者使用GPT-3在一个代码库中发现了213个安全漏洞的实验结果，并与

分类标签 GPT-3安全漏洞代码库

10-15 10:12

ChatGPT Midjourney 文心一言文心一格 bing新必应 Stable diffusion 稿定设计墨刀AI mastergo Adobe Firefly runway