• Jimbabwe@lemmy.world
    link
    fedilink
    arrow-up
    9
    ·
    1 day ago

    No one thought that modern AI could solve arbitrarily complex logic problems, or even that modern AI was particularly good at formal reasoning.

    haha, except pretty much everyone in the c-suite at the company I work for.