Hacker News new | past | comments | ask | show | jobs | submit

After 20 years, math couple solves major group theory problem

https://www.quantamagazine.org/after-20-years-math-couple-solves-major-group-theory-problem-20250219/
"There was a risk that such a single-minded pursuit of so difficult a problem could hurt her academic career, but Späth dedicated all her time to it anyway."

I feel like this sentence is in every article for a reason. Thank goodness there are such obsessive people and here's a toast to those counter-factuals that never get mentioned.

  > I feel like this sentence is in every article for a reason.
Breakthroughs, BY DEFINITION, come from people going against the grain. Breakthroughs are paradigm shifts. You don't shift the paradigm by following the paradigm.

I think we do a lot of disservice by dismissing the role of the dark horses. They are necessary. Like you suggest, there are many that fail, probably most do. But considering the impact, even just a small percentage succeeding warrants significant encouragement. Yet we often act in reverse, we discourage going against the grain. Often with reasons about fear of failure. In research, most things fail. But the only real failure is the ones you don't learn from (currently it is very hard to publish negative results. Resulting it not even being attempted. The system encourages "safe" research, which by its nature, can only be incremental. Fine, we want this, but it's ironic considering how many works get rejected due to "lack of novelty")

> Breakthroughs, BY DEFINITION, come from people going against the grain. Breakthroughs are paradigm shifts.

This is wrong. It's not inherent in the meaning of the word "breakthrough" that a breakthrough can occur only when someone has gone against the grain, and there are countless breakthroughs that have not gone against the grain. See: the four-minute mile; the Manhattan Project; the sequencing of the human genome; the decipherment of Linear B; research into protein folding. These breakthroughs have largely been the result of being first to find the solution to the problem or cross the theshold. That's it. That doesn't mean the people who managed to do that were working against the grain.

> Yet we often act in reverse, we discourage going against the grain. Often with reasons about fear of failure.

I don't know which "we" you're referring to, but just about everybody would agree with the statement that it's good to think creatively, experiment, and pursue either new lines of inquiry or old lines in new ways, so, again, your claim seems clearly wrong.

If you're discussing just scientific research, though, sure, there are plenty of incentives that encourage labs and PIs to make the safe choice rather than the bold or innovative choice.

Sounds like an argument over semantics and the meaning of the word "breakthrough".

Running the 4 minute mile, climbing everest - those are achievements rather than breakthroughs.

I'd also class the atomic bomb as an achievement - it was the expected/desired result of a massive investment program - though no doubt there were many breakthroughs required in order to achieve that result.

Yup, it's semantics, because the comment I answered stresses "by definition." My point is partly that that isn't the definition.

Even if we decide that breakthroughs require some kind of discontinuity, break, or, as the comment said, "paradigm shift," such discontinuity isn't necessarily "against the grain," as this would imply some kind of resistance to or rejection of "the grain."

Yea but this is HN where everyone is a disruptor and doesn’t play by the rules
> Often with reasons about fear of failure.

If that were it, I would agree.

But I don't agree. I think people who discourage going against the grain are more fearful of the loss of economic input. It's unproductive to do something you know will fail; it's very expensive to encourage that failure.

Paradigm shifts require an accumulation of mundane experiments that present contradictions in a model. The renegade hacker isn't enough.
> Breakthroughs, BY DEFINITION, come from people going against the grain.

They are what Gladwell calls, in "David and Goliath", being unreasonable in the face of so-called "prevailing wisdom".

I want financial independence for the sole reason that I can work on interesting problems like this without any outside nagging or funding issues from anyone else (there might still be some judgment, but I can ignore that).

Personally I think governments should fund more moonshot solo or small team efforts because high risk / high reward pays off when you reduce the variance by spreading it out over so many people. But it looks like we’re going headstrong the other direction in terms of funding in the U.S. right now, so I’m not optimistic.

  > I want financial independence for the sole reason that I can work on interesting problems like this without any outside nagging or funding issues from anyone else
Ditto. This is literally the only desire I have to be wealthy. It is not about having nice things, a nice house, or any of that. It is about letting me do my own research.
loading story #43120707
I'm a Swedish game developer and I feel exactly the same way. I have my dream games I work on every now and then making very little slow progress. My wildest dream would be just being able to dedicate myself to it full time. But, there are bills to pay.
Given what universities charge, they should more than be able to cover comfortable salaries for all researchers so they never need to worry about going broke. Tenure is a very useful tool!
loading story #43122494
I worked at a pro audio company where one guy spent 5 years on a power supply. It succeeded, and I always appreciated the management for supporting him.
Do recall the specific problem he was trying to solve?

It's amazing to me how much thought and work has gone into the seemingly trivial things we encounter on a daily basis.

I think of this every time I see a blue LED. Or a rice cooker!! So easy to take for granted.

Haha the blue led story is literally people going against the grain, a great example. Worked on it after being ordered not to. The original owner of the company believed in the inventor, too, which probably helps.

Is the nifty part about the rice cooker the temperature cutoff at 105C? Induction? That my cats turn on my zojirushi three times a day and open the lid and it doesn't harm it because it knows there's nothing in the pot?

One of these days I need to track down who actually got the patent for using IR LED in a ring around a camera lens to see in the dark.

If it was at&t I am gunna be pissed.

{"deleted":true,"id":43125714,"parent":43122541,"time":1740130560,"type":"comment"}
And you can thank this guy for the LEDs that made it possible for you to even read about it on a screen https://youtu.be/AF8d72mA41M
There are tens of millions of people doing a repetitive work every day, instead of being entrepreneurs. Just let them be, not everybody needs to dedicate their existence to maximizing their career opportunities, at any level.

  > Just let them be
As someone who's research goes against the grain, I just request the same. I have no problem with people maintaining the course and doing the same thing. In fact /most/ people should probably be doing this. BUT the system discourages going of course, exploring "out of bounds." The requests of these people have always been "let me do my thing."

Just make sure "let them be" applies in both directions

This isn't being an entrepreneur. This is solving a problem. The two almost never overlap.
loading story #43122553
Unfortunately the average persons hatred of autistic or nerdy people implies that many believe the world would be a better place if “obsessive types” didn’t exist.

Hans Asperger could only save his Austic children from nazi death camps by convincing the nazis that they had value to produce rockets and bombs.

It’s quite remarkable that the USA is so advanced given how deep and ruthless our anti-intellectualism goes.

"the average persons hatred of autistic or nerdy people"

This is a wildly inaccurate picture of the average person. I don't even think this is true of 10% of people.

Probably enough for 90% of such folks to be tormented quite effectively during childhood.
loading story #43118108
loading story #43118408
loading story #43118455
Our son was specifically chosen to be in his 4th Grade class because it spent part of the day hosting the spectrum kids within their "regular" class. He was chosen for that honor because of his kindness.

He has been taught to love others since he was born, and the Path of Love has borne fruit for all those around all four of us.

All the people who say it can't be done have never tried consciously evolving with Divine help.

{Complete lyrics} --Sinead O'Connor in Massive Attack's "What Your Soul Sings"

US intellectualism is patchy. Sure a lot of people are not into it but on the other hand you probably have more well paid academic posts than any other country.
I don't think the average person hate autistic or nerdy people.
Yes, they do. They wouldn't say it, but look at how autistic people get treated by their peers, teachers, and bosses.
How do you know their peers, teachers, and bosses aren’t autistic too? Autistic people can’t be peers, teachers, and bosses? Autistic people can be assholes too. Maybe that’s what it really is: some people are just assholes.
loading story #43122636
loading story #43118474
loading story #43118780
loading story #43116820
Probably the most powerful man in the world right now openly self-identifies as autistic. Obviously there are very many autistic people who get treated very badly, but I don't think it's reasonable to say that the average person "hates" autistic people.
that guy is arguably causing branding problems for less powerful autistic people
loading story #43118452
If anything autistic/nerdy people are lionized these days with tons of people larping as them online, claiming they are autistic because they sometimes feel awkward at a social event.
I think the claim of being autistic is lionized but actually having detrimental symptoms of autism is still very stigmatized.
{"deleted":true,"id":43117901,"parent":43116370,"time":1740074047,"type":"comment"}
What are you talking about, why do you think that autistics are treated better in Europe, Africa, Asia? Also, people do not "hate" them, people in general hate everybody, don't play the victim
Isn't it basically the same? Nazi Germany in 1934 was relatively advanced, too.

I think the difference is^W was that USA celebrated it in a Homer Simpson kind of "Ha ha! NERDS!" way, while meth-Hitler was like "let's sterilize them but try to extract math from them to... (whatever batshit goal)"

Anti-intellectualism seems to be a thing when the intellectual/moderately-competent people have already brought success. (Until then it's more like anti-witchcraft, or whatever...)

> When the couple announced their result, their colleagues were in awe. “I wanted there to be parades,” said Persi Diaconis (opens a new tab) of Stanford University. “Years of hard, hard, hard work, and she did it, they did it.”

That sort of positive support was one of the elements I really liked in working on combinatorial problems. People like Persi Diaconis and D.J.A. Welsh were so nice it makes the whole field seem more inviting.

loading story #43120726
So what the McKay conjecture is saying is this.

Suppose I'm interested in representing a Group as matrices over the complex numbers. There are usually many ways of doing this. Each one of them has a so-called character, which is like fingerprint of such a representation.

Along another line, it has been known that all groups contain large subgroup having an order which is a power of a prime--call it P. This group in turn has a normalizer in which P is normal--call it N(P).

The surprising thing is that the number of characters of G and of N(P)--which is is only a small part of G--is equal.

*technical note in both cases we exclude representation the degree of which is a multiple of p.

loading story #43116793
It’s interesting that the conjecture was proven via case by case analysis, with each case demanding different techniques. It’s almost a coincidence that all finite groups have this property, since each group has the property because of a different “reason”.

But the article says that mathematicians are now searching for a deeper “structural reason” why the conjecture holds. Now that the result is known to be true, it’s giving more mathematicians the permission to attack it seriously.

loading story #43125867
Hah, serendipity: I was reading the Groups part of the Infinite Napkin after it was posted on HN recently. I understand the definitions, etc. but still haven’t grasped the central importance of groups.

For example, article says there are 50 groups of order 72 (chatGPT says there are 50 non-Abelian, 5 Abelian), this seems to be an important insight but into what?

loading story #43115276
loading story #43116553
loading story #43115361
loading story #43115283
This reminds me of the husband-wife duo of Patrick and Radhia Cousot, who together created Abstract Interpretation [1]. Useful technique, learned about it in my formal verification class.

[1] https://en.wikipedia.org/wiki/Abstract_interpretation

Damn. That's some dedication. I really like the personal story, therein. You don't always see that, in STEM stuff.

I hope that their relationship deals well with the new reality, now that their principal goal has been achieved.

loading story #43114976
loading story #43115972
I started "Prime Target" on Apple TV last night and I knew the premise of this story sounded familiar! The protagonist is obsessed over a prime number problem.

Unrelatedly, I'd be curious what this couple thinks about using AI tools in formal math problems. Did they use any AI tools in the past 2 years while working on this problem?

The couple that maths together stays together.
This is a terrific article. It led me to a couple of hours tracking articles about related efforts, not the least of which was John Conway's work.

Mind you, my math is enough for BSEE. I do have a copy of one of my university professor's go-to work books: The Algebraic Eigenvalue Problem and consult it occasionally and briefly.

“While working together on the McKay conjecture, Britta Späth and Marc Cabanes fell in love and started a family.”
loading story #43116076
loading story #43114863
Way to go, Math!
What a mathive achievement!
This is about McKay conjecture

https://en.m.wikipedia.org/wiki/McKay_conjecture

loading story #43114100
{"deleted":true,"id":43115968,"parent":43113744,"time":1740065840,"type":"comment"}
How do these kinds of advancements in math happen? Is it a momentary spark of insight after thinking deeply about the problem for 20 years? Or is it more like brute forcing your way to a solution by trying everything?
loading story #43115437
loading story #43115052
loading story #43115718
loading story #43115956
With the right photo, this could be an Onion headline poking fun at lonely math nerds.
loading story #43115989
What an awful webpage. They hijack the click and right click actions. Can't triple click to select a paragraph. Can't drag selected text. Ugh
loading story #43117120
loading story #43117497