Person

Georges Gonthier

A computer scientist known for completing a formal proof of the Four Color Theorem in 2005 using the Coq proof assistant, representing a landmark achievement in machine-verified mathematics.

Timeline (last 90 days)

Sep 11

In 2005, Georges Gonthier proved the four color theorem using Coq.

Unverified50%

Sep 7

The formalization of the four color theorem was completed in 2005 by Georges Gonthier using Coq

Unverified50%

All Facts (2)

Unverified

In 2005, Georges Gonthier proved the four color theorem using Coq.

50%Unverified

The formalization of the four color theorem was completed in 2005 by Georges Gonthier using Coq

50%

Source Articles

StochBench: A Deep Dive into the First Lean Formalization Benchmark for Stochastic ProcessesSep 11