• NewOldGuard@lemmy.ml
    link
    fedilink
    English
    arrow-up
    2
    ·
    1 day ago

    And also, most of the claims around LLMs solving Erdos problems have eventually been found to just be referencing obscure existing solutions in papers people had forgotten about or that were poorly labeled