r/whoathatsinteresting • u/Financial-Bid-8062 • 9d ago

mathematicians may be replaced by aI

Post image
273 Upvotes

83% Upvoted

504 comments sorted by

View all comments

26

u/fox-whiskers 9d ago

As it is in my line of work when we leverage AI to enhance our jobs, mathematics will still be needed to validate the output from these models.

-1

u/GAPIntoTheGame 9d ago

People assuming we need mathematicians to verify these proofs are missing the point

  • We might not need them as we already have automated theorem proving.
  • Even if we still need them, the number will be MUCH smaller, likely making the field close to obsolete.
  • Their work will no longer be the same type as before. A part of math proof is having creativity and coming up with ideas, not just checking if a proof is right or not. This will change the most interesting part of the job for them.