Complexity theory shenanigans aside, seems like someone finally figured out the obvious: you can't actually bound intelligence with math (yet). https://www.reddit.com/user/mike_uoftdcs