> 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.
> 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.
Refreshing to read about a proof where the critical part is not how they cheered Claude to solve it.
Lol are we the sycophants now?