## 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## New forum topics |

## Recent comments

23 hours 58 min ago

1 day 5 hours ago

1 day 16 hours ago

1 day 16 hours ago

5 days 19 min ago

5 days 2 hours ago

5 days 6 hours ago

5 days 23 hours ago

6 days 9 hours ago

1 week 1 day ago