跳转至外部链接
https://www.newscientist.com/article/2422601-mathematicians-plan-computer-proof-of-fermats-last-theorem/#Echobox=1710896989