1. Make mathematics a closed community, only people who join this community can read and work on its stuff. I imagine a VPN that contains all maths knowledge that only members can view, similar to how big tech handle their codebases. It needs to be hard to copy and paste that stuff into the open internet and doing so should involve serious punishments like jail time, similar to posting say proprietary Google code on the internet.
2. Anyone caught using AI is excommunicated from the society, his access to the VPN permanently revoked, and his work is never interacted with again.
3. There will be a bit of a disruptive period as maths moves from open to closed model. During that time AI will keep solving more problems, but as long as mathematicians stop contributing more open problems, at some point AI will stop (either because it has solved all open problems, or it can’t make progress anymore because scaling is no longer economical).
I think Association for Human Mathematics should do this, I think they will be surprised by how much funding the public is willing to allocate to this (public hates AI), because fundamentally humans like thinking about and doing maths, and do not mind dedicating a bit of the surplus produced from society to let others do this, similar to arts. Just because I can prompt a better melody from Suno, doesn’t mean humans will stop wanting to make music.
Of course other mathematical associations can and should form, which fully embrace AI. But if the VPNs secure, these associations will not be competing as they won’t even have shared consensus of what problems to solve. They both will still need to compete to get public funding, which is fine, I think AI math will have a harder time justifying their funding since anyone can prompt a robot.