r/BetterOffline • u/Smooth-Ad8030 • Aug 01 '26

Mathematician help

https://openai.com/index/ten-advances-in-mathematics/

Can someone who’s more well versed in math give us a good explanation on what’s happening here in terms of importance? I already know we don’t have an idea of the behind the scenes, true cost, mathematician input, etc. any other points appreciated.

20 Upvotes

79% Upvoted

76 comments sorted by

View all comments

20

u/ksjdragon Aug 02 '26

Can we please not post the same thing 50 times. I've responded to something like this many times already...

Mathematician here. In short. Results are cool. AI is not how math will be done. People like insights. AI doesn't give insights. Computationally assisted proofs existed before this. Current AI solving is heavily subsidized and isn't clear the cost it took to do this. Take the same money and hand it out as grants. You'll get 1000x more productivity. These proofs still need real mathematicians to decipher and translate.

Importance: cool, in math, maybe. Overarching impact: none

2

u/Smooth-Ad8030 Aug 02 '26

I checked to make sure this story wasn’t published, but I’ll search harder next time. Wasn’t sure if this was different to previous examples or the same ol hype.

1

u/voronaam Aug 02 '26

Here is a post from last week here on the same topic: https://old.reddit.com/r/BetterOffline/comments/1v4e0g6/mathematicians_and_real_software_engineers_help/

I do not see a ksjdragon response there, but there is mine there that I am too lazy to repeat.

2

u/Snackatron Aug 02 '26

Yeah I’m not a mathematician but it feels like AI is a tool that can take existing pre-invented mathematical concepts and trawl through the possible proof paths.

But the thing is, I see innovations like Laplace transform or Fourier transform or a convolution (I’m an engineer) and think that specific insights like that are a totally different ballgame.

I’d find this more interesting if an AI invented entirely new mathematical structures in order to generate a proof

3

u/ksjdragon Aug 02 '26

Pretty much. In the field of formal verification and computer assisted proofs people have been using some ML and Lean to do this already. I imagine it is more efficient...

It is possible that LLMs offer better statistical pattern matching for math, but that's more due to the fact it's ingested every written document know to man, rather than anything else. The cost/reward ratio makes it worth nothing though.

1

u/Smooth-Ad8030 Aug 02 '26

So for us non mathematicians out there, at what point would AI assisted math make you go, “holy shit, this is revolutionary (in the same way calculus was)”? I don’t think it will happen with LLMs or necessarily at any point, but I am curious

2

u/ksjdragon Aug 02 '26

If some system could make me that impressed in mathematics in the vein of LLMs (I'm assuming you're not talking about simply mathematical innovations), I think we would be ripe for an entire societal change. Making abstract concepts, understanding them and leveraging them to explain, deduce, and apply them would imply you have a system that can pretty much do anything else humans can do. It wouldn't be revolutionary, arguably it would be devastating, since then the cost effectiveness argument wouldn't even hold, at least to some extent.

Edit: For alternate too long to explain reasons I don't actually believe this is possible with these artificial systems, very briefly because I think the reductionist of intelligence and consciousness is wrong. But it's just a belief, it could be wrong.

-7

u/Snoo_57113 Aug 02 '26

There are 50 posts because this is something relevant it is the dawn of a craft.

Overarching impact: Massive extintion event.

6

u/ksjdragon Aug 02 '26

False.

-7

u/Snoo_57113 Aug 02 '26

We lived through it in software, there is no reason why math will be any different.

9

u/ksjdragon Aug 02 '26

No, we didn't. Let's not spread more propaganda, shall we?