Comment by fwlr

9 hours ago

I hope Terry has somewhere private where he can safely express his anger at how poorly math has been treated by these AI corps. I understand that as a recently pro-AI public figure he is limited to ambivalence, so I understand him adding caveats like “maybe math 2.0 has a place for AI”, but it can’t feel good to say stuff like that just days after OpenAI so drastically salted the earth.

> how poorly math has been treated by these AI corps

Yes, what a terrible thing to advance the field significantly and release the results publicly for everyone. Truly despicable.

  • Well, that’s the thing, isn’t it? They somehow invented a way of solving an open problem without advancing the field. That’s something that mathematicians had never even thought was possible. And while the mathematicians were beginning the great conversation to re-examine their fundamental understanding of the pursuit of math in light of this new phenomenon, OpenAI decided they would do it again 372 more times.

    • >They somehow invented a way of solving an open problem without advancing the field.

      And nothing stops mathematicians from solving it in a way that does advance the field. Claude's existence doesn't change that.

      6 replies →

  • What a disingenuous, willfully ignorant take. None of these AI companies have been acting in good faith or in any way other than grotesque self-aggrandizement to the expense of everyone else.

    • Totally agree. They are doing in it ONLY because they think it's the best way to be more valuable. They don't give a F about anything else.

    • How does this change the fact that they shared the proofs with the community and allowed everyone to verify or reject them?

    • So what? If someone releases something good then that's good, doesn't matter what their motivations are.