If the proof is written in a formal language, we have that now! Even several directly competing efforts (for better and worse). https://www.cs.ru.nl/~freek/100

If the proof is written in a formal language, we have that now! Even several directly competing efforts (for better and worse). https://www.cs.ru.nl/~freek/100/ https://www.cs.ru.nl/~freek/100/ Some people greatly hope that fully formal proofs become a routine part of math research and communication in the future.