## User login## Navigation |
## Computer generates verifiable mathematics proof
NewScientist.com:
A computer-assisted proof of a 150-year-old 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

5 hours 11 min ago

6 hours 35 min ago

8 hours 2 min ago

9 hours 12 min ago

9 hours 53 min ago

12 hours 41 min ago

13 hours 45 min ago

16 hours 5 min ago

21 hours 37 min ago

22 hours 50 min ago