@tao@mathstodon.xyz thanks for this and indeed this points towards something that is much large then the field of mathematics. If the work process how a goal is achieved matters then excluding humans from this process and substituting them by AI this will massively impact the very meaning of that work.