Careers upended overnight, academics will have to separate solutions from slop while OpenAI moves on.
  • a_non_monotonic_function@lemmy.worldEnglish
    11·
    1 day ago

    Even worse, the software-based proofs are not the same as the plain text ones that they’re giving out.

    There’s literally no reason to trust them, because it’s completely divorced from the actual text.