“There’s a perception of mobster behavior” from leading AI companies, one mathematician tells WIRED as OpenAI prepares to release more than 100 new solutions to unsolved problems.
  • Uriel238 [all pronouns]@lemmy.blahaj.zoneEnglish
    0·
    9 hours ago

    If you can’t follow the logic of the steps of the proof, it’s not a proof.

    Granted, you may not be skilled in logic, but some of us, mathematicians, specifically, are.

    If no mathematician can follow the logic, it’s not a proof.