Remix.run Logo
hintymad 19 hours ago

> The Jacobian Conjecture

Interestingly, Yitang Zhang of the twin-prime-conjecture fame spent 7 years working on the Jacobian conjecture under the advisor Tzuong-Tsieng Moh at Purdue. A key step in his thesis used a corollary of Moh's. It turned out that the corollary was incorrect. As a result, Moh refused to write any recommendation letter for Zhang, and Zhang couldn't find any teaching or research job and ended up spending years working at a Subway[1].

Imagine Zhag had ChatGPT in 1986 when he started working on the Jacobian Conjecture.

[1] Of course now this has become an inspiring story. That said, the story definitely invokes complex emotions. The best way to describe it is probably this Chinese poem, which I have no idea how to translate: 庾信平生最萧瑟,暮年诗赋动江关

tchalla 18 hours ago | parent | next [-]

I was once in a presentation for a math PhD thesis. During the thesis, the evaluator of the thesis noticed a flaw in their proof. The student understood and then asked “What now?” The evaluator prof simply shrugged.

bananaflag 9 hours ago | parent | next [-]

I personally know a story in this vein with a (sort of) happy ending.

A PhD student discovered that a result of his professor would imply the solution to a big conjecture in another field. The people in that field then analyzed the prof's result and found that the proof was flawed. The student was still allowed to graduate based on this since the finding of the connection between fields was brilliant. Then he quit academia (not because of this story, he had planned it before). Then a year later the prof figured out how to fix the flaw in his proof and published a paper with his former student, thus solving the conjecture. The two are still on good terms, writing papers together.

Xmd5a 5 hours ago | parent [-]

> The two are still on good terms, writing papers together.

Why are you framing this like this? Do mathematician take these kind of things personally?

bananaflag 5 hours ago | parent [-]

Because I think the median reader would expect this sort of thing to come up at some point in the story.

simonreiff 18 hours ago | parent | prev | next [-]

That sounds like the worst "exam nightmare" scenario imaginable, but did the student get the PhD in the end?

abdullahkhalids 17 hours ago | parent | next [-]

Mistakes in proofs are relatively common, but such a mistake doesn't automatically mean that the proof is entirely wrong. Many times, the mistake is just in the exposition, and can be fixed easily. Other times, the mistake is fixable and the fix is apparent. Perhaps the author forget to treat a relatively trivial edge case. In the first two cases, the student would likely just pass with minor corrections to be submitted soon.

Sometimes, of course, the proof is just wrong. That is the dangerous case, which will cause either major corrections or failure.

recursivecaveat 13 hours ago | parent [-]

A few months after Andrew Wiles presented the proof for Fermat's last theorem, some mistakes were found that subsequently took him over a year to patch over. Imagine being 12 months into trying to put the pieces back together, after all the years of work and announcing your finding publicly.

reinitctxoffset 9 hours ago | parent [-]

I can recommend without reservation the book by Simon Singh, at least for a lay audience (don't know how an expert would experience it).

It's understandably the natural place to get the dramatic tension from what at least purports to be a sober account with some momentum. It's reasonably consistent with the way it's treated on the lectures I've seen from Sir Andrew Wiles on YouTube.

It sounds like a nightmare. He had intentionally set the proof up in a high stakes way, working in private, very quiet on what he was really doing. I gather this is not the done thing, eccentric at best kind of vibes, and I think by that point it was almost crackpot adjacent to even try seriously. His advisor forcefully pushed him off even trying earlier. So it's compound on the stakes. The beg reveal is intentionally as dramatic as possible. And then the questions start to land, most are minor clarifications, notation deficits, but one is sticky, one won't go away.

Kept me up late reading about it.

angry_octet 17 hours ago | parent | prev [-]

Proof fix-ups are quite common, but if it was not possible, then no, not for that topic.

drnick1 15 hours ago | parent | next [-]

A Ph.D. is usually a collection of papers/chapters, so even if a fatal flaw is found in one of the chapters, it does not normally result in "failing the Ph.D." It just means that that particular paper isn't publishable. The bar for getting a Ph.D. is actually quite low; what is truly difficult is clearing the bar in terms of publications for academic positions and later tenure.

angry_octet 14 hours ago | parent [-]

You would have to go back and do more work though, and if you couldn't fix it you would have to do another defence. But yes, it is a different situation to actually getting a good post doc.

vintermann 10 hours ago | parent | prev [-]

I guess there's no tradition for publishing "negative results" in mathematics? By that I mean not proof of something negative, but rather, "we tried this thing for ages and couldn't get it to work, but we couldn't prove that it could never work either".

Probably there are understandable reasons for that... But I think "negative science" is really important, and soft results like "we tried that for a long time and it wasn't very fruitful" are actually very important for progress even if they're poorly attested in the written record. I guess in mathematics they come informally from your thesis advisor...

bananaflag 6 hours ago | parent | next [-]

> I guess there's no tradition for publishing "negative results" in mathematics? By that I mean not proof of something negative, but rather, "we tried this thing for ages and couldn't get it to work, but we couldn't prove that it could never work either".

Indeed there isn't such tradition. I have one or two results like that -- proofs that some proof strategies cannot work because some object does not exist, but since that object would not be interesting for anyone not trying that particular proof strategy for that particular (already obscure) problem, one cannot publish.

Someone 3 hours ago | parent | prev | next [-]

You would have to show what you did try.

Typically, you can describe that in the form of a partial result (see for example https://en.wikipedia.org/wiki/Goldbach%27s_conjecture#Partia...) or as another conjecture.

RossBencina 3 hours ago | parent | prev | next [-]

> "we tried this thing for ages and couldn't get it to work, but we couldn't prove that it could never work either"

There is a related tradition of making conjectures about things that you can not prove, and being known for having made such conjectures. Conjectures along with definitions and problem statements are incredibly important in mathematics. But usually they are introduced in the context of some other publishable work.

jibal 8 hours ago | parent | prev | next [-]

There are mathematical statements that have been shown to be undecidable (no proof for or against is possible) and such a demonstration is a huge deal.

andoando 8 hours ago | parent | prev [-]

I mean it would be ridiculously easy to make up any number of incorrect proofs.

It would have to show something new and interesting.

CurtMonash 10 hours ago | parent | prev | next [-]

I first heard that kind of story about a thesis defense at Princeton. The twist was that they had been short one person to judge it, so they roped in a professor who was available at that moment ... and he found a counterexample on the fly.

The professor was John Milnor.

angry_octet 17 hours ago | parent | prev [-]

A recording of a car crash: discovering on live radio/podcast that the central tenet of your book is wrong, and amateurishly so.

Naomi Wolf 'death recorded' on BBC[1], skip to 5:51. After this the book was pulped and she had some sort of psychotic break during COVID and allied with ultra-right and COVID denialist loonies.

[1] https://www.bbc.com/news/av/world-us-canada-48639663

zahlman 16 hours ago | parent | next [-]

Is the video available not through a proprietary player?

> After this the book was pulped and she had some sort of psychotic break during COVID and allied with ultra-right and COVID denialist loonies.

That's quite an extreme shift considering she had previously been a leading figure in third-wave feminism and an OWS activist.

PaulDavisThe1st 16 hours ago | parent | next [-]

The other Naomi, Naomi Klein, wrote an entire book that uses Wolf's "transformation" as a structural scaffold to explore the rise of the new right/MAGA etc. etc. It's called "Doppelganger".

inigyou 4 hours ago | parent [-]

Which electronics youtuber Naomi got disappeared in China for showing bad parts of china? Was that a third Naomi?

jasonjayr 4 hours ago | parent [-]

Naomi Wu aka Sexy Cyborg - she did a lot of electronics work, and showcasing tech

pjc50 8 hours ago | parent | prev | next [-]

Some people are just contrarians who want their ideas to be the most outlandish.

This is a real problem if you're one of the people involved in something like OWS who wants to see effective change, not just making a circus about yourself.

16 hours ago | parent | prev | next [-]
[deleted]
AndrewKemendo 15 hours ago | parent | prev [-]

I couldn’t get the video to work. Here’s the relevant clip I found on youtube.

https://youtu.be/3uRCcEoGWxs

murphyslaw 10 hours ago | parent [-]

BBC iPlayer is not available outside the UK.

saagarjha 6 hours ago | parent [-]

It worked fine for me in the US

anitil 11 hours ago | parent | prev | next [-]

I wasn't sure if I would be able to listen again - it's so hard to hear.

globnomulous 17 hours ago | parent | prev | next [-]

This is astonishing. How could a person go to the lengths of writing an entire book without ever looking up this sort of thing?

somenameforme 12 hours ago | parent | next [-]

The term she mistook for meaning a death/execution had been recorded was "death recorded". So it's a mistake that could be made similarly to how one might confidently assume that a "public school" is a school which is a school that is either government funded or open to anybody in the local area.

More generally I think people are inappropriately confident in general. When you go through history just about every century prior people believed many things that the next century would come to see as plainly false. People in modern times seemed to have stopped believing this was true, yet it's likely that people during every given century also stopped believing such was true, because what you believe "now" is always assumed to be correct. Nobody wants to believe they hold false beliefs, even though there's a practically 100% certainty that all of us do, and in quite healthy quantities.

NooneAtAll3 7 hours ago | parent | next [-]

...what is public school then?

somenameforme 7 hours ago | parent [-]

A fee charging privately operated institution that does not receive public funding. [1] Brits have a way with words.

[1] - https://en.wikipedia.org/wiki/Public_school_(United_Kingdom)

t-3 6 hours ago | parent [-]

The US still somewhat has a similar distinction with public and private colleges. Private vs public funding rather than private vs public admission.

inigyou 4 hours ago | parent | prev [-]

You have to be confident by default or you'll never get anything done. I always find myself stuck in analysis paralysis and then I look back at something like the history of Minecraft and realise he wrote the whole game (minus content additions) from scratch in only about two years, and all the updates I remember not liking were just another Tuesday for him as there had been similar updates every few weeks during that entire time period.

Like, I bought the game just before the Nether was added, and I thought that was not a very good feature, but just a few weeks before that, he'd added monster spawners, and just a few weeks before that, he'd added redstone, and a few weeks before that, minecarts, and a few weeks before that, signs, and a few weeks before that, the world wasn't infinite yet. Just another few months back, and the game didn't have an inventory. That guy had the opposite mindset of me and he got shit done.

RossBencina 3 hours ago | parent [-]

> You have to be confident by default or you'll never get anything done.

Crippling doubt can happen. Blind confidence has its own hazards. You only need to be confident that you can proceed, in spite of having provisional, incomplete knowledge. "But if you grip to your beliefs too tightly, you will not recognise The Truth when it comes knocking on your door." (forget who said that)

brohee 16 hours ago | parent | prev | next [-]

The most astonishing thing is that she still holds the PhD whose thesis was the basis of the book. A stain on Oxford reputation.

bryanrasmussen 12 hours ago | parent | prev [-]

When I read your comment I completely give myself over to the understanding that you mean she wrote a whole and continuous book, without ever researching whether you meant a book about uncastrated male animals. Imagine my surprise when I go the radio to discuss your comment and a zoologist calls up to correct my understanding of a common English phrase.

jandrese 17 hours ago | parent | prev [-]

[flagged]

angry_octet 14 hours ago | parent [-]

No it's not that they don't check facts, it's that facts don't matter. She found a community where poor scholarship and vibes was celebrated.

gruntled-worker 9 hours ago | parent [-]

Yep. It's like rooting for a team or a rock star.

Alice is a football stats wiz. Alice is a WR Jones fan because he has an incredible 40-yd dash time and leads the league in YAC.

Bob is a WR Smith fan. Bob knows the stats are all cooked. Bob knows that if the stats weren't cooked, WR Smith would lead the league in all categories. Therefore, Bob doesn't bother with stats.

derbOac 18 hours ago | parent | prev | next [-]

Inspiring? Because of the twin prime conjecture success following his time in the wilderness? I suppose so.

I'm tired of tales like this in academics though. That's not a criticism of you for telling the tale, I'm just so tired of this kind of thing in academics in general. So, so, so much politics and public reputation management. Zhang should have never had to suffer like that.

As my own research has drifted more into math, I've been surprised at how many assertions in the literature turn out to be false. Not just false, but propagated into the applied literature extensively, and even when you point out the problems a lot of defensiveness and denial about it along the lines of Zhang's story.

I agree about wondering what would have happened if LLMs had been around in 1986. My guess is the outcome would have been the same for the same reasons?

My experience with LLMs in proofs is they can be very helpful, but also very wrong. It's like having another person with another set of hunches about what path to go down.

hintymad 18 hours ago | parent | next [-]

> So, so, so much politics and public reputation management. Zhang should have never had to suffer like that.

Very true. Unfortunately, when there are people, there will be politics. I remember when reading Yau's autobiography, I kept marvel how much calculation, or "politics" if you will, that Yau mentioned or implied in the book.

> My guess is the outcome would have been the same for the same reasons?

At least Zhang didn't have to spend 7 years working on the Jacobian conjecture. He said in an interview that he always wanted to work on number theory. Moh asked him to work on Jacobian, and he obliged.

somenameforme 12 hours ago | parent | prev [-]

Planck's Principle: 'Science advances one funeral at a time.' [1]

In his exact words: "A new scientific truth does not triumph by convincing its opponents and making them see the light, but rather because its opponents eventually die and a new generation grows up that is familiar with it... An important scientific innovation rarely makes its way by gradually winning over and converting its opponents: it rarely happens that Saul becomes Paul. What does happen is that its opponents gradually die out, and that the growing generation is familiarized with the ideas from the beginning: another instance of the fact that the future lies with the youth."

And he said that having lived, as a outsized figure, through the late 19th to mid 20th century of physics, which was the absolute golden age for such.

[1] - https://en.wikipedia.org/wiki/Planck's_principle

bluGill 3 hours ago | parent [-]

The more important lesson for those of us are are "old" is to not get stuck in things that were learned in the past when they are found false.

If you are not yet old, remember this - it is very likely you will old in a few years.

somenameforme 2 hours ago | parent [-]

It's more nuanced because many things are never really found false, or can't realistically be falsified. Planck was implicitly referencing the whole controversy over quantum mechanics, and how exactly to interpret it. None other than Einstein refused, all the way to his death, to accept a probabilistic interpretation in spite of all evidence pointing in that direction.

He simply believed on a fundamental level that the universe must be deterministic. Many don't understand that many of his famous quotes like 'spooky action at a distance' or 'god doesn't play dice' were mocking probabilistic interpretations of quantum mechanics, like the Copenhagen Model - the one we still assume to this very day.

Of course there even remains the possibility that at some point in the future he may even be proven correct. And at this point I'm playing into the very same mindset that essentially explains where Planck's Principle comes from, but perhaps such being a part of humanity is not an entirely bad thing. It's certainly been with us even as mankind has gone through unprecedented leaps of understanding and technological advancement.

OG_BME 17 hours ago | parent | prev [-]

ChatGPT's idiomatic translation of the poem:

Yu Xin’s was a life of utter desolation; in old age, his poems and rhapsodies stirred the riverlands.

acchow 16 hours ago | parent | next [-]

Opus:

No life ran more bleak and desolate than Yu Xin's —

yet in his twilight years, his verses stirred the rivers and the passes.

zahlman 16 hours ago | parent | prev | next [-]

  Yu Xin's past was exquisitely tragic
  Ages passed; now his works betray magic
dash2 13 hours ago | parent [-]

I think the feminine rhyme sounds unintentionally comic.

Eufrat 17 hours ago | parent | prev [-]

I guess that works, it is always difficult to capture the cultural and linguistic melancholy of such poetry.