More likely is that frontier labs give huge discounts of EDUs if they consent to allowing training.

Plus requiring attribution in papers.

	▲	sebzim4500 3 hours ago \| parent [-]
		Maybe, but I suspect that AI in maths will soon become so prevalent that it's use will be assumed by readers whether there is attribution or not.