You said it much better than I could. I also think their intimations that mathematicians will use computers to ensure their theorems are correct will not come t

You said it much better than I could. I also think their intimations that mathematicians will use computers to ensure their theorems are correct will not come to fruition, though they are selling it as a huge advantage.