7 ms·
There were also some people talking about the Hodge conjecture, because it has some similarities to some LLM-assisted breakthroughs that were considered impress
by ameliaquining 8d ago
There were also some people talking about the Hodge conjecture, because it has some similarities to some LLM-assisted breakthroughs that were considered impressive in the distant past of [checks notes] July 2026. See, e.g., https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/ https://xenaproject.wordpress.com/2026/07/20/human-mathemati...
- QuesnayJr 8d agoI brought this up here at HN, and in the ensuing discussion Buzzard himself replied saying he was somewhat joking (https://news.ycombinator.com/item?id=49011950 https://news.ycombinator.com/item?id=49011950).
- ameliaquining 8d agoCertainly, but the key word there is "somewhat". Progress is now happening so incredibly fast that I no longer know what to consider implausible.