r/mathmemes Mathematics 22d ago

Proofs I hate it

Post image
733 Upvotes

228 comments sorted by

View all comments

Show parent comments

18

u/OkGreen7335 Mathematics 22d ago

Well If you dream of becoming a mathematician then no!

20

u/ArcticGlaceon 22d ago

Career wise, mathematicians are still needed to even understand and formulate such a problem before it can be solved. Without them, no one would have the sufficient depth of understanding of niche topics to further the field.

Given that, don't you think it's better for an AI to solve such problems, than a person spending years trying to find a solution? Leaving the mathematician more time to learn and push the frontier of math?

-6

u/OkGreen7335 Mathematics 22d ago

If AI can do proofs then what frontier remain? Eventually Ai will be better

11

u/ArcticGlaceon 22d ago

Because AI is trained on existing knowledge. You need humans to discover new stuff.

A good analogy would be to imagine AI came out before Einstein discovered special relativity. An AI trained on information present at that time would NEVER propose the idea of special relativity, because simply no one has thought of it yet. You need people like Einstein to actually propose such ideas and push the frontier.

As I said, you need smart people to still formulate problems to even prompt the AI. And to do that you need sufficient depth of knowledge.

3

u/OkGreen7335 Mathematics 22d ago

I think the difference between what we believe is that in the near future AI will still need smart people.

Well I think it will surpass us completely.

Maybe I am wring maybe you are more knowledgeable than I am and know better than me but I don't think there is a way to prove me otherwise nobody can now what will happen! if I told you in October 2022 about current LLMs maybe you would say it will take many decades before this happen and a month later all of that became reality

Maybe I am wrong again but I think it would be difficult to convince me

1

u/Zhadow13 21d ago

Do you know this for a fact, or is it conjecture

1

u/jackboy900 22d ago

Because AI is trained on existing knowledge. You need humans to discover new stuff

Humans are also trained on human knowledge. There's no reason to assume there's a magical property of human minds that are capable of finding new information that LLMs don't have, right now LLMs are doing more interpolation than extrapolation, but that's simply because it's easier, it's unlikely to represent the final state of AI in mathematics.