Live data from Hacker News

Human mathematicians are being outcounterexampled

xenaproject.wordpress.com

51–60 of 265 posts

Re: Human mathematicians are being outcounterexampled

#51
post #24

Earlier quoted context omitted.

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.

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

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.

Re: Human mathematicians are being outcounterexampled

#54
post #24

Earlier quoted context omitted.

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.

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

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

Re: Human mathematicians are being outcounterexampled

#55
post #24

> 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…

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.

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

Re: Human mathematicians are being outcounterexampled

#56
post #47

> 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…

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.

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

Re: Human mathematicians are being outcounterexampled

#57
I wish I had LLM-built Lean formalisations in university, so much of the math in the slides had errors, and some professors are very bad and ungracious admitting it, while simultaneously rejecting requests for clarifications by saying "the proof is in the slides".

Of course Lean proofs are rarely a good way to understand proofs, but hopefully they can be used to generate more human understandable arguments.

Re: Human mathematicians are being outcounterexampled

#58
post #24

Earlier quoted context omitted.

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.

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

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

Re: Human mathematicians are being outcounterexampled

#59
post #15

When I was in grad school, I had the opportunity to take a course from my adviser in which he discussed his current research and some open questions. It was a relatively accessible subject area and the questions were sometimes easy enough that we could meaningfully contribute. On one particular Friday afternoon, he stated a conjecture that he hoped was true, and invited us to try to help him prove or disprove it. It…

There’s a story in How to Solve It that’s basically the same.
Post reply on HN