This past week, OpenAI dumped a staggering trove of answers to elusive math problems solved by its internal artificial intelligence models – the mathematics world isn’t happy about it. “What are they trying to achieve? I don’t know. They’re just destroying early-career mathematicians with a PR stunt,” says NYU math professor Tristan Buckmaster. Buckmaster and his collaborator Levent Alpöge had made significant progress on solving an historic math equation before OpenAI’s model beat them to it. They’ve “destroyed the whole incentive system for science and mathematics.”

  • YourMomsTrashman@lemmy.world
    link
    fedilink
    arrow-up
    3
    ·
    15 days ago

    I haven’t watched the video, but I just have to get the word out

    https://arxiv.org/pdf/2610.08144

    From the abstract:

    (…) we provide several examples of AI mistranslations of NL statements and proofs into Lean in practice, resulting in mismatches between NL proofs and their Lean ‘verifications’. These include OpenAI’s announced Navier-Stokes proof.