Hacker News Reader

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

Plus requiring attribution in papers.

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.