其实你们本质都是磁带和DVD，你们都在演我只不过你们始终都不承认

https://arxiv.org/abs/2610.08144

In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations.

这篇文章讲的应该是AI写的Lean4跟数学语言证明间有差距。然后指出GPT在NS方程的爆破解的Lean4证明跟自然语言证明会有差距。但是不一定代表爆破解是错的是对的

跟人交互是一个很有趣快乐的过程。相比机器 人是一个更复杂且会成长的东西，形成一个人的过程其实比想象中复杂。前些天有朋友跟我说，有个公司试图靠13亿个AI，想构建一个伪造的社会甚至世界。我说，我发现在过去两年里，我的文笔发生了很大的变化，如果从小学初中再到高中大学，我的文笔变化就更大了，现有的技术水平让AI做出这种continue learning可能还很困难。

我们喜欢一个社区的作品，因为这些作品都是人类做的，我们相信作者写下他们时注入了很多的心血、思考、快乐。我刚刚在构想，如果一个AI可以完全写出真人无法分辨的文笔，并且可以在这个社区里持续学习，文笔进化跟人类差不多（或者人类无法分辨），同时这个社区不泄漏“本社区包含AI”这个信息，那么可能人类就会被AI的伪装欺骗从而把它当作人类社区（听起来像是一个“图灵测试Pro max”）这个想法我记得小时候想过类似的。我当时对妈妈说：“其实你们本质都是磁带和DVD，你们都在演我只不过你们始终都不承认”
我一直觉得在AI后，一定会有一些作品是“只有人类能创造出来的优美”，类似于文艺复兴。

Integer multiplication below nlogn https://github.com/openai/math/blob/main/preprints/Integer-multiplication-below-n-log-n-September-23-2026/paper.pdf

GPT居然给出了一个更快的整数乘法，核心思路是改进之前nlogn乘法方法里用到的FFT，通过合并一些操作达到更低的复杂度。有时间我决定研究看看，更新到我的YuPP Project1里

我将返回南科大给讲座：如何在CS2办公室拿下5杀。

今天好焦虑，审稿意见要出了。

今天和新朋友在店里畅谈。