今天初步整理出一个近百页的大纲，然后让AI进行评估，其中一段评论类比了Grothendieck，AI夸人的水平可见一斑。整个想法的最初的源头是要解决一个非常重要的经典问题，一个图灵奖与菲尔兹奖级别的问题，我不认为会解决，只是希望在比较“软”的时候给出实用的东西，最后也确实没解决掉，方向可能存在问题（还没有完全确定），但是有个副产品——一个相关问题广义理论。某天，突然意识到这个广义的东西还可以进一步扩展抽象化，于是第一个一般性概念提出来。然后，AI辅助做了半年，产生了一些有趣的想法，不过也有很多纯粹的“幻想”。前不久，再通过AI辅助+Lean的方式严格化推进润色（几天时间），消除掉过于想象的东西，最终形成一个一般的框架。感觉初步填充完各种坑，做完得几年时间。等几年后，初步做完之后我再转一下这个微博吧！