• ilinamorato@lemmy.world
    link
    fedilink
    arrow-up
    9
    ·
    16 days 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.