我看到很多人热心于证明各种数学猜想，比如什么哥德巴赫猜想什么的；也有很多人热衷于0.9999…和1的关系…
对于0.9999….和1的关系，这种属于读书少。而证明各种数学猜想，你的行动，可能就是人类知识的财富！
但是，外人一般都会把你的绝妙证明当成是笑话，直接无视，尤其是专业的。因而不可能有什么让世人认可的成就，从而沦为笑话制造机。这是很可惜的，万一，真的解决了一个世界级难题，如何证明自己做到了，如何让数学家们认可，才是真正的难题！
计算机世界有一类软件叫proof assistant ，这类软件的作用是，你把数学证明录入进去，它会给你检查你的证明过程有没有错。常见的有：coq, lean, arend, Isabella, …当然也有使用门槛，你得真懂数学，而且数学证明得足够严格且逻辑顺畅，每一步都要有依据，不然用不动。比如，你不能用“一个妈妈一个爸爸生一个孩子”来证明“1+1=3”，但你可以用后继数来证明1+1=2。
因而，我觉得以下的方法，一来可以验证自己的证明对不对，二来可以得到数学家们的认可。
1. 把你的数学证明录入随便一个proof assistant ，通过验证。
2. 把你经过验证的证明（录入到proof assistant 的版本），上传到GitHub 仓库。不会的话闲鱼找人帮你。
3. arxiv 上发一篇英文论文，不用太多废话，就说你证明了，而且通过了proof assistant 的验证，然后附上GitHub 的仓库地址。英文如果有困难，不要怕，闲鱼找一个帮你写一篇，一两页就差不多了，也花不了什么钱，还可以让他帮你传arxiv 。
4. 等着全世界爆炸性新闻报道你吧！😁