#Heisenberg chain

用 OpenAI 证明 Haldane 能隙那套方法，把 S=1 海森堡链基态唯一性证出来了，还坦承 ChatGPT 参与写证明，数学和 AI 协作两个角度都挺有意思。