“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.
  • FauxLiving@lemmy.worldEnglish
    9·
    13 hours ago

    The proofs are written in Lean so, like in all mathematics, you don’t have to trust the person because you can independently verify the proof.