Comment by lhk931122

These days I use AI for development and it feels like my coding skills are getting worse, so I sometimes need rehab, and I'm a bit worried that mathematicians will go through the same thing. Later, since the proof structure is built by AI, I think there will be cases where mathematicians themselves can't touch it (because if they do, they can't tell where and how it will break).