Longest math proof

The longest mathematical proof is 15000 pages long, involved more than 100 mathematicians, and took 30 years just to complete it.