User loginNavigation 
Computer generates verifiable mathematics proof
NewScientist.com:
A computerassisted proof of a 150yearold mathematical conjecture can at last be checked by human mathematicians... ...Georges Gonthier, at Microsoft's research laboratory in Cambridge, UK, and Benjamin Werner at INRIA in France have proven the [Four Colour Theorem] in a way that should remove such concerns. Georges Gonthier's home page includes links to the paper and the actual proof. 
Browse archives
Active forum topics

Recent comments
1 week 3 days ago
1 week 3 days ago
4 weeks 1 day ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 1 day ago
9 weeks 1 day ago
12 weeks 9 hours ago
12 weeks 5 days ago
12 weeks 6 days ago