On: A misalignment of AI in mathematics

[moralestapia]

I haven't heard about his take on AI (sorry about derailing a bit), but generally I like Robert Ghrist's approach to life and math.

I'll check out if he has said something about it. Interesting guy.