• ilinamorato@lemmy.world
    link
    fedilink
    arrow-up
    7
    ·
    13 hours 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.