“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.
  • NotAnOtter@lemmus.orgEnglish
    01·
    1 month ago

    It’s a 20/80 rule thing.

    Coming up with a proof is the first 20% of work. Actually checking and validating the proof is the next 80% of work.