Comment by analognoise

Back when “term rewriting” was “AI”, multiple math tools were released that took known math facts and did tricks like uncovering new integrals - apply the pattern in some depth in a tree, see what pops out.

What was discovered were numerous mistakes in the published literature on the subject. “New math! AI!” No, just mechanical application of rules, human mistakes.

There were things that were theorized, but couldn’t be exhaustively checked until computers were bigger.

Once again, a tool is applied, it has the AI label - its progress! But it isn’t something new. It’s just an LLM.

There’s a consistent under appreciation of AI (and math, honestly), but watching soulless AI mongers declare that their toy has created the new is something of a new low; uninspired, failed creatives, without rhyme or context; this is a bigger version of declaring that your spell checker has created new words.

The result is more impressive than what was done with tables of integrals and SAINT in 1961, sure.

Apparently if you add a “temperature” knob to a text predictor, otherwise sane individuals piss themselves and call it new.

Then again I thought NFTs, crypto, and the Metaverse were stupid, so what do I know.