3 ms·The AI takeover of mathematics has begun2 points by brandonb 2mo agomkprc 2mo agohttps://archive.ph/ecMAU https://archive.ph/ecMAU