‹ BackHN Continuity

Thread

I vibed a proof of Conway's conjecture

271 points · 297 comments · m-hodges

  1. msteffen · · focus · HN ↗
    I find this whole post fascinating in the context of <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49738091">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49738091 and particularly this excerpt from Gowers:

    &gt; Instead, I have a more complicated view, which I actually expressed in my essay The Two Cultures of Mathematics a quarter of a century ago, and which can be summarized by saying that there is a spectrum of attitudes in mathematics to the relationship between problem-solving and conceptual understanding. At one end of the spectrum you have mathematicians who are primarily motivated by the wish to solve problems, who see conceptual understanding as a very important means to that end. At the other you have mathematicians who are primarily motivated by the wish to attain conceptual understanding, who see problem-solving as a very important means to that end.

    Before, understanding and problem-solving-ability were so interdependent that distinguishing between the two was practically very difficult and probably wouldn’t have changed anyone’s research agenda. Now, they’re not connected, and this guy just did the ultimate meta-experiment of seriously undertaking a project that is intentionally 100% problem-solving and 0% understanding to prove it (maybe 99% and 1% but pretty close. In his transcripts, he never asks ChatGPT about the math, only about its opinions of the math).

    As we (as a society) sit around asking ourselves what mathematicians (and software engineers, and anyone in deep technical fields) should be doing all day, we now have this case study to show us how wide our range of options has become.

    1. 31276ahq · · focus · HN ↗
      Yes, the timing of this post just after Gowers&#x27; post is fascinating. It is almost as if the marketing machine is well oiled.
      1. pfdietz · · focus · HN ↗
        When you descend into conspiracy theorizing to defend your prejudices, it&#x27;s time to stop and reconsider.
        1. 3agha · · focus · HN ↗
          You can see by who entered the discussion (not you) and immediately sank certain comments that this is a protected submission. One wonders why.
          1. pfdietz · · focus · HN ↗
            Or perhaps the criticisms are objectively unhinged and are so down voted without having to invent a conspiracy.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.