It's over for mathematicians. RIPhttps://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
>>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
Yeah it's definitely over for high school students.
>>16296101People like you should have gotten lobotomy
>>16296095Solving 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.
>>16296095>tiger mom hacks SAT format>castrated child scores 1140 instead of 1120>profit?
>>16296244
>>16296245What do you mean? He's praising the program.
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
>>16296246>old man yells praise at a cloudHe'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.
>>16296253Are you a troll or really just so stupid that you can't understand words?
>>16296256That's not a serious question.
>>16296095wake me up when AI solves goldbach conjecture
>>16296263AI essentially combs the trash and sewer of human speech. There is no possibility that any unsolved conjecture will be "proven" by a lucky computer.
>>16296095Huemans thought they were silver......they were Platinum and standing up.
>>16296181>AI will never be as smart as me!!!!lol lmaoYou people are being replaced even now and yet you still live in denial. AI is the future. Only retards think otherwise
>>16296358AI is nothing more or less than a toilet overflowing.
>>16296358You 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.
>>16296358Mmmmm yeahhhh replace me harder daddy
>>16296095The 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.
>>16296358>>16296462Why do you Eastern Asians worship AI? What is the cause of this unusual obsession?
AI is a failure
>>16296491What'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.
>>16296232The AI proves its results in Lean
>>16296362You sound like a retard that has zero idea about deep learning. The flood is coming.
>>16296497Because 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.
>>16296362ChatGPT is an LLM. The IMO program is reinforcement learning: Alpha Zero.
>>16296491Again, that's an LLM not Alpha Zero.
>>16296504No, I think the AI is right here and this is just sour grapes.
>>16296095From 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.
>>16296502>The flood is coming.Why should I care about a flood of internet shit when I can just close the tab?
>>16296095
>>16296606>Martin reeeesI bet he does
>>16296232>creativity>I ask for math principles to apply to trading strats and no one can/wants to answerFUCK YOU MATH MONKEY, YOUR TIME HAS COME
>>16296615You didn't ask for anything. Learn to say what you mean or die from hot lava in your throat.
>>16296251This means we're getting better at things.
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
>>16297134its 4chan, retard>my high-minded intellectual discussion with racism
>>16297470Not an excuse, retard.
>>16297500excuse for what?being the thing it always was?
>>16296490They worship efficiency and performance.I have absolutely no idea why people have this obession.
>>16297470>>16297507/sci/ used to be a lot better before all the "Trust the Science" folks showed up.
>>16296095Actually no, it's more a proof that IMO and euclidean geometry are pajeet tier mental mathLet 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, decreasingsee for yourself:https://imomath.com/index.cgi?page=functionalEquationsProblemsWithSolutionsso 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 timeSame 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 ChessBy 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
>>16296095It's not over for mathematicians until human+AI is no better than AI alone.
>>16296245What an ancient memer you are
Why do people now call neural networks "AI" and AI "AGI"? Smells fishy.
People doubt the abilities of the brain to this dayIt does wonderous things with little power, the next leap is whomever breaks the bandwith barrier between machine and manThe internet sped things up, but if people *become* the internet it will go much faster
>>16298225No, It's mathjoever.
>>16297591>"People" Found your problem.
