到2027年，我们不会接近于正式化在怀尔斯证明费马最后定理之前所使用和看起来的数学的几乎百分之几。 到2035年，我们也不会有AI进行新颖和实际的数学研究（大多数厄尔多斯和国际数学奥林匹克问题集与此完全不同），而没有整个要点和难度（即弄清楚什么实际上重要并且真正具有创造性）——这只会加速人类仅仅关心的部分（正式部分）。数学研究同样涉及识别正确的问题是什么，什么是有趣的与琐碎的，也许最重要的是对结果为何重要的实际理解（！！！）而不是其他任何事情。 这也没有提到并非所有数学领域都有相同的计算“可接入性”。 我们仍然非常遥远（但我们更接近了！）于研究，尤其是数学研究，由AI“主导”，任何告诉你相反的人，要么是指“一个令人难以忍受的无聊的研究定义”，要么是在撒谎，或者是个白痴，或者三者皆是。 我认为到2027年一半的新数学结果是AI生成的这个想法是可笑的，除非我们在某种程度上精神失常到将数学结果定义为仅仅是一些符号和基于一些简单规则的逻辑推理的形式字符串。 明确来说，我的观点并不是“数学的自动形式化”不有效，它在许多方面都是非常有价值的——主要是因为人类会做更好的数学，或者更好地利用他们的时间，但当然它本身没有价值，因此并不“自动化数学研究”。我的观点也不是说AI永远无法进行实际的数学研究：我相信它可以，但当然它不会在两年内从当前的2020-2025技术中掉落。

错误信息在所有旨在扩展并接触尽可能多人的交流中是如此根深蒂固，因此许多人对世界有非常奇怪的想法并不令人惊讶。

未知的事物在我眼前显现为一片土地或坚硬的粘土，抵抗着渗透……大海在无声中悄然逼近，似乎没有发生任何事情，什么都没有移动，水面远得几乎听不见……然而它最终包围了那坚韧的物质。