Post #4327974
2026-07-28 16:28 UTC
Replies (1)
-
@highergeometer@mathstodon.xyz 2026-07-29 03:22
@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