9,264 karma · joined October 19, 2016
Watching the pro-deplatformers get burned by their own illiberalism is very satisfying; watching some of them not having learned any lesson from it, doubly so.
You're overlooking that the teleport machine costs lots of money to use. The AI providers are not going to waste money by teleporting randomly around.
Someone is going to have to find a new destination that is worth spending the money to teleport to (or walk by themselves) and that someone is mathematicians.
I note that that these conjectures being solved by AI are named after people, minds knowledgeable and and brilliant enough to come up with the question in the first place and recognize its value. What we have in these AI math solving systems is the equivalent of the chess and go software that can beat humans: something that can adhere to a set of rigid rules to reach a win state once given a starting point. But, as Pablo Picasso said, “What good are computers? They can only give you answers.” These AIs are a magnificent achievement and will change mathematics and coding but can they ask earthshaking questions? Could an AI identify conjectures that mathematicians recognize as a worthy question that will lead to new insights? Where is HAL9000's theorem or the M5 Multitronic's conjecture? Maybe they can someday but I don't see any immediate prospects for it.
Please spare us the "AI will surely keep getting better forever" (unlikely and don't call me Shirley), "moving the goalposts" (I myself haven't set any), etc. non-arguments.
Fun trivia: Hotta's book "Japan 1941: Countdown To Infamy" suggests that the Japanese military collectively knew they would lose if they went to war against the U.S even as its rival service branches egged each other on into starting it.
To whoever put it together, thank you.
That _is_ the problem: ostensibly serious writing laced with marketing / clickbaity patterns is off-putting.
Maybe that's a possible future? Chips are not that expensive compared to the price of an app so each app can come on its own SOM in a cartridge to run its core logic. The computer just serves as a terminal and auxiliary compute server to the app cartridge.
The 2026 equivalent of "videogames cause violence" and Wertham's "comics cause delinquency" and will age just about as well.