@highergeometer@mathstodon.xyz
Post #4327973
2026-07-29 03:22 UTC
@Colman@mastodon.ie This is me reaching for what I feel is a less-wrong metaphor than "AI in maths is just like chess engines", which I think is wholly off-base and much more misguided than the one I gave. AI-in-maths = chess engines and "look, people still play chess, it's fine" is a much much more flawed analogy. I'm happy to have people propose better metaphors rather than telling me "but but but maths is not a competition!" I am a professional mathematician, I've been at this game for 15-20 years, I understand how mathematics works in the platonic sense and in a social sense. Maybe think about why I'm making the metaphor and what I might be trying to get at
@zanzi@mathstodon.xyz @johncarlosbaez@mathstodon.xyz @peterwoit@mathstodon.xyz @mc@mathstodon.xyz
Replies (1)
-
@antoinechambertloir@mathstodon.xyz 2026-08-02 10:15
@highergeometer@mathstodon.xyz @Colman@mastodon.ie @zanzi@mathstodon.xyz @johncarlosbaez@mathstodon.xyz @peterwoit@mathstodon.xyz @mc@mathstodon.xyz one thing that might be wrong in the math as chess metaphor is that math goes on, whatever theorems mathematicians prove. When a conjecture is proved, new questions emerge, when it is disproved, a quest for better intuitions has to start. And sometimes, mathematicians simply create a new field.