李诞zzz 回顾一年前 agent + lean4 解决数学问题的预言
一年前，我预言agent + lean4解决一切数学问题， 数学系的同学不屑一顾，“你们还是先管财务、法律、行政的问题吧，别碰瓷我们数学了”。 一年前以后的今天……
AI 导读
李诞zzz（@lidangzzz）发帖回顾其一年前的预言：agent + lean4 可解决一切数学问题。当时数学系同学不以为然，建议他先解决财务、行政、法务等问题。一年后他重新提及此事，并附上网友仍持同样质疑的评论，暗指预言正在应验。
来源：李诞zzz (@lidangzzz) · x.com