> “Until I can detect a well-developed ‘sense of mathematical taste’ in AI, I expect its role to be that of an important auxiliary tool, not that of independent

> “Until I can detect a well-developed ‘sense of mathematical taste’ in AI, I expect its role to be that of an important auxiliary tool, not that of independent discoverer.” AI, no, but ML, yes. ML can only make estimates, e.g. compute functions, it doesn’t have judgement. That requires a human decision maker. It goes back to what I learned in primary school about computers: “a computer can only do what you tell it to do.”