Hacker News new | ask | show | jobs
by morpheos137 2 hours ago
Much can be resolved when it is understood math is discovered not created. AI is a tool. if it makes discovery or proof easier that is still mathematics. A proof stands on its own logic regardless how it is derived. The root concern is how ai may provide uplift for mathematical discovery outside of socially expected channels.
1 comments

You're not concerned about mathematics disappearing as a profession?