> AI-native mathematicians

What a world we live in...