论文图表可视化工具

摘要

陶哲轩开发了一款应用，可将论文中定理对象之间的依赖关系（以JSON格式输入）转化为交互式图表，支持探索、编辑并导出为SVG、TikZ、quiver或Mermaid等格式。他利用LLM为八篇论文生成了示例图表，包括Wang和Zahl对三维Kakeya猜想的证明、Wiles对费马大定理的证明以及Szemeredi定理的证明等。陶哲轩指出，当前瓶颈在于审查过程而非代码生成，并希望用户能自行创建或借助AI工具生成图表。