Careers upended overnight, academics will have to separate solutions from slop while OpenAI moves on.
  • a_non_monotonic_function@lemmy.worldEnglish
    12·
    5 days 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.