Old and new apps, via modern coding agents
13 hours ago
- #AI-assisted coding
- #legacy software migration
- #mathematical visualization
- 陶哲轩对机器辅助数学教学的兴趣始于1999年，当时他在课程和可视化教学中使用了Java小程序。
- 现代人工智能帮助迁移了旧的网页内容，并将Java小程序移植到JavaScript上，通过图形升级和很少的漏洞使其焕发新生。
- 他利用人工智能创建了新的小程序，包括一个特殊的相对论可视化（类似于'闵可夫斯基空间中的Inkscape'）和一个用于吉尔布雷斯猜想的工具。
- 这个过程是无痛的，陶哲轩计划将交互式可视化作为未来论文的补充，接受由大语言模型生成的代码所带来的低风险。
- 用户对小程序的反馈包括改进建议，陶哲轩还讨论了技术细节，例如在相对论应用程序中如何处理参考系。
- 为了避免过时，陶哲轩指出，如果代码具有逻辑结构和标准的数学上下文，大语言模型能够有效理解和移植代码。