Computer proofs of the classification of finite simple groups are also being worked on. Well, parts of it at least [1]. 1: http://research.microsoft.com/en-us

Computer proofs of the classification of finite simple groups are also being worked on. Well, parts of it at least [1]. 1: http://research.microsoft.com/en-us/news/features/gonthierproof-101112.aspx http://research.microsoft.com/en-us/news/features/gonthierpr...