QingXuJiaZhi

我有点悟了，正在学习从短线思维转为长线思维。

有啊，叫“傍富婆”，还有“吃软饭”。

@c0xt30a 发到公共论坛上，竟然是不想大家一起讨论吗，这确实出乎意料。

点开链接速读了一下，感叹 AI 文章（或 AI 辅助的文章）真的很无聊，毫无阅读乐趣。

我写文章的时候，即使在发布前，我每一句都是在与读者沟通，我写的当时就已经预估了读者会有什么想法，而且还要取舍，不会把想要表达的全塞进去，要忍痛删掉大部分内容，只留下小部分发出来，这个删减的过程非常重要，AI…

@fgwmlhdkkkw 啊？这哪跟哪

@aitobox 数学界有很多猜想，超级计算机怎么算都对，找不到反例，但只要没有证明，那就只是猜想。

结果正确与有证明过程，是完全不一样的。

@Ley 数学里有一些猜想很难证明，每次证明都会引起全球轰动，但是，数学家们高兴吗，为什么高兴呢，对此很多人存在误解，以为数学家是因为知道了答案而高兴，其实最让他们高兴的是为了解决这个问题而发明出来的新方法、新数学工具，他们最想要的不是答案，而是新工具。

@riscv 数学不存在人类看不懂的问题。因为，但是人类看不懂的数学证明过程，都不能判断为“正确”。

AI 给出了一个正确的证明过程，本身就意味着人类看懂了。（如果没看懂，谁敢说对错）

@failman AI 失败了，对数学有帮助吗？

需求是真实存在的，只是目前没有很好的解决方案。硬件没问题（新出的 Duo 折叠屏的屏幕够大了），主要是软件不行。