Hey! My name is Sid. I study the connections between intelligence, computation, evolution, and physics. I like to grow unusual plants, read sci-fi, and watch anime (recently, One Piece). I speak Japanese as well. You can reach me via email at (base64) c2lkbWFuaTQyQGdtYWlsLmNvbQ==
You are taking advice from someone who spent more than three thousand hours studying a complex language spoken on a distant volcanic archipelago in order to watch cartoons more effectively.
I believe that artificial neural networks are profoundly lacking as a substrate for artificial general intelligence (AGI), in ways that scale and architecture cannot fix.
By employing a few dumb tricks, a computer with super-Turing capabilities could prove almost any theorem over the natural numbers, including many that have stumped the best of us for centuries.