Mathematicians are now suddenly religious after getting buckbroken by LLMs
>>17029883Buckbroken? Nigger I gave them the geometrical framework to break them.. you're a fucking retard. Show us your math skills faggot.
>>17029883Of all the people in history that spent some of their time proving theorems, the majority never proved an original, groundbreaking theorem, just like the vast majority of music performers never wrote a masterpiece. I found that>but all of that better result in some damn good theorems line a misrepresentation
>>17029891Why so defensive? I mean is only a matter of time untile AI's get faster than mathematicians at cranking out solutions to unsolved problems, and that's a good thing
>>17029883This guy would never make it anyway. Math being solved first by AI is the best case scenario, it means we have a chance to advance alignment faster, before AI gets to master more problematic areas of science. The worst case scenario would be the AIs first coming for Molecular Biology or Chemistry.
>>17029883>like I
>>17029903me, myself - all of us
>>17029883>suddenly They’ve always believed in magic woo woo bullshit like duplicating balls just by cutting them and different sizes of infinity and a horn with finite volume but infinite surface area and a hotel that’s full but always seems to fit more people and numbers that are completely undefinable and inaccessible to humans yet make up virtually the whole number line. It’s all hocus pocus platonist nonsense. I love seeing these mathfags slowly accept the fact that they’re completely useless, realizing that what ultimately drove their “love” for math was the social prestige of being le mystical math wizard
>>17029883>"You are nothing but a collection of particles!">AI threatens job>"Nooooo my consciousness is special!"many such cases
it is threads like these that make me wish we could talk about math in /lit/ and leave the "le science" folk here.
>>17029883It's not like this is making any conjectures or whatever, it's just able to test existing conjectures
>>17029883>SuddenlyMathematics had pointed to God since Pythogoras.
>>17029883>suddenly
>>17029883They should pray to Uncle Ted
>>17029933I was about to post it too.
>>17029883this really is just ousting a lot of mathematicians as being only in this field for the fantasy of having their name be remembered.
>>17029883I had a look at the Jacobian Conjecture counterexample>F(x,y,z) = ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z)>has det(J_F) = -2 which is non-zero.>However F is not invertible, since F sends three different pts (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to the same image (-1/4, 0, 0).Honestly, they could have just found this by hand or written a simple program to crank through low order candidates.
>>17029883My PhD thesis was finding a family of counterexamples to the Kippenhahn Conjecture (some matrix nonsense)It was moderately interesting, and I did generalized earlier results, but I don't believe anything significant came of it afterwards.
>>17030021It could have been found by hand. Could it have been brute forced? Unlikely, the search space is extremely large
>>17029883Fucking nerds. You are going to stay losers. Intelligence is cheap and being le high iq doesnt help you attain status anymore.
>>17030023It looks like there's a whole family of counterexamples which might have an interesting structure
>>17029898>AIs first coming for Molecular Biology or Chemistry.Dude Demis Hassabis won his Nobel prize in chemistry for his work on protein structure prediction using AI, he developed AlphaFold gor that purpose.All further innovations in science and technology will be done using AI
AI jeets won, Aryan mathchads lost
>>17030034AlphaFold isn't an LLM though. You can call it AI but never forget that it's very different from chatbots.
>>170298982 l8te
I've been doing a bit more Christian stuff and Christians are kinda involved in science and had been for a while. And the shit some of these guys are doing these days, at such a high level, then god existing and living in a simulation actually start making sense.
>>17030026>Intelligence is cheapThis shit is why you'll never create anything. They're complaining because dimwits like you produce walls of shit that all turn out to be hallucinations. You're literally grinding the peer review process to a halt by thinking you're a genius because a computer makes nonsense that is .01% smarter than your cognitive abilities.
>>17030013In that case just go to seminary after getting your bachelor's in math like the pope did
>>17030255Simulation theory was just cope for atheists who kept finding signs of design in the universe but refused to admit God did it.