It would (hopefully) have less attack surface. Electron is, after all, a whole browser, and needs to be able to do all the things a browser can do, while a native implementation can limit itself to just the very limited network interactions needed. (e.g. while XSS attacks are quite hard to do on a modern browser, a native app would make them impossible)

No, a Lemmy instance can ban you, and that won’t/can’t ban you from creating a new account on another instance.

But, that said, instance admins do talk to each other, and if you’re being a dick everywhere, you might find yourself getting less benefit of the doubt.

I think there are three main issues (though I might be overlooking something):

1. AI taking over peoples work is as much an issue for mathematicians here, as it is for programers, artists, writers, etc. elsewhere.
2. We still need to check if these 700 papers are correct (AI makes mistakes at least as often as humans, usually more often). This involves a huge amount of effort. And if it turns out that they contain a bunch of mistakes, OpenAI is unlikely to care. To them, these papers have already served their purpose (generating headlines).
3. Solving a problem in mathematics means being able to (formally) convince other people that your opinion is correct (massively simplified, but imo that is what mathematics boils down to), by getting them to understand why your opinion is correct. Having a pile of linear algebra spit out 700 texts about certain math problems removes the whole “human understanding” part of that.

However, it’s not entirely unprecedented for a computer to provide a proof that we don’t completely understand. I forgot the details (and I’ll edit them in if I can find it), but there was at least one problem that was solved using a computer and brute force trying millions of cases. That produces a proof much longer than any human could read in a lifetime, and iirc there where quite a few mathematicians unhappy about it at the time too.