It seems that, despite spending decades obsessing over their various niche problems, they have little interest in a magic button that can immediately produce the answer. At best they view this button as a mild nuisance they need to contain somehow.
1,296 karma · joined July 3, 2015
What is the point of writing software if nobody will run it?
> So mathematicians should feel free to use AI as much as you want, but in the end, they should've gained some understanding on what happened.
So they ask the AI to explain the proof.
People had the same complaints that the code produced by early coding models was messy, lazy, poorly commented, had terrible architecture and so forth. The central complaint was that it was just too difficult for humans to review. The answer is just to improve the models and move on.
Similarly now we're getting AI doing math. The proofs compile but are a mess. So just make the models better at writing clean proofs and explaining what they're doing to humans. That's the end of it.
Rather than just go on and on about how it's the end of the world if we don't do this, why don't we just do it?
I would really like to see some open source US companies out there.
StackOverflow was, all too often, not helpful or aligned. It died because the staff were unable to get the moderators to be helpful.