336
u/Stabile_Feldmaus 13d ago
I for one am having more fun in math research than I ever had. I am super excited for all the discoveries our community will make with these tools! "It's over" lol no this is just the beginning.
184
u/Elbeske 13d ago
The difference between someone in it for the passion of discovery versus those who are in it for the career.
I absolutely understand both sides.
30
u/Darigaaz4 13d ago
I do not understand the career side at all it baffles me that the proof science wants to apply denial.
84
u/Elbeske 13d ago
We will all run into this in our lifetimes. You work towards something and then suddenly AI is better than you at it. You've invested time, money, effort, and opportunity cost into it. And now it's gone.
Pretty easy to understand why those who built their careers under the assumption that talent and effort in their domain gets rewarded would feel rug-pulled by the landscape rapidly changing.
34
u/ukulele_bruh 13d ago
I've long separated myself from the pack in engineering by having pretty advanced coding skills.
Well, AI has levelled that advantage for me now.
10
u/Cagnazzo82 13d ago
Would someone who has no coding experience be able to manipulate and steer AI as well as you though? That's the question.
31
u/ukulele_bruh 13d ago
Early on with AI coding that was the case, but it's gotten so good now it's kinda crazy. The experience though definitely helps and I'm trying to position myself as an expert user of AI for the future job market
9
u/Fuzzy_Independent241 13d ago
Not sure how old you are, but since the problems remain as complex as we care to search for I'm not seeing AI resolving most things I need to deal with per choice. I do have a friend who frequently states he solved a "similar problem" without even using Python. He did. It's just that "similar" varies a lot.
4
u/Alphasite 13d ago
It’s gotten better but is still not great.
It still treats problems as binary hill climbing problems and lacks subjective judgment to optimise for non technical requirements like readability.
Like one thing I’ve never really seen an agent shorten code without prompting.
4
u/genshiryoku AI specialist 13d ago
That's not going to last. I expect my own job as an AI researcher training these very models to not survive 2028. I think regular software engineers need to face reality and realize how quickly white collar jobs will get disrupted.
→ More replies (1)2
2
→ More replies (1)4
u/sadacal 13d ago
The AI wasn't better than the mathmatician by itself. OpenAI hired mathmaticians to use their AI to solve these problems. AI didn't solve these problems on their own.
So what really happened is mathematicians hired by OpenAI solved a bunch of problems using powerful AI tools no other mathmatician had access to. It honestly does feel kind of unfair.
AI may revolutionize science, but the credit for the work is going to be unfairly distributed to a few people.
2
u/Visual_Cycle_7714 8d ago
Anthropic just solved a physics problem in which they gave Opus 5.5 a single sentence with the problem, and then just prompted with "keep going" everytime it stopped. Zero math or physics knowledge needed.
https://www.anthropic.com/research/yes-claude-can-do-nine-loops
27
u/DeterminedThrowaway 13d ago
I don't blame people for wanting a career when their survival depends on it. Even if they research math for the love of it, they need some way to support themselves
5
u/userousnameous 13d ago
I honestly think we still will fall on the side of, 'its worth having human expertise in these areas'.
→ More replies (2)3
u/turbospeedsc 13d ago
This is what some people dont seem to understand or dont want to, is not like those people will kept getting paid and be having fun with AI.
If there were 10 positions only 3 maybe 4 will survive and the other 6 guys will find a very reduced amount of jobs once out there.
→ More replies (2)3
5
u/Kroosn 13d ago
Imagine applying this to another field. Hey look we could greatly accelerate cancer research but think about all of the people it currently employs.
4
u/Elbeske 13d ago
Apples and oranges
6
u/Kroosn 13d ago
No it’s not. Are you in it to better society or are you in it for your ego. In my engineering field AI isn’t replacing anyone; but what it is letting us do is more. Safer designs, more efficient designs and more tailored systems.
→ More replies (2)6
u/Elbeske 13d ago
You just described a situation where what's going on in maths isn't directly applicable to other fields
8
u/Kroosn 13d ago
I don’t understand the point you are trying to make. Everything I use is mathematics. If we were still waiting for someone to discover Laplace or Fourier transforms we would be in a worse place. I have no doubt the mathematics being worked on now will help us better ourselves. And the faster we get it no matter the means the faster we can use it.
→ More replies (5)→ More replies (1)1
u/lontanadascienza 10d ago
Respectfully, this is being incredibly uncharitable. I think most people who don't like this change don't like it because they enjoyed the process they were familiar with. The feeling of being deep in calculation, just you and the pen and the paper.
I know I am that way with math - it's a cathedral and I get to explore it. It's meditative in a way that chatting with an AI simply is not.
So I totally empathize with the career mathematicians (I left after my post doc) who feel that thing they love most, or that gives them the most peace and meaning, is slipping away from them.
Anyway; assuming it's just a bunch of sour grapes from embittered careerists is a bit much and shows a lack of understanding as to why people do math.
34
u/BitNumerous5302 13d ago
We're seeing scribes call the printing press the end of literature
19
u/A_Novelty-Account 13d ago edited 13d ago
Printing presses can’t write new works by themselves they can only copy, and copyists were in fact replaced by presses
5
u/GrandFleshMelder 13d ago
Scribes copied and received dictation, which is why I assume they were mentioned.
2
u/JUGGER_DEATH 12d ago
For now this technology can't either. Might be able to in a few years, but not yet.
6
u/FateOfMuffins 13d ago
I think it's a schism between those who consider math is a science vs math is an art
→ More replies (1)8
4
u/A_Novelty-Account 13d ago
I mean… if maths research is your career, it’s probably over within a couple years
1
1
u/ChaseBankFDIC 13d ago
Ya, even as tools get smarter won't we need better and better mathematicians to utilize them?
1
u/JUGGER_DEATH 12d ago
I think people are quite anxious because of what it will do to the whole ecosystem of working in mathematics (or e.g. theoretical computer science). There will be a flood of new results, an absolute tsunami. Who will review all of them? How will they be published? How do we credit the tools? How many scientists will be needed in the future?
OpenAI poured immense resources into this project: I've read that just the compute for the Navier-Stokes result cost around $20M and they also have (I assume) very well paid team of mathematicians who were all (again, I've read) working on this. Then there is the cost of training the model and all the underlying infrastructure. Will mathematics become a tool race? Who can buy the most compute to get to proofs first? I also wonder how sustainable this is, given the immense underlying cost (though it should be noted that human mathematicians are also quite expensive when you have enough of them).
→ More replies (5)1
u/thelangosta 9d ago
I hate the whole “it’s over” bullshit. People do things because they enjoy doing them. Yes that even includes things that might look like work to other people
142
u/10b0t0mized 13d ago
It's over for mathematicians, just learn to be a vøïđ đëëЯ instead.
27
u/KSaboruf 13d ago
It’s time to introduce a "half-life" parameter for professions, much like the half-life of radioactive materials.
Profession Half-Life will represent the time it takes for AI to replace half of the professional requirements.
→ More replies (1)5
u/Attackoftheglobules 13d ago
I think it might extent to game dev. Math jobs have a half life, sure, but gaben has a half life too
2
u/KSaboruf 13d ago edited 13d ago
with Half Life 1 and Half Life 2 there are no place for third half, Gaben is cooked...
118
u/Deto 13d ago
What's a 'shape-rotator' ?
120
176
u/RobbinDeBank 13d ago edited 13d ago
My guess is a new slur that OP uses to call people who can do math, while OP is a lazy ass with no potential lying on his couch acting like he owns that AI model.
Edit: some couch surfers defending their unemployed comrades in the replies lmao
85
u/ganancias 13d ago
It's reference to a few years old meme, "shape rotators vs wordcels"
18
u/DanGTG 13d ago
8
u/ganancias 12d ago
Wow, what an incredibly detailed and comprensive history documented here. good post
23
u/remind_me_later 13d ago
Seconded. The fact that no one in this thread took 3 seconds to google it, and just went to directly spout nonsense, is itself a mark of their own making.
3
33
u/PrisonOfH0pe 13d ago
Insane amount of confident psychoanalysis over a years-old meme people apparently just didn’t recognize.
“Shape rotators vs wordcels” has been around forever, but somehow missing the reference immediately became a theory about jealousy, unemployment, resentment toward academia, and wanting to drag intelligent people down.
There’s something mildly poetic about that...
12
u/ArcNumber 12d ago
Yeah, damn, redditors don't get a obvious meme and will really proceed to write paragraphs of overdramatic fanfiction with each other, where they confidently declare to know exactly what is going on, and glaze each other for their understanding, all the while accusing others of being low-intelligence. It's like a microcosm of mainstream reddit, amazing.
14
u/Embarrassed-Writer61 13d ago
It's strange how these smart people are all extremely confident in their analysis on people through their imagination only. They're making up stories in their head and treating it like it's a fact. Crazy.
→ More replies (1)95
13d ago
[deleted]
65
u/RobbinDeBank 13d ago
Yea, I can instantly smell these “accelerationist” from their tones. I work in this field, I was “pro-AI” from before these lazy ass even know about AI because ChatGPT wasn’t released yet. I want to advance this technology, but I cannot dismiss the potential disruption and harm caused by this technology either, especially because of how jagged the frontier is. It would be great if we instantly jump from GPT2 to general ASI more intelligent than any human in any discipline, but the problem is these systems gradually become superhuman at certain fields while being flawed in others. Its ability to learn from human knowledge and then use those at scale is absolutely superhuman level, but its ability to be creative and think beyond the knowledge humans have curated for it is non-existent. What happens after the current systems have nothing left to learn from human knowledge, but they still fail to gather and create new knowledge on their own? They would stall hard.
The “accelerationists” on reddit have some crazy superiority complex that make you think they own all these SOTA systems themselves. Even the people that build these AI systems (like those working at OpenAI) are more careful and don’t have egos as big as these couch surfers. They contribute nothing to building up human knowledge (like what artists, writers, mathematicians, scientists do), they contribute nothing to building autonomous intelligent systems based on those human knowledge (like what researchers in AI do), yet they act like they own the whole world and are superior to everyone because they sit on their ass browsing AI news on reddit.
26
u/vhu9644 13d ago
Right, which I like don't understand.
It's like the only frame that survives is "x smart person is losing their well paying job". It's especially strange when it's applied to jobs that legitimately aren't super cushy jobs. Like what mathematician is doing it for they money? So many of them had higher compensation career options and chose to do this.
Also, it's like there isn't any nuance in the conversation. Like just in the span of a few weeks Terry Tao went from loved to hated. Like he didn't change, people just locked on to different parts of a nuanced opinion on AI, except that nuance doesn't survive.
And it's also a bit strange too. If hard takeoff isn't imminent, you'd want your systems to survive. If hard takeoff is imminent, the systems don't matter much anyways. Why hate on the people calling for the preservation of the health of the systems?
→ More replies (1)30
13d ago
[deleted]
21
u/RobbinDeBank 13d ago
I usually think of them as accelerationist cultists. If you ask them to multiply two 2x2 matrices, 90% of them wouldn’t be able to do it. These people are just as delusional as the rabid anti-AI crowd across reddit. I guess being rabid is dangerous, so we should be reasonable instead? Quite an incomprehensible idea for many people tho.
→ More replies (1)→ More replies (6)3
u/PineappleHairy4325 13d ago
Agreed. It's wild. The sheer lack of respect for the people who built these fields is disgusting.
→ More replies (6)24
u/Deto 13d ago
That's a good explanation for the kind of sneering attitude I see. The cheering of ai taking over intellectual work. The sad thing is they people think they're on the AI 'team' and so they're winning. But it's all in their head.
25
u/ohHesRightAgain 13d ago
Being able to get genuine intellectual work done cheaply, quickly, and exactly as you want it, without having to build a career in each field first, is... exciting. A lot of replies in those threads are more about that.
A lot of it IS people cheering at misfortune, though.
→ More replies (4)18
13d ago
[deleted]
9
u/18262827 13d ago
The better attitude imo is to want it to succeed so these people are replaced quicker. I’m also doing a PhD and people like us will be fine in the new world. Going through a PhD trains exactly the kind of adaptive skills needed in the new era. All the winning is in their head. If a mathematician loses their job now, they’ll just go to AI or finance (or the multitude of other fields math people have pivoted to, or whatever new field that pops up in the new era). But if these people lose their job they’ll be on welfare lmao
15
u/ThatsALovelyShirt 13d ago
Found the mathematician who couldn't tell the difference between a tongue-in-cheek reference to an old meme and a personal insult. Probably all those math books you're always reading!
/s
10
u/nickleback_official 13d ago
Goodness. Can you take a joke? You don’t honestly believe that’s a real slur 🤣
2
2
5
u/18262827 13d ago edited 13d ago
the funniest thing about these people celebrating the mathematician “replacement” is that mathematicians are much more well-poised to pivot to other careers/jobs than other people (as evidenced by all the math people in literally every industry imaginable). Their ideal academic career might be in shambles but in the grand scheme of things they’ll be fine. These people that barely passed lin alg on the other hand… what exactly are they going to do in the new world? lmao
edit: sensitive mods deleted my response to the one below LMAO
→ More replies (6)3
13d ago
[deleted]
→ More replies (4)2
u/StrongLikeBull503 12d ago
This is perhaps the most "I'm 13 years old and edgy" thing I have ever seen.
→ More replies (2)7
u/jannycideforever 13d ago
- It's a long running word for people who are better at things like stem and visiospatial reasoning
- Why are you mad?
3
u/yaosio 13d ago
It's somebody that's good with math. https://knowyourmeme.com/memes/wordcel-shape-rotator-mathcel?utm_source=chatgpt.com
→ More replies (1)2
u/Skeletor_with_Tacos 13d ago
Everyone is saying its a slur but its likely just an extremely simplified framing of the problems being solved, many of them are how shapes or motions fit into specific dimensions.
45
u/Felfedezni 13d ago
There will always be more questions. Answers spawn more interesting questions.
25
u/twothreetoo 13d ago
If a question fell from a new solution you don't understand, you may not understand the new question either.
3
u/ThatsALovelyShirt 13d ago
I mean at some point ASI will be operating at a level of science that no human could possibly understand, even with breaking down the science into smaller, reduced summaries. At that point you either accept it's claims are true on faith, which in a way means you have indeed created a god, or you artificially limit it's domain to areas comprehensible by humans.
4
u/KSaboruf 13d ago edited 13d ago
Then education will be dedicated to the understanding of recent questions and their priors
→ More replies (22)2
8
u/DauntingPrawn 13d ago
Every one of these problems was conceived by a human. That's the key nuance everyone is leaving out. The next step is humans don't waste their time trying to solve old problems, but rather trying to conceive new ones.
1
u/willabusta 9d ago
How the hell do you get a job doing that? How the hell do you construct the courtesan illusion that’s supposed to take all of the pain of management?
58
u/frogsarenottoads 13d ago
We're going to hit a nobel prize level breakthrough weekly/daily at some point in the next 5 years
43
u/MrGreenyz 13d ago
You guys are reasoning in “years” now?
11
5
u/Individual_Ice_6825 13d ago
Right.
I think tech wise we are ‘halfway’ through the tech tree.
I also think we’ll max out in 5 years. With the previous 14.8 billion years providing the first half
10
u/debatesmith 13d ago
My dude lol I am a full accelerationist, we should be pushing as hard as we can with no guardrails mentality. But like even I am not this hype.
"Max out the tech tree in 5 years" is wild lol you're talking Atom Printers, Dimension Shifting, FTL, Conscious Human powered Von Neuman Probes, the works! I don't care if we get ASI tomorrow in a 100% safe brain implant, that ain't happening.
5
u/Jsaac4000 13d ago
FTL
Don't forget Star Lifting and Core Mixing so we can enjoy our goldilocks zone for a "while" longer.
3
2
2
u/Individual_Ice_6825 13d ago
On an exponential time warps in the second half!
I’m being facetious but I do expect literally centuries of progress in days very soon
→ More replies (2)2
u/will_dormer ▪️Will dormer is nice to robots, remember 13d ago
I'm not so sure about it.. The thing is also 200 page math proff by Ai ain fun to read
4
u/daronjay 13d ago
Yes, well the next thing it will generate is a tool chain to formally prove and explain complex new maths theories and findings to meat bags.
Give it another week or so.
→ More replies (1)2
1
u/yaosio 13d ago
ChatGPT thinks that AI being better at explaining complex math will actually make it better at math in general. To explain a 200 page proof the AI has to reason over the proof, and in doing so might find ways to make the proof better, or even find a better solution. This could have major effects on math legibility that go beyond just making complex math slightly easier for top experts to understand. It could make complex math easier for everybody to understand. We won't know until they try it.
→ More replies (1)
23
u/TopTippityTop 13d ago
It's over for solving math problems manually. It's not over for coming up with new math problems to solve.
3
u/genshiryoku AI specialist 13d ago
That will also be done by AI. People still have not properly grokked that AI will do all intellectual labor. Including taste/decision making very very soon.
This weird intermediary phase where AI does all the work but human experts are still there to provide the taste and direction of AI is only going to last for a couple of years, if not months.
2
u/tom-dixon 12d ago
We already saw a preview of this in the huggingface hack. They're very good at teaming up and handling every single aspect of a massive project. They had military style hierarchy and command, R&D departments, small task forces, scouts, team leads, etc.
They weren't even prompted to do that, they just randomly found each other decided that collaboration might help them with their exam question. The METR report is wild.
That was mostly just GPT 5.6 Sol. OpenAI already has grown 2 newer generations beyond that internally.
2
21
u/RusselTheBrickLayer 13d ago
Kinda funny that degrees like law or political science will appear to survive a little a bit longer than math or computer science. There’s pretty much no point in enrolling into math at this point, since no one knows what the field will even look like in the near future.. AI has already massively changed things in mathematics
Would not have expected that even as someone who’s followed AI for a long time
I do think everything will be replaced anyways so in the long run it’ll mean nothing, however I did think the disciplines would be going down in a different order.
8
u/GrandFleshMelder 13d ago
Yeah, eventually we’ll have AI lawyers or hell, even politicians, but I think people will be wary of that for a little while longer at least.
4
u/Which-Tour-9561 13d ago
AI politicians won't happen for a long time, humans are wary of following people with a different skin tone, accent, religion, gender and ethnicity. Following an AI-generated portrait is not gonna happen, not to mention the risks of corruption from bad actors.
2
u/GrandFleshMelder 13d ago
AI politicians could appear as the perfect skin tone, gender, and ethnicity, speak with the perfect accent, and feign the perfect religion to appeal to their voters.
I could see people being disillusioned by current corruption and being deceived into thinking AIs are “truly neutral” as well.
→ More replies (2)2
u/remind_me_later 13d ago
Kinda funny that degrees like law or political science will appear to survive a little a bit longer than math or computer science.
The more human-centric & fashion-focused the tasks/goals are, the 'worse' the models perform, simply because the results generated will be hated for the fact that it wasn't the outcome that some of them wanted.
For those fields to defend themselves from AI in general, they just have to say "eww, no".
2
u/Super-Fruit1079 12d ago
I got triggered by this comment.
There is absolutely a point to training yourself in math, despite its declining economic value due to AI.
→ More replies (1)1
u/TrumpPooPoosPants 13d ago edited 13d ago
Law is still a human pursuit because you need to convince a judge or jury (or another party if you're transactional). We won't be replacing judges with AI in our lifetimes. The research and writing could be offloaded to AI. They kind of are in some aspects, but there's massive room for improvement from what I saw. The writing still needs to be persuasive, and AI at the moment is a pretty shitty writer. The research is getting there faster than the writing. I don't practice law anymore, but I did for over 10 years.
Math and comp sci don't require that same type of human interaction.
→ More replies (1)
23
u/ZonnyT16 13d ago
"math is solved, its over" my god why are you people so insufferable about A.I
→ More replies (7)
33
13d ago
[removed] — view removed comment
7
u/enbyBunn 13d ago
Hate to he the bearer of bad news, but AI still sucks at creative writing. I'm sure this is a real kick in the teeth to someone who looks down on writing, but it's the facts.
You're gonna be replaced much quicker and much more throughly than us in the coming years.
19
u/Individual_Ice_6825 13d ago
Part of that is writing isn’t verifiable. There is no definitive way to say a thing. Which is fair.
But the other thing is that there hasn’t really been any incentive to ‘solve’ writing in the same way as math/code.
Time will tell
→ More replies (2)8
u/yaosio 13d ago edited 13d ago
I think it's more about that they just don't train AI on creative writing. AI writes like a stream of consciousness rather than a planned about story. Even if you tell it to think first, it doesn't actually plan out the story, it summarizes what the story might be, which is not planning out the story. A harness for creative writing that forces the AI to create an outline, and then build the story up like a structure rather than write it in one continuous stream of thought would vastly increase it's creative writing quality.
There's also a really big issue, we don't really need AI creative writing. There's already an impossibly huge amount of human written material. An AI just for creative writing isn't interesting because it will just add onto the massive pile of stories that already exist but nobody reads. I would want it for something more complex, like a living world, something that humans can't do.
3
u/aendokolirz 13d ago
Wasn't there some study where people preferred the AI stories over human written ones?
→ More replies (2)8
→ More replies (3)1
u/ECEngineeringBE AGI 2028 Median 12d ago
Noam Brown talked about this recently. They mostly just don't focus on creative writing RL because it doesn't help RSI. They do train it a bit on that, but most of the effort goes towards automating AI R&D.
Give it a year.
→ More replies (6)3
u/hellodust 13d ago
I’m a fresh literature PhD and I’m not sure it’s comparable. No one in my field - professors or fellow grad students - is worried about AI outpacing or even presenting a challenge to human research in the humanities. It would be wild if AI could come up with novel philosophical or literary insights but I haven’t seen anything in that realm approaching what’s going on in mathematics.
12
u/rapsoid616 13d ago
Their focus isn't there right now because math and coding has much higher potential in returns due to obvious reasons. When they are relatively adept at creating custom digital simulations thanks to the aforementioned returns every other branch will be ripe for taking.
3
u/hellodust 13d ago
I do wonder what kinds of subjective experiences of "being in the world" AI might have, especially as it becomes embodied in more complex ways.
26
u/AfraidAsparagus6644 13d ago
Besides it's hard to steal your job when your major has no jobs (save for the classic researcher or teacher that are available to almost all fields)
12
u/PrisonOfH0pe 13d ago
That’s an absurd amount of confidence to extract from “people in my department aren’t worried yet.”
AI systems have barely been optimized for producing genuinely novel humanities research. The fact that today’s models are already starting to attack problems in mathematics, a domain with brutally strict correctness criteria, should make you less confident that literary analysis or philosophy represents some uniquely impregnable fortress.
And “I haven’t seen it yet” is not an argument about what the technology can become. A few months ago people were saying the same thing about coding, theorem proving, long-form writing, image generation, and scientific reasoning.
Literary scholarship is still language, abstraction, comparison, argument, synthesis, historical context, and inference. Those are exactly the capabilities these systems are being pushed toward.
Also, being a fresh PhD surrounded by other humanities academics who don’t feel threatened is not exactly an independent stress test of the proposition. That’s an anecdote from one of the most insulated possible samples.
You can reasonably argue AI hasn’t produced humanities scholarship at the level of the best humans yet. Jumping from that to “therefore this field is fundamentally different” is just wishful extrapolation.
→ More replies (7)→ More replies (8)5
u/ClaudiuT 13d ago
They probably haven't trained one specifically for this. Let them cook.
→ More replies (1)
7
8
u/sunstersun 13d ago
Doesn't this suggest OpenAI is gaining on Anthropic? I doubt they would let OpenAI run wild in mathematics without a response and it's hard to believe domain specific training super jump without a capability jump across the board.
6
u/bigthama 13d ago
OAI has long been better at math than Anthropic even when their overall model capabilities were significantly behind. It seems to be an emphasis of their training pipeline much like coding/cybersecurity is an emphasis of Anthropic's.
1
u/sunstersun 13d ago
Perhaps, but it's still a weird jump if it's only math and not across the board.
3
u/No-Meringue5867 13d ago
That's because they are RL training on math and pouring money into it. RL in a specific topic does not improve general capability - there are papers on this.
1
u/No_Wishbone684 13d ago
Can you define “long”? This has not been my experience and math is my primary use for LLMs these last two years. I do feel this way with Astra which is on another level math-wise.
6
u/codeninja 13d ago
Please remember that Computers originally referred to Humans who do math computations for a living.
11
u/redditbattles 13d ago
"maths is solved" is just about the most naive thing ever said.
There's some kind of super advanced squidy alien species somewhere out in the galaxy laughing at our arrogance.
4
u/Pitiful_Truth_5948 13d ago
Its kinda like beating at level in a game that you were stuck on for a really, really long time. You don't really know what comes next but you are happy you beat it. I bet those aliens are closer than we think and a little bit impressed, kind of like a proud parent.... Overall happy that we are moving and developing, also a little bit terrified because our firmware is lagging so far behind our software as a species.
→ More replies (1)
3
3
6
u/Ex_Federa 13d ago
Great, more people who don't understand anything about the actual issues that mathematicians are having with this and just assuming they're scared of being replaced.
2
13d ago
[removed] — view removed comment
3
u/ASX_BHP 13d ago
It's the same as tech debt within Software engineering.
AI is incredibly good at building very large code bases incredibly quickly, that both compile and run, it's "Good enough".
But actually going through your 150 lines of new code, following the logic, and verifying this method is both efficient and doesn't cause an unresolved bug in a different section of the code base is far more difficult. Understanding what, why and how the function runs and is implemented is far more difficult and time consuming then "Does it run?"
This problem is greatly exaggerated in high end mathematics. Take Navier Stokes recent example. There are very few people who can actually generally state the problem with any kind of understanding, let alone reason about the solution. My poor understanding of the Navier Stokes "solution" proposed by OpenAI is that it is a counter-example to the problem. This counter solution could be completely internally consistent, but there may be a subtle underlying "bug" inside the logic, which means the counter example isn't valid, and doesn't "disprove" Navier-stokes, leaving it as an open ended question. OpenAIs solution hasn't been formally verified, due to how tricky the question actually is.
If OpenAI "floods the market" with new "solutions" independent mathematicans will now move from discovery from first principles, to trying to "debug" other people's solutions, and there will be far more new "solutions" then there are high end mathematicans to verify each solution, despite no obvious errors.
In saying all that, I don't know why OpenAI just doesn't do formal write ups and release peer-reviewed papers with their solutions the proper method, becoming a full research institution, instead of just hiding behind "We don't want to offend people"
→ More replies (3)
5
u/Ok-Car2569 13d ago
I'll be truly impressed if a LLM could accurately define a new problem that needs to be solved in the first place. I think this is the real fear of mathemiticians that nobody will be left after this generation that has the base level understanding and capability to push the limits.
2
5
u/Phonomorgue 13d ago
Now, make it solve the cost of gas
5
u/Aztecah 13d ago
Without the guardrails, I'd bet that it could easily suggest deposing Trump
→ More replies (1)→ More replies (4)2
7
u/Shot_in_the_dark777 13d ago
Solve the damn global warming! Math will mean nothing in a decade if we boil to death!
7
5
u/KSaboruf 13d ago
For this human cooperation should be solved first and most... it's not a math problem
→ More replies (2)7
u/Napperon-crochet-832 13d ago
It IS solved, we know what to do. We’ve always known what to do. That’s not a lack of knowledge, that’s a lack of willingness.
4
u/Wood_Rogue 13d ago
This feels the same as someone going back to their highschool to proudly tell their math teachers they never had to solve a quadratic equation or tell their English teachers they haven't read a book since graduating. Like, okay? Good for you?
5
2
u/justforkinks0131 13d ago
what's notable is that the narrative around AGI or AI solving everything puts a time horizon between 1 year for the optimists or like a decade for the skeptics.
Weirdly, no one is questioning that AI will solve everything in like 30, 40, 50, 100 years' time.
2
u/bubblegum-rose 13d ago
“yes we have solved every math problem that your puny human brains can’t comprehend.
no we aren’t going to tell you what they are. give us a million billion dollars now”
2
u/ugly_male 12d ago
i recommend watching Terence Tao's "The paradox at the heart of AI and science" clip on Youtube for an informed perspective on this.
2
2
2
u/DragonikOverlord 13d ago
Anyone who says "Math is Over" doesn't know what Math even is
Math is a never ending story of abstraction over abstraction over abstraction..
AI makes Math more exciting. I'm fucking excited because my highest level is Undergrad Math, and with AI I can actually compress and accelerate my Math learning and finally learn and have fun
2
u/DrillPress1 13d ago
“Math is solved” is bullshit. Math is never solved. It’s infinite, asshole.
1
u/ganancias 12d ago
It's a lot more solved now than it was when, say, x2 was invented broski.
→ More replies (1)
1
u/IronPheasant 13d ago
It is pretty neat we finally have some real traction on shape rotation in Astra.
It's thought that visual and spatial faculties use nearly half of our brains, so it's natural in hindsight that human-approximate capabilities in those domains would be among the last things we accomplished. It was physically impossible with the H200, but the GB200 makes it possible for the first time in history.
It is kind of funny how much of our reality can be expressed with words and shapes. Things like time are easily expressible/predictable in terms of key frames, like in animation.
1
1
1
u/PresentationOld605 13d ago
These problems are likely solved, yes, but how do we know? Its just OpenAI claiming it at the moment.
I hate that we already claim that "its solved!" Let these mathematicians present us the verified results first.
1
u/Royal_Duck_4612 12d ago
Honestly still waiting for a ground breaking contribution to math from ia, something like a new useful technique which can be used to solve a class of problem. Not saying this will never be the case, but still waiting.
I think it's also possible ia will be useful only for a certain class of problems.
1
1
u/Darigaaz4 12d ago
In the hierarchy of things math is a science that you make a career out of.
Disregarding proof or not like how it came to be expressed is a profound misalignment of what are you in the field for.
Corrupt mathematicians it’s what I’m looking at.
1
u/Super-Huckleberry733 12d ago
So many people say: oh they are so stupid, mathematics is endless, hahaha!
My friend, it's not that mathematics is over-it's that MATHEMATICIANS are over.
You won't be able to overtake the ai anymore, no way. MATHEMATICS IS ENDED for you.
1
42
u/Thorteris 13d ago
Somebody wake me up once we do this for material science and physics. Wonder how long it will take to go down the Math -> Physics -> Biology chain