RE: https://mathstodon.xyz/@tao/117230983938174038

I think it's extremely damning that even Tao, who is very involved with OpenAI, recognises this for what it is: a false promise, a contribution to mathematics which leads to dead-ends in our theories and understanding, a company using unsolved conjectures as a resource to fuel their stock prices while providing little to no value back to the field of mathematics.

I hope that in the next couple years we as mathematicians seriously reconsider our current system where theorems proven/disproven are the primary social currency of mathematics, because these LLMs are hijacking these incentives in ways that are very damaging to us.

As an early-career researcher it's hard to not want to jump ship right now. I started doing mathematics very young and I have never loved something like I love maths, but all of the recent news makes me wonder whether it's actually a good idea to continue doing math.

Almost every single PhD student I have talked to is doubting whether they have a future with the current situation, and I hope we can figure things out before the current generation of mathematicians PhDs arrive into a world of maths that has been mined out and left barren by AI companies pumping more speculative value into their bubble.

(1/3)