After 20 years, math couple solves major group theory problem

Original Article ↗ Hacker News Discussion ↗

McKay conjecture and proof context

  • Thread clarifies this is about the McKay conjecture in finite group representation theory, with links to Wikipedia and to the arXiv preprint of the proof.
  • One comment gives an informal description: counting certain complex characters of a finite group G and of the normalizer of a Sylow p-subgroup N(P); surprisingly, the counts match.
  • Several comments note the heavy reliance on the classification of finite simple groups, described as a “giant” 10,000-page edifice.
  • There is concern that the classification has never been fully, carefully re‑verified; “second generation” proofs are progressing but remain massive.
  • Multiple people express hope that future formalization (proof assistants) will eventually verify the classification; some think this theorem is the prime candidate for full formalization.

How big mathematical advances happen

  • A top-level question asks whether such results come from a single flash of insight or slow brute force.
  • Responses describe a middle path: lots of partial progress by the community, followed by years of guided trial-and-error, backtracking, and many small, mostly-useless flashes of insight.
  • Perseverance and stubbornness are emphasized as key skills, though they can become maladaptive outside research.
  • Several comments discuss subconscious problem-solving and “insights in dreams,” with disagreement over whether this is divine, subconscious, or just ordinary unconscious cognition.

Explaining math and the role of groups

  • Commenters praise the human story and advocate for more writing about mathematical thought processes, not just finished theorems, to make the field feel accessible.
  • A side thread debates the importance of groups:
    • Caution against using ChatGPT to learn technical math after it misstates the count of groups of order 72.
    • Explanations frame groups as the algebraic notion of symmetry, ubiquitous in math and physics, and analogous to primes as “basic building blocks.”
    • Examples include molecular symmetries and Galois-theoretic explanations of why polynomial equations of certain degrees have or lack closed-form solutions.

Obsession, careers, and society’s view of “nerds”

  • The article’s mention of career risks for single-minded work prompts discussion about how academia often rewards safe, incremental work and makes it hard to publish “negative” results.
  • Some argue that paradigm-shifting breakthroughs inherently require going against the grain; others counter that many major “breakthroughs” fit mainstream paradigms and are simply first-past-the-post achievements.
  • A long tangent debates whether society “hates” autistic/nerdy people:
    • One side cites bullying, slurs, and stigma;
    • Others argue most people are indifferent or awkward rather than hateful, and that mild “nerd” traits are now often fashionable.
  • Several participants express a desire for financial independence or better public funding so small teams can pursue risky, long-horizon problems without career or funding pressure; analogies are drawn to long, high-risk engineering efforts (e.g., LEDs, specialized power supplies).

Miscellaneous

  • Some find the Quanta webpage’s text-selection and right-click behavior frustrating; behavior varies across browsers.
  • Lighthearted puns about “math couples” and generational “intersections/unions” appear, plus mentions of other notable mathematical couples.
  • One commenter notes that the proof is highly case-by-case, with varied techniques per case; this is seen as both typical in group theory and somewhat unsatisfying, motivating a search for a more unified structural explanation now that the conjecture is settled.