3 ms·

Are you aware of what frontier AI has done to mathematics in the last 6 months?

by akoboldfrying 8d ago

dprkh 8d ago
I suppose not. I am not a mathematician, and there has been too much drama to understand anything.
- ogogmad 8d ago
  Professional maths is sometimes seen as requiring IQ 200,000 creative problem solving skill. You have to imagine creative ways of solving problems which people have never solved before. Failing to do that means you can't become a professional. The subject has lots of theory to help with this, and is sprawling. LLMs can do it better now than most professionals can. It is therefore notable that mathematicians were once confident that their subject tested human ingenuity to its limit. The existential crisis of their field grew from 0 to 100 in only 6 months.
Culonavirus 8d ago
Lol no one cares. Most of that is smoke and mirrors anyways. Stokes was plagiarized. Most of these "breakthrough" solutions are actually present in the training data and in the prompts researchers and mathematicians input into ChatGPT themselves, prompts OpenAI then steals even when you don't agree to improve the model. PS: I use LLMs every day, basically let Codex write most of my code (after 15+ years of professional programming), these are amazing tools, smart in some ways, but completely demented in others. People just need to fucking stop being AI doomers and AI coomers. Is this technology great? Yes. Is it worth 10 trillion? Hell fucking no. If we get to a point where RSI is a thing, then maybe. So far it's not a thing and its not even close.
- akoboldfrying 8d ago
  > Lol no one cares. Most of that is smoke and mirrors anyways. Lol tell me you don't know any practicing mathematicians without telling me you don't know any practicing mathematicians lol.
chrisjj 8d ago
Turned it in to fuel for the OpenAI PR dept.?
- akoboldfrying 7d ago
  Yes. But (as a side effect) this has entailed resolving a number of conjectures that have been open for decades, only one of which (the Navier-Stokes blow-up) is attached to any controversy.

Are you aware of what frontier AI has done to mathematics in the last 6 months?

dprkh 8d ago

I suppose not. I am not a mathematician, and there has been too much drama to understand anything.

ogogmad 8d ago
Professional maths is sometimes seen as requiring IQ 200,000 creative problem solving skill. You have to imagine creative ways of solving problems which people have never solved before. Failing to do that means you can't become a professional. The subject has lots of theory to help with this, and is sprawling. LLMs can do it better now than most professionals can. It is therefore notable that mathematicians were once confident that their subject tested human ingenuity to its limit. The existential crisis of their field grew from 0 to 100 in only 6 months.

Culonavirus 8d ago

Lol no one cares. Most of that is smoke and mirrors anyways. Stokes was plagiarized. Most of these "breakthrough" solutions are actually present in the training data and in the prompts researchers and mathematicians input into ChatGPT themselves, prompts OpenAI then steals even when you don't agree to improve the model. PS: I use LLMs every day, basically let Codex write most of my code (after 15+ years of professional programming), these are amazing tools, smart in some ways, but completely demented in others. People just need to fucking stop being AI doomers and AI coomers. Is this technology great? Yes. Is it worth 10 trillion? Hell fucking no. If we get to a point where RSI is a thing, then maybe. So far it's not a thing and its not even close.

akoboldfrying 8d ago
> Lol no one cares. Most of that is smoke and mirrors anyways. Lol tell me you don't know any practicing mathematicians without telling me you don't know any practicing mathematicians lol.

chrisjj 8d ago

Turned it in to fuel for the OpenAI PR dept.?

akoboldfrying 7d ago
Yes. But (as a side effect) this has entailed resolving a number of conjectures that have been open for decades, only one of which (the Navier-Stokes blow-up) is attached to any controversy.