#Langlands

数学家用ChatGPT加速了证明长篇局部计算，检查了计算并发现不一致之处，挺有意思的。