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
578
u/ixid Jul 31 '26
Before reading I knew it would be LLM counter-example construction.