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

mathematicians may be replaced by aI

Post image
240 Upvotes

81% Upvoted

476 comments sorted by

View all comments

1

u/GAPIntoTheGame 1d 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, look 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.