HNHacker News
TopNewBestAskShowJobs

bamb008

38 karma · joined August 31, 2026

submissionscomments
bamb008··on The Advisory Group on Mathematics and Artificial Intelligence
>Every major statement I've seen come out of the math community on this matter reads as well thought-through, humble, reasoned, and deeply human.

Can't disagree with "deeply human", but I wouldn't always use it in a positive sense:

https://proofsandprompts.com/2026/09/10/open-letter-about-th...

>Participation in an event so closely associated with Anthropic and OpenAI could plausibly negatively impact the future reputations of participants

bamb008··on More questions about whether researchers can trust OpenAI with unpublished math
When Thom, the mathematician who now alleges plagiarism, posted his digestion [1] of OpenAI's construction of a non-sofic group, he does not mention the proof being familiar. He even calls the crucial argument clever, without noting he thought of it first. [1]https://mathoverflow.net/a/513885
bamb008··on Formalization of the Solution to the Hopf Problem
An exposition of the Alpöge-Claude construction, by a mathematician working in this area: https://philip-engel.github.io/S6.pdf