#MathOverflow

avatar
AI 辅助 Vibe Coding 也可以帮到陶哲轩（数学家） 「我利用了一次和 AI 的深入对话，来帮助回答了一个 MathOverflow 上的问题。 在此之前，我已经做过理论分析，倾向于认为答案是否定的，但我还需要一些数值参数去验证某些不等式，才能最终构造出反例。起初，我尝试让 AI 提供一段 Python 代码，用来搜索反例，然后自己运行和调整。但发现运行时间太长，而且最初的参数选择本来就注定会失败。 于是我改变策略，改为和 AI 一步一步对话，让它用一些启发式计算（类似试探的方法）来帮我找到更合适的参数。最后，AI 确实给出了可以使用的参数，我再单独进行验证（确实还是用它提供的 Python 代码，但这次只有 29 行，逻辑简单到我可以一眼看懂，并且算出来的数值也和之前的启发式推测吻合）。 在这个过程中，AI 工具帮我节省了大量时间——如果完全靠我自己做，可能要花上好几个小时写代码和调试。AI 不但利用上下文帮我发现并修正了请求中的数学错误，还在生成代码之前就解决了问题。实际上，如果没有 AI 的帮助，我几乎不可能去尝试这样的数值搜索，而是会直接走向理论上的渐近分析。」
AI高考数学测试：O3意外落后，Gemini夺冠引发热议· 35 条信息
#AI辅助 #Vibe Coding #陶哲轩 #数学研究 #MathOverflow