All but a negligible amount of novel mathematical results going forward will have had substantial LLM involvement