Tom Lowe on Nostr: this story makes me think that public AI angst comes down to how results are ...

this story makes me think that public AI angst comes down to how results are reported.

Instead of language like "AI beats humans, AI outsmarts best mathematicians" etc, the reporting should be "Human ingenuity doesn't just prove maths problems, it comes up with automata that auto-prove problems. Mathematicians are advancing their field by training algorithms to prove at a large scale".

The people who continue to develop these creative techniques should be awarded as top mathematicians, rather than treated as a few engineers who stumbled on something, while giving "AI" the credit. Machine learning theory is advanced mathematics.