‹ BackHN Continuity

Thread

If math is more than proof, we need to better celebrate the rest of it

433 points · 285 comments · num42

  1. accurrent · · focus · HN ↗
    One thing that concerns me from all this is "understanding" is very important to human progress. The fact it took 400 years to crack Fermat's theorem resulted in a lot of "Side Quests". These side quests helped grow other fields (for instance elliptical cryptography). Im concerned with AI that we will loose these side quests.
    1. blfr · · focus · HN ↗
      I do neither maths nor science with AI but in my experience most models are perfectly willing to burn tokens on a ton of sidequests at the earliest opportunity.
      1. accurrent · · focus · HN ↗
        Yeah but do you read through and find if one of those side quests is useful?
        1. someguynamedq · · focus · HN ↗
          Yes, why not?
        2. blfr · · focus · HN ↗
          They're often directly applicable: minor bugs, inconsistencies, missing tests, commonly also stuff I already now (like some infra config details).
          1. accurrent · · focus · HN ↗
            Minor bug and develop whole new field of cryptography are very different scales. I do agree alms are really good with a lot of common bug fix related tasks to the point you have to split commits out. The fact is you recognise it's a minor bug. Who is sitting through the proof of Navier Stokes and going through it and finding connections between itself and other fields? Im not saying LLMs are bad, but I do think understanding is important. Heck, the fact you identified the minor bug suggests you understand the output. Im not so sure the same can be said of a gajillion line lean dump.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.