Rendered at 20:36:34 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
plaidfuji 48 minutes ago [-]
> The week before Christmas 2025, five mathematicians were holed up in a classroom at ETH Zurich.
So happy this didn’t end with, “tweaking their prompt for ChatGPT Sol” or whatever.
> He, Diskin, and Radhakrishnan made some progress and brought their results to Sudakov and Tassion. As Tassion took in their work, an idea — perhaps an outrageous one — formed in his mind. … Over those weeks, the collaboration became frenzied. The mathematicians traded ideas constantly, often texting late at night.
It will be a truly sad world if we automate this away.
karmakurtisaani 2 hours ago [-]
Refreshing to read about a proof where the critical part is not how they cheered Claude to solve it.
So happy this didn’t end with, “tweaking their prompt for ChatGPT Sol” or whatever.
> He, Diskin, and Radhakrishnan made some progress and brought their results to Sudakov and Tassion. As Tassion took in their work, an idea — perhaps an outrageous one — formed in his mind. … Over those weeks, the collaboration became frenzied. The mathematicians traded ideas constantly, often texting late at night.
It will be a truly sad world if we automate this away.