4 ms·Wasn’t ~40% of the proof of Kepler conjecture was discovered by a tool like Sledgehammer?by FaleCroissant 7y agoWasn’t ~40% of the proof of Kepler conjecture was discovered by a tool like Sledgehammer?