@rnv 这篇文章的核心论点，AI 公司堆算力找答案的做法，和数学的目标相悖。文章认为解题是手段不是目的，目的是为了激励、培养数学家，在解题过程中也会诞生新的数学工具。我已经反驳了：都是借口。你可以理解为，一个程序员喊着：写出满足需求的程序，不是编程的追求。重要的是手搓程序过程中，查 Stack Overflow 、积累 BUG 排查经验、写技术博客、做趁手的小工具，完善开发框架，你们 AI 编程，不如古法编程能培养程序员，你们毁了编程。这和几百年前纺织工人的论调是一样的。

4h 13m ago

Replied to a topic by tianhehechu › 随想 › 论 AI 恐惧症——对莱顿宣言的驳斥

@ppBruce ② 无法实现的话，① 就没有可能。② 实现了，物资丰富，啥都是白菜价。地球资源不够了去火星。人类会像不会哄抢公厕里的厕纸一样，不再哄抢物资。

4h 17m ago

Replied to a topic by tianhehechu › 随想 › 论 AI 恐惧症——对莱顿宣言的驳斥

@BornThisWay 是这样的，NS 之前，陶是拥抱 AI 的； NS 后，自己独一无二的价值受到了威胁，和当初画家一样着急了。我感觉程序员心胸是最开阔的，可能是受益于开源氛围。程序员群体很快就拥抱了 Vibe coding ，谁要是鼓吹古法编程，甚至会引来一片嘲笑。现在「 Vibe mathing 」刚有苗头，数学家就跳出来，出来维护古法数学了。

4h 29m ago

Replied to a topic by tianhehechu › 随想 › 论 AI 恐惧症——对莱顿宣言的驳斥

@BornThisWay 没错

4h 35m ago

Replied to a topic by tianhehechu › 随想 › 论 AI 恐惧症——对莱顿宣言的驳斥

这篇文章主要是对《 A Severe Misalignment of AI in Mathematics 》的驳斥，题目改不了了。

20h 7m ago

Replied to a topic by yidinghe › 程序员 › 试试这个提示词，让大模型重写文档，让人看得懂

@seven777 最好的提示词，是要求仿照史记和汉书写成文言文，会马上抛弃那些现代汉语污染。

22h 39m ago

Replied to a topic by dirstart › 分享创造 › 用 Astra 把家乡的竹林老屋做成一个可以游览的网页

@dirstart 期待~可以做个小型测验再决定要不要用，试试水

» More replies by tianhehechu