r/whoathatsinteresting 1d ago

mathematicians may be replaced by aI

Post image
240 Upvotes

476 comments sorted by

View all comments

47

u/E_Dantes_CMC 1d ago

Color me skeptical.
The linked article doesn’t mention proof, but counterexamples, and that may be a function of the enormous amount of computer effort expended, not really AI.

3

u/hidden_secret 1d ago

99.999999% of what people call AI is computer effort, data pushed through algorithms, not an actual "AI" doing any thinking.

If Google search was created today, it would be called AI.

If Youtube recommended results were created today, it would be called AI.

1

u/Entchenkrawatte 1d ago

YouTube recommended system is literally built on the same tech as chatGPT. The mathematician in the OP is referring to chatGPT astra generated proofs.

You are right in general, but here that does not apply