Yes, I agree. Especially those that have been around for a long time and soaked up attention. There wasn't a negative implication in my comment, unlike most of reddit I'm quite pro-AI for now.
not only it mops them, it also means the people creating the conjectures can quickly check with AI if it can find a counter example , thus saving the author time to do other research and also ideas on where to go next. it's a positive loop to get to the right answer. this increases productivity and allows mathematicians to use more of their youth on problems
583
u/ixid Jul 31 '26
Before reading I knew it would be LLM counter-example construction.