8 ms·
Google has created a maths AI that has already proved 1200 theorems (PayWall)
- MrXOR 7y agoThe paper: HOList: An Environment for Machine Learning of Higher-Order Theorem Proving[1] [1] https://arxiv.org/abs/1904.03241 https://arxiv.org/abs/1904.03241
- FaleCroissant 7y agoWasn’t ~40% of the proof of Kepler conjecture was discovered by a tool like Sledgehammer?