“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.
  • abbadon420@sh.itjust.worksEnglish
    292·
    18 days ago

    Hinestly, AI can be a great tool to further evolve mathematics,but you still have to understand every gory detail it did to solve the problem. If you can’t do that, it’s not solved.

    • deeprlyeh@lemmus.orgEnglish
      272·
      18 days ago

      Also all ML models have some accuracy less than 100%, that means you can’t trust it. The whole point in the proof is perfection

      • FauxLiving@lemmy.worldEnglish
        15·
        18 days 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.

        • ThirdConsul@lemmy.zipEnglish
          4·
          17 days ago

          That’s not how Lean works.

          1. implementation of Lean is buggy.
          2. having a Lean Theorem/Proof only proves they are connected to the axioms
          3. Lean is not enough to personally verify the proof. We can see that even now with the stolen C+D Navier proof, where OpenAi paper - as we know since yesterday - is… possibly false (well, we know that the lean code does not match the paper, let the mathematicians cook).