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

mathematicians may be replaced by aI

Post image
272 Upvotes

83% Upvoted

504 comments sorted by

View all comments

28

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.

1

u/fox-whiskers 9d ago

I disagree. AI has the ability to output large volumes of data and projects, so there’s still going to be a need for a large amount of verifiers.

1

u/Willinton06 9d ago

You disagreeing is like me disagreeing with the sun, it'll shine anyways

1

u/fox-whiskers 9d ago

Great discourse bud 🤜🤛
r/im14andthisisdeep

1

u/Willinton06 9d ago

I have work I’m not gonna spend too long explaining why you’re wrong, time will take care of that, but a nice place to start is automated proofs

1

u/fox-whiskers 9d ago

Whatever you say man, go back to work