AI 辅助 Vibe Coding 也可以帮到陶哲轩（数学家）「我利用了一次和 AI 的深入对话，来帮助回答了一个 MathOverflow 上的问题。在此之前，我已经做过理论分析，倾向于认为答案是否定的，但我还需要一些数值参数去验证某些不等式，才能最终构造出反例。起初，我尝试让 AI 提供一段 Python 代码，用来搜索反例，然后自己运行和调整。但发现运行时间太长，而且最初的参数选择本来

#AI辅助 #Vibe Coding #陶哲轩 #数学研究 #MathOverflow

相关新闻

黄赟

3小时前

每次开启 vibe coding 做一个全新的产品，就像重开一段新的人生，兴奋的要死，，

wong2

1天前

有意思，现在Lovable和Bolt这两个vibe coding平台的后端能力（数据库、Auth、文件存储等）都是由Supabase提供的。可惜Supabase没上市！

Justin3go

2天前

新的一月从新的一单开始，下午准备开始vibe coding😁

吕立青_JimmyLv (🐣, 🐣) 2𐃏25 | building bibigpt.co

3天前

其实vibe coding对于程序员最大的伤害是 —— 破坏了心流之前的我，可以嘎嘎一直写，现在却只能眼睁睁看着 AI 写，还不给即时反馈（特别是 Codex CLI 人狠话不多这种 Agent）于是乎，我只能做点儿其他事儿来找回专注的状态，最近开始重新打游戏了，操作密集型，APM飙上200, 巨累，但是很爽！

Lex Tang

3天前

在真实 vibe coding 项目中打磨了一波 xcstrings_mcp，功能更强，更省 token。另外还给 web 编辑器加上了暗黑模式。

关联事件

AI高考数学测试：O3意外落后，Gemini夺冠引发热议

在近期的AI高考数学测试中，O3虽然未降智，但却屈居第四，未能进入前三名，引发了广泛的质疑与讨论。此次测试不仅使用了O3，还引入了其他模型的API进行统一评估，并加入了人气模型Gemini 2.5 Pro。结果显示，国内多款模型在推理能力上有显著提升，基本都能考上130分以上，其中Gemini在客观题测试中表现最佳。随着AI数学能力的提升，未来的测试结果可能会趋于满分，导致各模型之间的区分度降低。这一现象引发了对AI发展趋势的深入探讨，尤其是在教育领域的应用前景。