陶哲轩在文章中探讨了数学论文可视化工具的研究进展，特别是利用大型语言模型生成数学图表的能力。他开发了一款应用程序，可以以交互式图形展示定理之间的依赖关系，帮助用户理解复杂的数学论文。尽管生成的图表可能不完全准确，但希望能作为理解论文的初步指南。

初创公司Axiom Math提交了8篇AI生成的数学论文，其中5篇已通过同行评审。创始人洪乐潼在MIT获得双学位后退学创业，AxiomProver系统能够生成形式化证明并与人类数学家合作。该公司的目标是打造自我改进的超级智能推理器，已解决多个数学难题，并扩展到博弈论和经济学领域。