Open Internet by MindsNetThe fall of the theorem economy | How AI could destroy mathematics and barely touch it