用编程智能体构建新旧应用
早在 1999 年,我就开始对机器辅助数学研究与教学的方式感兴趣。当时,我开始用 Java 1.0 编写几个小程序,分别用于我的复分析和线性代数……。任务:作者使用AI编程智能体将遗留的Java 1.0数学小程序迁移至JavaScript,并构建了用于狭义相对论和吉尔布雷斯猜想的新可视化工具。工作流程包括向智能体提供旧代码或概念描述,通过“氛围编程”进行迭代,并人工审查输出的逻辑正确性和UI行为。作者在数学和编程方面的专业知识对于定义高层设计决策以及验证生成的代码是否符合特定科学原则至关重要。;工具:custom-built or unnamed agent。人工角色:原始帖子没有说明人如何参与。;局限:该方法依赖于智能体理解标准数学概念和现有代码结构的能力;复杂的非标准逻辑可能需要更多的人工指导。LLM生成的代码可能包含细微bug,因此这种方法适用于辅助可视化工具,而非关键的数学证明。作者指出,领域专业知识和编程经验对于检测问题和引导智能体的设计选择仍然必不可少。。
工具
custom-built or unnamed agent
Agent Work Atlas 发布日期:
概述
早在 1999 年,我就开始对机器辅助数学研究与教学的方式感兴趣。当时,我开始用 Java 1.0 编写几个小程序,分别用于我的复分析和线性代数……
工作流程
作者使用AI编程智能体将遗留的Java 1.0数学小程序迁移至JavaScript,并构建了用于狭义相对论和吉尔布雷斯猜想的新可视化工具。工作流程包括向智能体提供旧代码或概念描述,通过“氛围编程”进行迭代,并人工审查输出的逻辑正确性和UI行为。作者在数学和编程方面的专业知识对于定义高层设计决策以及验证生成的代码是否符合特定科学原则至关重要。
原文报告的结果
智能体在几小时内成功迁移了约二十四个小程序,恢复了功能并增加了颜色化等图形升级。它在迁移版本中仅引入了一个轻微的拖拽事件bug,同时发现了原始代码中两个作者此前未察觉的bug。生成的狭义相对论和吉尔布雷斯猜想可视化新应用仍处于Alpha或预Alpha阶段,可能存在需要进一步用户反馈来完善的粗糙之处。
人工角色
原始帖子没有说明人如何参与。
局限
该方法依赖于智能体理解标准数学概念和现有代码结构的能力;复杂的非标准逻辑可能需要更多的人工指导。LLM生成的代码可能包含细微bug,因此这种方法适用于辅助可视化工具,而非关键的数学证明。作者指出,领域专业知识和编程经验对于检测问题和引导智能体的设计选择仍然必不可少。
试一试
作为编程助手,帮助我迁移遗留代码或构建新的可视化工具。我将提供[源文件或详细规格说明]用于数学或科学应用程序。首先,分析输入并提出在[目标语言,例如JavaScript]中的迁移计划或新应用架构。然后,分阶段生成代码,先构建核心逻辑引擎,再构建UI。在每个阶段后,展示代码并简要说明其如何满足要求。我将审查输出中的逻辑错误和UI行为。在我明确确认示例实现正确且符合我的标准之前,不要部署或发布任何代码。如果遇到需求模糊,请在继续之前提出澄清问题。
来源报告未经独立核验。发布日期为本站案例发布日期,并非原始文章日期。