费马大定理形式化项目被AI一举干掉之后，秃鹰老师没有破口大骂砸老子饭碗，或者都他妈是屎山slop，反而自陈为乐观派。理由若干，其中我认为最有趣的，是他不同意以最近很火的瑟斯顿所谓“数学的本质是人类理解”来续命。我对全文无保留地赞同。 https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/