This is disheartening to read. I wasn't aware the OpenAI math paper would be so impactful...
https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/
This is disheartening to read. I wasn't aware the OpenAI math paper would be so impactful...
https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/
This comes during an evening where I heard how depressed the TCS (theoretical computer science) institutes at my university are rn
In that spirit; Shamelesly stolen from [2], I really like the perspective the linked blog article [1] gives on motivation and how the destruction of intellectual communities through AI will mean issues of motivation.
[1] https://borretti.me/article/no-man-is-an-island
[2] https://infosec.space/@siguza/117428024001408935
And I'm sorry for the doomer content rn >.< i just hope in a few years the storm has calmed and we found a healthy way to deal with all of this.
@tyalie The rapid success is more of a measure of collective human talent stolen as training data+context than novel work. It should be inspiring us to work more closely together but instead, because it's stolen labor, it closes us all up to avoid having our work stolen again.
It also helps to have huge budgets to push proof assistance against a problem at a level researchers never get. The tragedy is in the framing of all of this as something humans couldn't do. I fully believe we could have.
@cararemixed quoting from one of the letters in a very similar spirit: