October 10, 2023 10 min
Overview
When mathematics tells us the best way to stack oranges... Formulated in 1611, Kepler's conjecture was finally proved by Thomas Hales... in 1998! Using computational methods unorthodox for his colleagues. The certification of mathematical demonstrations is an arduous and tedious process.
Comments 0
Please log in to leave a comment.
No comments yet. Be the first to share your thoughts!