emollick· @emollick · X·· 2 天前AI 评分
数学家指出证明不等于数学进步
数学家指出证明并不总是等同于推进数学，这是合理的。但这表明数学需要新的目标——它到底想做什么。 同样的事情会在各处发生。多 100 倍的 PowerPoint 或代码并不总是进步——那什么才是？
Its reasonable for mathematicians to point out that proofs are not always the same thing as advancing mathematics. But it suggests a need for new goals for what math is trying to do
Same thing will happen everywhere. 100x more PowerPoint or code is not always progress - what is?
来源：emollick · x.com