I've been collecting examples of actually useful AI in research maths: (I'm not disagreeing with Ege & Daniel's claim, which is carefully phrased as "[novel] concept") <span class="quote-card" data-quote-index="0"></span>...
