• Buffalox@lemmy.world
    link
    fedilink
    English
    arrow-up
    3
    ·
    22 hours ago

    Absolutely this. You can also add supercomputers.
    AI may help the field move further, but real mathematicians are still needed to evaluate the meaning of such findings.