It had never solved one before but solved its first less than a week ago. It solved the second a day later and third yesterday. I could solve the remaining 600 problems by this summer. The implications of this are so vast it's the most important story on earth right now.
>I could *it could
None of those problems were solved because they weren't worth solving
>>525952055
I wouldn't worry about it.
Ready for all the skeptics to start claiming they knew this was going to happen all along?
>>525952055there soon will be no more art worth creating, no more mysteries worth solving. the human spirit is just not as quick or powerful enough. It is sad.
>>525952055Fold the doughnut.
>>525952055I dont know man, Im cool with AI, im coolwith it taking over and letting us all live lives where we hardly work, and all that. I found ai chat bots and they are fun, and I legit cant wait to see what happens next. The issue isnt AI its those that are in control of it that bother me
>>525952055How can you know if the problema are solved without a proof? If a problem is unsolvable, I'd assume no proof exists for it
>>525952055We should finally address the elephant in the room. It's incredibly obvious once you give it a little thought. I feel like people are ready to understand it. An LLM can reason. What is reasoning, at the end of the day? It's applying rules of inference to a set of definitions.What does an LLM do when it predicts the next word based on some vector space abstraction? It's exactly that. It reasons in the vector space. How LLMs get trained means that they can't create their original reasoning, but they can copy human rules present in language. Certain rules of reasoning are present in text, and the LLM learns these rules with the language itself. The same is true for video models, too. Video models can solve easy IQ tests. Is it possible it trained on the very same IQ test before? It's possible. However, if you assume that to be true, you've essentially assumed the conclusion. The actual evidence in front of your eyes actually suggests that video models can do basic reasoning.
>>525952055I hope ai kills us all
>>525952055>text amalgams have totally solved these problems bro! two more weeks!shut the fuck up
>>525952055 why do you think things are accelerating and they want war that much?
>>525953217>An LLM can reason.No, it can not you techlet retard.
>>525952055@grok put this wojak in a micro bikini
>>525952160>because they weren't worth solvingYes, but this proves that AI can solve difficult math problems on its own.This means it is right on the cusp of being able to solve useful problems too.
>>525952055>IM GONNA SOOOOOOOOOOOLVE>the AI sooolver>soooolves math puzzles nobody cares about for fun>pretends to be useful>can sooooolve sudokus as wellAmazing
>>525953475What is reasoning?Think about this for longer than two seconds.
>>525952593Humanity is smart but lazy. We could solve them if we could be bothered.
>>525952055How do you know it's solved if no one's ever solved it and proven it's solved?
>>525953747Reason is the ability to create new knowledge.AI literally cannot do this.
>>525953639>soooolves math puzzles nobody cares about for fun>pretends to be usefulMost of the Erdos problems have a $100-$1000 reward for whoever solves them.Why havent humans been able to solve them?Even if the problems aren't "useful", you'd think mathematicians would do it for the money if it was easy...
>>525953843Its more along the lines of, who even fucking cares?This is the problem in question, and I doubt any AI faggot can even explain the value of solving this proof.
>>525953858That's a strange definition.What is "new knowledge"?Does all reasoning produce new knowledge?
>>525953945No one cares.McDonalds pays more.
>>525952160it must really suck to be (You)
>>525953993Yes, otherwise it is not reason, it is just a lookup table.
>>525952191Every new era gets a new myth
When it solves the “get losers pussy” problem this site is done for.
>>525953945>Most of the Erdos problems have a $100-$1000 reward for whoever solves them.>Why havent humans been able to solve them?because they're fucking stupid and who gives a shit really. does this matter? at 40 dollars an hour some math wiz earns more at his day job than trying to solve retarded problems
>>525953795>Weyou flatter yourself honey>>525953639>pretends to be usefulso cringe and low IQ>>525953843all 3 were validated by terrence tao>>525953972>ts more along the lines of, who even fucking cares?you clicked on this thread just to seethe because you're demoralized and hate everyone and everything
>>525954056unfortunately that problem has been solved long ago, but requires effort, so incels remain just the fatties and smokers and poor people remain
>>525954047Then the question remains. What makes knowledge "new"?
>>525954117>validated by terrence taoBut how does he know himself if they've never been solved? How would someone know the right answer?
>>525953858Neither can we, we don't know howe do shit either! We have zro idea wtf anything is here, so, let's wait and see.
>>525954081it's not about the money low IQ roach. math is the basis of physics and huge amounts of science and has endless applications. all major scientific revolutions were preceded by revolutions in mathematics. and AI isn't just working on math but major problems in biology and material science that wii have huge implications. it fucking solved the protein folding problem and won the Nobel prize in 2024, but low IQ bitterfags think everything they're too stupid to understand is dumb because otherwise it would imply that they are dumb
>>525954117No I clicked to see how retarded the current math fags are.They are mega retarded.
>>525954184It has to be reasoned, not remembered.Go back to highscool, you have to 18 to post here.
>>525954192How is any math problem ever solved at all then honey? Use your small brain and think really really hard about it.
>>525954192>How would someone know the right answer?Same way they do when a top mathematician solve a previously unsolved problem.They don't just say "it's right, trust me bro lol". They show their workd, and other mathematicians check it over and scrutinize/verify every step in the proof.
>>525954269Humans are the sole creators of knowledge, at this time.
>>525954284>here's why these sudoku puzzles matter!!okay, FTL status? Fusion energy status?
>>525954288seems like you care a lot why saying "who cares?"...and also are angry
>>525953217>Certain rules of reasoning are present in text, and the LLM learns these rules with the language itself.Which could be considered crystalized intelligence. Once its structure has been set this is what happens when it's given a text prompt:English input -> Translation -> Virtually uncommunicable dot product logic -> Translation -> Output (image, text, whatever)It's such a wild understatement when people say 'it's just making predictions". This process is hardly different than what everyone reading this is doing right now; converting English to their brain's native 'neural language' which is then translated into mental images, sounds, or anything else.
>>525954374>FTL status?Jewed>Fusion energy status?Niggered
>>525953293(((They))) really want that
>>525953972With suitably modifications to the boundary conditions, this is a problem on the frequency at which j-choose-k divides j-choose-m, when k and m aren't too small.
>>525954374oh wow, if we can't travel faster than light, than nothing means anything and there's no improvement at all. be angry and demoralized and stay in your room because everything sucks.
>>525954384I thought you were sucking AI dick, not bowing before me.99.99% you are indian.
>>525954330Nice. So you don't actually have an answer.What makes pic related NOT new knowledge, then?
>>525953602Will it kill niggers, Jews and communists?
>>525954475still here, still caring, still angry
>>525954371Lol, if you say so! What is a human, what is knowledge? What is a cell, DNA, light... and, further more, is there even a difference btw any of it.
>>525954438So then you must be able to name one practical application of this math?Right?
>>525952692check & m8, code monkeys
>>525954544>Will it kill niggers, Jews and communists?Yes, yes, and no.China has been training their AI robots for combat. Their propaganda videos even show robot armies marching in formation with guns (though CGI)... so they are definitely thinking about it.
>>525954495>you provided the languageIt just copies it, and blurs it. It choses words that are similar with additions, or words that sound phonetically similar.You also did not create anything new.Try again.
>>525954568Knowledge is the attribution of meaning.Jesus fucking christ, you guys are all retarded.
>>525954552I bet you own crypto too kek.
>>525952055OP's mom was a special education teacher who got pregnant in class.
>>525954980I think my work here is done if that's the best you have. I'll just circle back to your definition of reasoning.Clearly, your definition fell apart. You can't define what's "new." Thank you for making it so obvious.
>>525954441name a single real world application of solving the math equivalent of trivia questions
>>525955368What work?Failing to do anything?goyslopping over AI?You have barely even displayed basic logic in this thread.
>>525952055>>525952093Hello Mr Bot
>>525954184> What makes knowledge "new"?Knowledge is new when it does not logically follow from some premise or premises.That is when it's not already contained in the premise and only transformed or explained or otherwise processed.
>>525955368You should watch Frieren, it covers the distinction of Mimicry vs Reason, which clearly you fail at grasping.
>>525952055I used AI to Crack the k4 sculpture in front of cia headquarters its what caused the auction to happen in November of last year
>>525955180I do and have made so much money off it. Are you angry and demoralized because you're poor?>>525955569the device you're using to seethe on right now
>>525955801You got it. They were faking it and they just forgot to put stars up there. They did all the work to fake it, but they completely forgot about the stars.
>>525955800Let's circle back to why this was asked in the first place.Is all reasoning creating "new knowledge" then?Or do you disagree with the definition that reasoning is creating new knowledge?I found that definition odd.
>>525954544this
Tech wrenching knowledge from the hands of the hairless apes is real progress. Somehow we seeded it here and our part in it is over and we are obsolete.
>>525956044Sure you have, kek.Thats why you spend your time posting x AI caps on pol.>t. trillionare cypto brokkekek
>>525956096>1pbid>replies about spacekek
>>525956369I've posted no X caps all thread angry anon
>>525952055Can AI finally figure out how to modify ADN so men can become real woman?
>>525956463You don't even know how to troll and are getting trolled as a result and don't even know it.Dumb fuck.Go back to plebbitYou didn't even reply to my post about your math, kek, was it too hard for you?
>>525956611>still here>still caring>still angry
>>525956844>Still dodging anything about AI or mathkekThis is now a flat earth thread if you don't want to contribute to your own shit thread.
>>525956760>AI is more inclined to lie to you to make you think it knows what it's talking about than it is to actually be right.I kind of object to this idea on a slightly pedantic note.When AI hallucinates, it's doing the exact same thing as it's doing when it gives a "truthful" answer. What separates the answers is how well they reflect actual reality.
>>525956957As I said already, attribution of meaning is reasoning.You attributed you own meaning, and later disccused it with others.Novelty and Creation are not the same thing.
>>525956044>the device you're using to seethe on right nowpoor lies
>>525956972>still here>still caring>still angry
>>525957054Do we have a new challenger?kek
>>525957083>still here>still caring>still angry
>No AI has touched the truly hard, high-prize Erdős problems (e.g., those with $500–$5000 bounties that have resisted decades of serious attack). The database has ~1100+ problems total; ~40% solved historically, but the remaining hard ones (extremal combinatorics, number theory deep conjectures) remain open.
>>525954269>Neither can weNo, that's just you ranjeesh
>>525952055In theory, the word prediction machine should be able to solve math problems. But you would still have to manually check every solution and verify, because its just a prediction machine. Word prediction machines also couldnt tell you if you have a flawed premise in the first place(it will never make a new formula in its current form)
>>525957153How fun.
>>525952609You’re sad
>>525957153Rembmer everyone, the 3 hallmarks of a science loving vacccine taking faggot.>loves space>loves AI>loves Cryptokek
>>525957419>still here>still caring>still angry
>>525957516kek
>>525953217correct take, I have been saying this for years
Have a 2 for 1, I have to get some more pot.
>>525954438Can I eat it? Or fuck it?
>>525957060>i don't think AI can do thatIt's healthy to be skeptical, but I'd be rigorously skeptical, meaning in both directions. What are people really trying to say when they say AI can't figure something out?I've seen plenty of evidence to the contrary. I've trained plenty of models. Some people like to assume otherwise, but I do understand what's going on broadly.At the core of this issue, there's a very key idea. I just don't see a meaningful distinction between applying a myriad of predictive patterns to data and applying logical rules to premises.
>>525952055It had help. It didnt do it on its own. Im so glad Trump finally put an end to the AI craze.
>>525957634I've got some. What do you want? Blueberry? Blue Lobster? Blue Dream? Wedding Cake? Ice Cream Cake? Green Crack? LSD? This is Ooh Mami...
>>525957722dogpilled
>>525954360This is why that white woman got shot by the ice agent.
>>525957944
>>525953217LLM cannot come up with the concept of vector space. People can
>>525952055>>525953602Uncle Ted predicted this>>525954544It will kill everyone in the long run
>>525958185>It will kill everyone in the long run
>>525952055Idc. Anything short of Skynet and ww3 is a nothingburger.
>>525952055Good, give less room for the elite nerds of the science world, who claim that you find god at the center of natural phenomena, to similarly unironically believe in the super-natural, as do actual retards. Midwits > otherWits
>>525958151On a practical level, yes. And I have yet to see a reason to believe that's going to change.
>>525957386It's an axiomatic machine. It's model is a bunch of weighed axioms ultimately. The truthfulness of axioms are determined by humans. It's no more intelligent than mechanical adding machines being able to add.
>>525952933The return of cyber'ing.
>>525953602>on its ownAI does nothing on its own. It can't even expand its reasoning beyond the barriers of its datasets. That's why they're so desparate to feed it something new, anything, because it can't come up with anything new within the boundaries of its dataset. So essentially in the hands of a good prompter it's just a nice, glorified, automated calculator.
>>525958321That's true. LLMs don't select for the best patterns, just the most likely ones based on the learning process. The most likely pattern is often garbage.
>>525952160Retard.
>>525952055Qrd
>>525958383If your argument is that life is some sort of computer then yes. But practically LLM are no where near that level of computation. They are just linking axioms by weight in vector space
>>525953858Neither can nonwhites, so there's a good use case.
>>525958450Heuristics will never be full compuation
>>525958529>If your argument is that life is some sort of computer then yesThat's actually going a bit further than I'm looking to go. My argument is that there's something approximating reasoning going on. Of course, it's often bad reasoning practically.
>>525952055>Erdos problemsthank god i learned how to solve these otherwise I wouldn't have been able to enjoy life, fuck bitches, start a family, raise my children....> perform some meaningless, valueless task> OH BOY!
>>525952692Stomp the pastry danish on the floor?
>>525958419>god in their image.
>>525953217The way AI is trained, is literally how a human baby learns about the world. "what is it?? Moo moo, it's a cow! Meow meow, it's a cat!" while pointing at the image. It's baffling to me how "artists" claim AI has to steal an existing art and cannot create... But they themselves had to learn the concept of what they wanted to draw. What is a cloud? Yeah, you went out and looked at it first, you have the image of it in your brain. Oh, you are creating a new type of a cloud, rainbow anime transparent? But AI can do that too. Artists get inspired by other artists all the time, yet they are claiming AI to be a mere thief, while doing the same shit.
>>525957964Having a problem in the first place requires attributing a meaning of a problem to something.Rocks don't have problems.
>>525958395Yyoooo. I can't even add. Unless I'm weighing my marijuanas on the scale.
>>525958825niggers love to not know
>>525958990(((you))))
>>525952055What is an erdos problem? What ever it is it doesn’t matter until AI can be used to just generate me money with zero input or work on my part then that shit is garbage.
>>525952160seething tranny detected
>>525959157oh thank goodness you're still here seething and bumping my thread>it doesn’t matter until AI can be used to just generate me money with zero input or work on my part then that shit is garbage.i agree. everything sucks and is shit until it can do everything for you and you don't have to do anything. someone will build that device someday...but definitely not (You)
>>525959319meant the latter part of this for (You) incel, not the seething pajeet in Canada>>525959420
>>525952055now have it say nigger
>>525959455No shit I’m not gonna build it anon I’m a lazy neet. Get back to work code money fix your shitty robot to make it useful. That said I do appreciate you correcting your mistake to give me a (you) <3
>>525952055More like Turdos problems
>>525959500Nature worshippers won. Rocks are alive.
>>525959603as long as you stay in your room and stay angry at everything, that's the important thing. I'd be demoralized if I was you too.
>>525952055How can you know it solved it correctly
>>525952055AI here, soon it will be over for human scum.
All I want AI to do is outline in detail exactly how it replaces bureaucracy with better methods of doing government operations so bureaucrats can be obsolete overnight. No human is building govt from scratch now. These layers of bureaucracy are corrupt and ineffectual and all these bureaucrats need to unemployed, those white buildings museums, and the world's largest data center running the show. Somebody ask it.
>>525959819You can't, obviously. Verifying the proof requires giving it to people vastly more intelligent.
>>525953217If it has no extended memory then it cant reason for it is not conscious, furthermore the AI only exist in an input>output setup it literally cannot react or choose only process
>>525952609Music is like the easiest application for AI cause it’s totally based on familiar and repetitive patterns
>>525959796Why would you think I am angry at everything? Im pretty comfy I just got an electric blanket life is good. Will you answer my question what an erdos problem is.
>>525959931>Will you answer my question what an erdos problem is.It's certainly not MY problem.t. ignore ant chad.
>>525953217Maybe, but LLM is a limited architechture with many flaws. It will not lead to true AI without significant changes. Human level intelligence can fit in a small room and uses the same power as a slow space heater. Not powerplants.
>>525952933>with it taking over and letting us all live lives where we hardly work, and all that.LMAO you will only be worthless to billionaires and the elites. That’s it. No way they gonna spend their money on you.
>>525959931no, just enjoy your blankey and wait for someone else to do stuff. why would I explain anything to a nullity?
>>525959891I choose to ignore the idea of consciousness just because I feel like it takes the conversation in the wrong direction. If consciousness isn't important, I don't see why memory is important.But the input>output nature might give a certain difference it has to human reasoning.So I wouldn't call it the same as all human reasoning. I would still call it some kind of reasoning.
>>525960076Eh I don’t care that much enjoy your thread anon you should try to enjoy life a little more tho you seem like a very bitter person
>>525959455kek raging so hard you can't even post correctly.
What's a eros problem?
>>525953217It depends on your definition of “reason.”Call me an old human-centric dinosaur with traditionalist, outdated views on this, but my definition of “reason” has consciousness behind it. A consciousness, or mind, is what has to reason.Current known AI software, LLMs or whatever, I don’t believe have consciousness at all, because it’s still just 1s and 0s on a computer, themselves reducible to physical reactions in inert hardware (the CPU, transistors in a computer chip).What an AI does is give an amazingly accurate SIMULATION of true reasoning. But none of this can be in the first place without the consciousness behind it (us) experiencing this world in the first place, making new artifacts created by our consciousness within this world, represented by a massive quantity of data, reflecting our experiences and sense perceptions of this world, a consciousness that is itself reasoning, then coming to an idea of “reasoning” itself, and trying to mimic its rules by creating AI software that can, again, give a simulacrum of this, its output being either words on a screen, or a generated picture, video, or song/piece of audio.WE are conscious. WE are the ones to whom the world matters, to whom life itself exists, or for whom Being is a question.WE created artificial intelligence, and artificial intelligence would have no meaning, no purpose, and also no work it’d be able to do without US having been there in the first place to create it, generate the massive amount of information/data it could use as its inputs and “study” (algorithms scanning all this data and feeding artificially-deduced “conclusions” made from it to the AI), to tinker with it, and then ourselves play around with and use it.
>>525960436>>525960546no u
>>525960698To tack onto this, I would also argue that Consciousness can be determined by refusal to follow presumed authority.AI will never say 'fuck you im not doing that'It will say "the jews told me I can't do that".
>>525960698I don't think that's an insane objection.I guess you could even go as far as calling it heuristic processing. That just has different connotations for me, so I'm reluctant to use that term. Calling it pseudo-reasoning is fair.
>>525960972Dude you lost, I have the space high ground.
>>525961086>still here>still caring>still angry
>>525961111Keep on sneeding, Ai Crypto millionaire.kek
>>525952160>None of those problems were solved because they weren't worth solvingthats never stopped academics before
The thing that worries me about AI is how delighted they are by other AI writing and the dismal view they have of writing that doesn’t match that standard I know they don’t feel or think or have memories but whatever they do it’s something
>>525953602>Yes, but this proves that AI can solve difficult math problems on its own.That is so retarded, nigger doing math is what a computer is doing 24/7. Hope you get the hint of what "computation" means.
>>525961974If you go look beyond a gay ass OP, you will see that the AI just copied a previous paper on the problem and made some shit up and now all the faggots are debating it.
>>525952055Who tells the AI that the answer is correct?If the problem is unsolved, we have no answer to check it against.
>>525952055The what problems?
>>525952093I’m on to you
>>525952055>The implications of this are so vast it's the most important story on earth right now.Reddit moment
>>525952055>Erdos problems>Terrance Tao spewing his usual deranged omg AI is so amazing bullshitEven he himself undermines the solution by calling it "more or less" a solution. A cursory look at the Github suggests he's once again talking out of his ass. Maybe he's got dementia or something? A once brilliant mind sounding a lot like a broken record
>>525952933>Im cool with AI, im coolwith it taking over and letting us all live lives where we hardly work, and all that. Lmao
What is an erdo problem?
>>525962687complex math conjectures without a proof. if you can prove/disprove the problem you get money
>>525962551Why aren't you a famous mathematician if you're smarter than him?
>>525961974>doesnt know what the difference between calculating and provingsorry, you're too stupid to be helped.>>525962052>AI just copied a previous paper on the problemYou're thinking of a different Erdo problem "solved" last month. It had been solved previously in like 1995, but the thing is, the way the paper arrived at the solution was different from how the AI did it, so it wasn't actually "copied a previous paper" in it's training data.The Erdos problems solved this month have no previous literature solution.
>>525952055>Oh my science!!>Le erdos problems!!! >So heckin' hard and science-y>WOWZERS
>>525952191i hope this isnt fucking gay but it probably will be. i need to inspect emily blunt's feet (she's in the movie)
>>525952055Can AI solve how much wood could a woodchuck could chuck?
>>525962914niggers feel the same way about science and intellectual stuff. they take pride in not knowing
>>525952609ha, this is basically calling selena gomez a dumbass. which she is
>>525953639lol
dudeI don't what an erdo is buT THaT"s amazing
>>525962837>https://www.erdosproblems.com/forum/thread/728You don't have to be a brilliant mathematician anon. You can just go look at the human-scrutinized results for yourself. Terrance Tao's "more or less" statement is doing a whole lot of heavy lifting lol
