Cheap data and the absence of coincidences make maths an ideal testing ground for AI-assisted discovery — but only humans will be able to tell good conjectures from bad ones.
  • EarthShipTechIntern@lemm.eeEnglish
    8·
    5 months ago

    Set to be revolutionized by AI because AI can’t do math.

    Says my brother, a Math Professor that works with people trying to develop AI

    • miskEnglish
      71·
      5 months ago

      AI is math, statistics specifically.

        • miskEnglish
          2·
          5 months ago

          It can do statistics and probability incredibly well. Chatbots are gross waste of that capability but it’s proving to be quite capable in areas where lots of brute force computation was required before (like in biotech).

        • miskEnglish
          1·
          5 months ago

          That’s because ChatGPT and the likes use machine learning to calculate odds of word combinations that make up a plausible sentence in a given context. There are scientific studies that postulate we’ll never have enough data to train those models properly, not to mention exponential energy consumption required. But this is not the only application of this technology.

  • anton@lemmy.blahaj.zoneEnglish
    7·
    5 months ago

    The absence of coincidence

    Look up the strong law of small numbers.

    Also, one of their examples of AI was an exhaustive search.

  • Audalin@lemmy.worldEnglish
    5·
    5 months ago

    The article isn’t about automatic proofs, but it’d be interesting to see a LLM that can write formal proofs in Coq/Lean/whatever and call external computer algebra systems like SageMath or Mathematica.

    • CapeWearingAeroplaneEnglish
      1·
      5 months ago

      I was thinking something similar: If you have the computer write in a formal language, designed in such a way that it is impossible to make an incorrect statement, I guess it could be possible to get somewhere with this