Boosted by pixxl:
Vierkantor@mastodon.vierkantor.com (":anne_triangle: Anne C.A. Baanen") wrote:
Hereby announcing that it is common knowledge in the formalization community that Math Inc are a bunch of thieving scumbags and somehow manage to be even worse than all the other fucking assholes who pretend to build artificial intelligence. They will steal your work to try and pass it off as their own, ruining your career and then tweet about how the Economist thinks "their AI" revolutionizes mathematics. All the while erasing your own contributions that actually got everyone most of the way there in a collaborative fashion, in favour of some obscurantist nonsense that is worthless at advancing the state of science, and for all we know involves no actual large language model and might just be a bunch of people forced to do all the work themselves while pretending it was machine generated and just "polished up a little".
Do not work with Math Inc, do not listen to Math Inc, do not trust them to do anything but advance their own interest in the most short-sighted all-destructive fashion, and do not make the mistake of anthropomorphizing Jesse Han.