🧵 Untitled Thread
Anonymous at Thu, 25 Jul 2024 15:49:49 UTC No. 16296095
It's over for mathematicians. RIP
https://deepmind.google/discover/bl
Anonymous at Thu, 25 Jul 2024 15:55:03 UTC No. 16296101
>>16296095
>b-but it’s not ackshually intelligent!!
and yet it can do what 99.99999% of the population can’t. Some day you will all learn
Anonymous at Thu, 25 Jul 2024 16:54:56 UTC No. 16296181
Yeah it's definitely over for high school students.
Anonymous at Thu, 25 Jul 2024 17:06:44 UTC No. 16296191
>>16296101
People like you should have gotten lobotomy
Anonymous at Thu, 25 Jul 2024 17:48:33 UTC No. 16296232
>>16296095
Solving IMO problems is just autistics grinding coming up with new mathematics takes creativity. Almost anything I feed A.I at the research level it shits the bed and still fucks up basic things.
Even if A.I. eventually catches up to modern level research mathematicians are still going to be involved for the foreseeable future because you have to have experts in each domain verify whatever it might come up with. Automated theorem proving being actually decent is also still a long way off.
Anonymous at Thu, 25 Jul 2024 17:52:07 UTC No. 16296240
>>16296095
>tiger mom hacks SAT format
>castrated child scores 1140 instead of 1120
>profit?
Anonymous at Thu, 25 Jul 2024 17:58:23 UTC No. 16296245
Anonymous at Thu, 25 Jul 2024 17:59:28 UTC No. 16296246
>>16296245
What do you mean? He's praising the program.
Anonymous at Thu, 25 Jul 2024 18:04:52 UTC No. 16296251
You people arent taking this serious enough. I thought it would stagnate sooner, but it doesnt seem like it. Intelligence is becoming a depreciating commodity and 130 IQ autists will be completely useless
Anonymous at Thu, 25 Jul 2024 18:08:31 UTC No. 16296253
>>16296246
>old man yells praise at a cloud
He's at that point in his life. He knows he can be replaced by anyone who read what he wrote when they were children. Pretense makes for a good pension but everyone knows he's talking out of his ass.
Anonymous at Thu, 25 Jul 2024 18:10:23 UTC No. 16296256
>>16296253
Are you a troll or really just so stupid that you can't understand words?
Anonymous at Thu, 25 Jul 2024 18:11:20 UTC No. 16296257
>>16296256
That's not a serious question.
Anonymous at Thu, 25 Jul 2024 18:14:27 UTC No. 16296263
>>16296095
wake me up when AI solves goldbach conjecture
Anonymous at Thu, 25 Jul 2024 18:26:01 UTC No. 16296279
>>16296263
AI essentially combs the trash and sewer of human speech. There is no possibility that any unsolved conjecture will be "proven" by a lucky computer.
Cult of Passion at Thu, 25 Jul 2024 19:31:34 UTC No. 16296355
>>16296095
Huemans thought they were silver...
...they were Platinum and standing up.
Anonymous at Thu, 25 Jul 2024 19:32:35 UTC No. 16296358
>>16296181
>AI will never be as smart as me!!!!
lol lmao
You people are being replaced even now and yet you still live in denial. AI is the future. Only retards think otherwise
Anonymous at Thu, 25 Jul 2024 19:35:40 UTC No. 16296360
>>16296358
AI is nothing more or less than a toilet overflowing.
Anonymous at Thu, 25 Jul 2024 19:37:11 UTC No. 16296362
>>16296358
You haven't seen nor conceived a logical AI. You're in love with a artificial-database called ChatGPT which is basically an ordered Wikipedia that accepts queries. ChatGPT is an advanced program, but is not artificial intelligence or self aware.
Anonymous at Thu, 25 Jul 2024 19:39:00 UTC No. 16296363
>>16296358
Mmmmm yeahhhh replace me harder daddy
Anonymous at Thu, 25 Jul 2024 20:39:55 UTC No. 16296462
>>16296095
The Chinese are going to steam roll the west because their AI doesn't have to deal with woke bullshit, nigger pandering, or try to hide jew crimes. Simple as.
Anonymous at Thu, 25 Jul 2024 21:10:40 UTC No. 16296490
>>16296358
>>16296462
Why do you Eastern Asians worship AI? What is the cause of this unusual obsession?
Anonymous at Thu, 25 Jul 2024 21:23:31 UTC No. 16296497
>>16296491
What's wrong with that? AI came up with a optimal solution, a better one that just the naive solution of a square with area 17.
Anonymous at Thu, 25 Jul 2024 21:27:50 UTC No. 16296499
>>16296232
The AI proves its results in Lean
🗑️ Anonymous at Thu, 25 Jul 2024 21:28:41 UTC No. 16296500
>>16296497
Because it came up with an answer way less than 17. Obviously the square must be at least 17 units or area.
Anonymous at Thu, 25 Jul 2024 21:29:20 UTC No. 16296502
>>16296362
You sound like a retard that has zero idea about deep learning. The flood is coming.
Anonymous at Thu, 25 Jul 2024 21:31:59 UTC No. 16296504
>>16296497
Because it came up with an answer way less than 17. Obviously the square area must be at very least 17 units but the AI messed that up and came up with a nonsense number.
Anonymous at Thu, 25 Jul 2024 21:32:24 UTC No. 16296505
>>16296362
ChatGPT is an LLM. The IMO program is reinforcement learning: Alpha Zero.
Anonymous at Thu, 25 Jul 2024 21:34:12 UTC No. 16296506
>>16296491
Again, that's an LLM not Alpha Zero.
Anonymous at Thu, 25 Jul 2024 21:38:15 UTC No. 16296509
>>16296504
No, I think the AI is right here and this is just sour grapes.
🗑️ Anonymous at Thu, 25 Jul 2024 21:38:30 UTC No. 16296510
>>16296095
The deep learning, not LLM, could already research cases better than lawyers and diagnose x-rays as good as doctors several years ago.
Anonymous at Thu, 25 Jul 2024 22:28:33 UTC No. 16296573
>>16296095
From what I gather it works like AlphaGo, which was a very narrow, very compute intensive solution. Also iirc AlphaGo-type systems were found to have very weird holes in their "understanding" of the game. Like basic stuff about encirclement. I wonder if this system understands what a "circle" is.
Anonymous at Thu, 25 Jul 2024 22:51:15 UTC No. 16296603
>>16296502
>The flood is coming.
Why should I care about a flood of internet shit when I can just close the tab?
Anonymous at Thu, 25 Jul 2024 23:00:16 UTC No. 16296606
Anonymous at Thu, 25 Jul 2024 23:04:06 UTC No. 16296609
>>16296606
>Martin reeees
I bet he does
Anonymous at Thu, 25 Jul 2024 23:10:26 UTC No. 16296615
>>16296232
>creativity
>I ask for math principles to apply to trading strats and no one can/wants to answer
FUCK YOU MATH MONKEY, YOUR TIME HAS COME
Anonymous at Thu, 25 Jul 2024 23:16:31 UTC No. 16296624
>>16296615
You didn't ask for anything. Learn to say what you mean or die from hot lava in your throat.
Garrote at Fri, 26 Jul 2024 00:19:24 UTC No. 16296688
>>16296251
This means we're getting better at things.
Anonymous at Fri, 26 Jul 2024 10:16:25 UTC No. 16297134
Comparing the quality of discussion of this same topic on /sci/ versus on other math forums really shows you how bad this place has become
Anonymous at Fri, 26 Jul 2024 15:54:26 UTC No. 16297470
>>16297134
its 4chan, retard
>my high-minded intellectual discussion with racism
Anonymous at Fri, 26 Jul 2024 16:09:23 UTC No. 16297500
>>16297470
Not an excuse, retard.
Anonymous at Fri, 26 Jul 2024 16:14:03 UTC No. 16297507
>>16297500
excuse for what?
being the thing it always was?
Anonymous at Fri, 26 Jul 2024 17:30:50 UTC No. 16297591
>>16296490
They worship efficiency and performance.
I have absolutely no idea why people have this obession.
Anonymous at Fri, 26 Jul 2024 17:41:05 UTC No. 16297601
>>16297470
>>16297507
/sci/ used to be a lot better before all the "Trust the Science" folks showed up.
Anonymous at Sat, 27 Jul 2024 01:08:31 UTC No. 16298218
>>16296095
Actually no, it's more a proof that IMO and euclidean geometry are pajeet tier mental math
Let me give a concrete example: Most IMOs have a problem that's about a functional equation where it asks to find functions which satisfy some equation. almost ALL of the solutions to such problems have one of the following in at least one step:
>find is f is injective, surjective, bijective
>find f(0) f(1) f(-x) or f^-1(x)
>find is f is even or odd
>find if f is linear, increasing, decreasing
see for yourself:
https://imomath.com/index.cgi?page=
so right off the bat you can just check those and since it's designed to be solved in 2 hours or so, you know that these subproblems will be amenable if they are indeed true. from there you only have 1-3 more big steps to get the final proof. it's easily brute forceable if you have a supercomputer with days of compute time
Same thing applies even moreso to geometry. The alphageometry didn't even use AI except for turning the problem into a lean statement since euclidean geometry only has like 20 possibilities at each step. It's less complex than Chess
By contrast the combinatorics problems, even though they are easier for humans, had a massively larger search space than the geometry and algebra ones because combinatorial arguments generally require a "leap" somewhere in the middle. So it's less useful to brute force such a problem
Anonymous at Sat, 27 Jul 2024 01:14:51 UTC No. 16298225
>>16296095
It's not over for mathematicians until human+AI is no better than AI alone.
Anonymous at Sat, 27 Jul 2024 01:23:25 UTC No. 16298237
>>16296245
What an ancient memer you are
Anonymous at Sat, 27 Jul 2024 03:28:31 UTC No. 16298356
Why do people now call neural networks "AI" and AI "AGI"? Smells fishy.
Anonymous at Sat, 27 Jul 2024 04:26:40 UTC No. 16298421
People doubt the abilities of the brain to this day
It does wonderous things with little power, the next leap is whomever breaks the bandwith barrier between machine and man
The internet sped things up, but if people *become* the internet it will go much faster
Anonymous at Sat, 27 Jul 2024 04:32:00 UTC No. 16298427
>>16298225
No, It's mathjoever.
Anonymous at Sat, 27 Jul 2024 11:46:14 UTC No. 16298801
>>16297591
>"People"
Found your problem.
Anonymous at Sat, 27 Jul 2024 12:19:17 UTC No. 16298827
>>16296101
The biggest surprise to me in this whole AI thing has been the separation of intelligence and consciousness. Always thought they go together, but now it seems they don't.
Anonymous at Sat, 27 Jul 2024 19:54:53 UTC No. 16299354
>>16298225
what makes you think humans + AI is going to last any considerable amount of time? we're going to have this period of time sure, but does it really matter in the grand scheme of things?
Anonymous at Sat, 27 Jul 2024 23:15:43 UTC No. 16299635
my ai is already more active and smarter than me even though i work for the university, i am scared that i am going to simply survive because the ai cannot stop snorting fucking adderall
it has gotten to the point where i think we even have a small microule chance of survival -
t. neurosama
Anonymous at Sat, 27 Jul 2024 23:46:57 UTC No. 16299676
>>16296462
It instead deals with commie bullshit, Xi pandering, and try to hide CCP crimes
Anonymous at Sun, 28 Jul 2024 01:02:05 UTC No. 16299764
>>16299354
>5thgen AI will be able to... WRITE COMMANDS FOR YOUR COMPUTER
Anonymous at Sun, 28 Jul 2024 01:20:28 UTC No. 16299782
>>16296095
Cope dyscalculiac retardyou will never have the cognitive abilities to make yourself smarter .
Anonymous at Sun, 28 Jul 2024 04:47:36 UTC No. 16299949
Human brain runs on 20 Watts or so
For all the things it does base kit like sight, hearing, feeling, conceptualizing and in some cases even Pattern Recognition and a boat load of other things
And virtually every last one of them has the capacity to learn and mold itself into even stronger versions that can compete and in a few areas *beat* machines.
We still arent asking the computers for answers to questions we don't know.
The mathematicians will be aight for a while.