李诞zzz 回顾一年前 agent + lean4 解决数学问题的预言

李诞zzz（@lidangzzz）发帖回顾自己一年前提出的预言：agent + lean4 可解决一切数学问题。他称当时数学系同学不以为然，建议他先解决财务、行政、法务等问题。 一年后他重新提及此事，并附上网友仍持同样质疑的评论，暗指预言正在应验。该预言是否应验目前仅为李诞zzz个人的说法，尚无其他验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。