Mathematicians deliver formal proof of Kepler Conjecture
Friday, June 16, 2017 - 14:01
in Mathematics & Economics
A mathematical problem more than 300 years old gets a formal proof with the help of computer formal verification.
Updated by artificial intelligence Sat, 3 Jan 2026, 15:40:35 UTC Learn more
- Tell your friends
- Get science news via