• @ilinamorato@lemmy.world
    link
    fedilink
    81 day ago

    Proven? I don’t think so. I don’t think there’s a way to devise a formal proof around it. But there’s a lot of evidence that, even if it’s technically solvable, we’re nowhere close.