关键词为 “数字证明” 的文章

2+2=4的完整证明包含2452个定理和25933步

by Matrix on 3月 21, 2009

这不是在中国广为人熟知的简化形式的1+2=3（有些教师用来糊学生）之类的哥德巴赫猜想。