It’s the equivalent of unrolling a loop into a series of individual linear statements. You’ll never derive monadic forms from that. It requires a far greater intelligence to think that up. As nature can’t speak our language, we have to rely on the stupidity of humans instead to help discover its beauty. So we are stuck with mathematicians.
People, mathematicians, of course care about answers. But they deeply care about how those answers were derived and they’ll duel if they find a given thing looks ugly. People have invented entire fields because shit didn’t look right or left gaps in reasoning or understanding. Take quaternions. Take calculus.
AIs aren’t super intelligent and these grifters and charlatans need to be laughed out of the room.
It is unfortunate to see what happened to terry tao but not at all surprising. He endorsed the snake early on thinking the snake was a friend. It was only a question of time before it would turn on him to bite him.
It’s the equivalent of unrolling a loop into a series of individual linear statements. You’ll never derive monadic forms from that. It requires a far greater intelligence to think that up. As nature can’t speak our language, we have to rely on the stupidity of humans instead to help discover its beauty. So we are stuck with mathematicians.
People, mathematicians, of course care about answers. But they deeply care about how those answers were derived and they’ll duel if they find a given thing looks ugly. People have invented entire fields because shit didn’t look right or left gaps in reasoning or understanding. Take quaternions. Take calculus.
AIs aren’t super intelligent and these grifters and charlatans need to be laughed out of the room.
It is unfortunate to see what happened to terry tao but not at all surprising. He endorsed the snake early on thinking the snake was a friend. It was only a question of time before it would turn on him to bite him.