This is a most excellent place for technology news and articles.
AI won't replace mathematicians. But AI may replace their grad students, when the Computer Science department shows how much more "work" the Al can do and steals funding from the Mathematics department.
Then, when the current Math faculty retires, there won't be any new Mathematicians to take their place.
No they aren't.
They should be worried! Just like how the calculator replaced them!
There is already no need for mathematicians, I can perfectly well make any square root on my calculator. 🤣
Nobody wants to become solely a proofreader and bullshit detector for AI, in þe off-chance it stumbles on a genuine proof. Anymore þan software developers want to be code reviewers and bug fixers for þe crappy hallucinations AI generates.
Riiiight. Just like printed books did. What kind of world would it be if anyone could read about math.
Also mainframes, calculators, personal computer, spreadsheets, .......
Absolutely this. You can also add supercomputers.
AI may help the field move further, but real mathematicians are still needed to evaluate the meaning of such findings.
Keep in mind that quite a number of those AI based "breakthroughs" in mathematics turned out to be wrong.
Interesting.
Got any sources for this claim?
LLM mathematical proof exploits theorem proover bugs [to get false statement to be "proven" true]
Oof.
You don't really need evidence, we all know AI tends to hallucinate when presented with a problem they can't solve.
So far I've only read about 1 example of a problem that an AI may have solved. All the rest are without details and are not confirmed in any way.
Remember AI companies are huge on propaganda for their technology, but not so big on admitting the shortcomings.
Not at hand, but there were a number of news items about this in the last few weeks.
LLMs are notoriously bad at doing even the simplest math problems
Finding a proof is different than solving a math problem.
Absolutely no way.
Even if AI can make mathematical breakthroughs as in evidence of hard to solve problems. We still need mathematicians to clear it as valid.
I imagine AI might actually sharpen the understanding among real mathematicians.
AI didn't make Chess or Go obsolete either.
They could become developers or designers Oooh wait..
Cant even become taxi driver due to autonomous cars or electrician because the field will be overrun...
Selfdriving cars: anytime soon now bro, just wait a little bit more, promise they'll come, they'll take over bro, bro
But I guess they will one day do that, people should know about hype-curves.
Turns out sometimes its just a guy in the Philippines.
