That's been tried for 250,000 years. Humans don't have the proper hardware.

Religion won't allow it.

No just ArseInChaarr HOPEFULLY WE MAKE WALL-E.. Ooo gummybear cookie butter

Ai will do it for us (yes this is a joke)

Hahaha! Don't hold your breath....

Thanks for the context!

Interesting. The really challenging mathematical problems are impervious to the brute force approach so there's still hope for smart humans 😁

Can you please send the youtube link for this talk? Also can you tell me when we can expect AI to do calculus based questions?

If we can eventually make progress in mathematics using "computer-ish and non-human ways" why not? It's been talked about that it might come to be that if we could spend a few million in compute to be able to solve some long held mysteries in math/computer science, we absolutely should. These LLMs are good at spitting out a bunch of potential solutions, but also good at being able to reason about which path has promise and which don't. The solutions don't have to be human like. Also I would argue that humans do this too inside our own heads when trying to solve complex problems. Run through scenarios and discard bad ideas and run with good ideas.

To my mind it doesn't matter on what it relies, for several reasons first what matters is the result, second computers don't sleep don't eat drink and so on so in fact they (I mean AI) any way would solve the problem faster then a human in fact. Worse than that in only few years there is going to be a rise of production on neural CPU optimized for AI so the problem of computer resources for AI will be solved. In fact what is humanish way of thinking? Does it enclude patter recognition and brute force at least sometimes? Even if human brains recognize bigger patterns (for now) and so produce shorter proofs how much time it will take for AI to gain the same skills? Year or two? So we are doomed any way:).

cancelling, hate-speech, shadow banning, plenty of options.

That’s probably harder for the AI than solving the mathematical Olympiad with 100% 😂

Yeah, no. Go ask GPT4 to explain the joke, "Is it solipsistic in here, or is it just me?" in detail, and then get back to me. You all fail to realize just how fast machine intelligence is progressing. This is The Big One.

thats only because thats a well known joke that has internet history @@YourMom-zt5zj

@@YourMom-zt5zj i agree they AI is making rapid progress but I suspect it will never truly understand a word of what it is saying.

Yes, my friend's son works for them. They have been through a few owners, even Google's Alphabet for a time. The last I knew, it was Hyundai as you said. As you may suspect, defense departments are hot on their tail.

Human brains have been getting smaller for 100,000 years or so. Some biologists think iPhones and the internet have accelerated that process. Already, people do much worse on memory tests - they don't need to remember anything.

Very few schools teach critical thinking, just enough education to operate the machines for the Elite, what happens when they dont need people for that.

​@@mikemondano3624 why would the human brain continuously get smaller in the last hundred thousand years? That sounds unlikely.

​@@mikemondano3624There's no better or worse when it comes to evolution. There is only survival and reproduction or death.

But it has not acquired rational thinking.

At least it's more honest than most people!

To tell the truth it's the smartest/well thought answer in his case imo

It's quite easy to make Chat GPT contradict itself. If asked about its contradictions, it will just give some basic explanation on how it was the data that it was fed on. So, it doesn't seem to have any critical thinking as it just regurgitate what it was fed.

Sounds like most people

@@IronFreee Continue on that viewpoint and you will be the last to hop on the AI train. Worse yet you might get left behind if you're not quick enough to catch up.

Not sure what the quotes are about but you do realize this a step towards the singularity right? The technological singularity is defined as the point when technology becomes an rreversable uncontrollable runaway process, one idea of how this happens is the ability for technology to invent & improve itself. As humans invent & improve it. This IS the singularity.

Cultural performances in fields like music, acting, dancing or other forms of entertainment rely on the human connection. Yes you only could listen to AI-generated music and I'm sure that especially in the composition process it will be heavily used. But the persona of the singer or just seeing a real human perform in front of you will always have great appeal. Everyone with a Disney+ subscription can view an absolutely perfect performance of the musical Hamilton. Yet huge masses of people travel large distances and pay for expensive tickets to see an actual performance by real humans with impressive talent. AI won't replace them.

He lived in a time of rising communism, and capitalist countries implementing social policies (like 8 hour work day). He didn't predict that capitalism will win across the planet, and with nothing to oppose them, the capital will exploit workers as much as possible again. Also: The Jetsons (1962), George works for 9 hours a week.

Could already do, but since we got a capitalistic system where the minority of productivity goes to make already absurdly rich people even richer by exploiting all other people, well...

@@miriamweller812 Well said, you saved me a lot of typing my own comment. Productivity gains all go to our over lords. Pay the the working class just enough to prevent a revolution or collapse of the system.

Interesting point. New technology will make the people who bring it to the market v.v.v. rich. But the real driver of inequality seems to be the ability to sell whatever you are selling into a wider market. JK Rowling is wealthier than authors in the past, because her books sell around the world. Footballers make fortunes because Manchester United supporters are on all five continents. Mind you, who gives a shit about inequality.

so many communists don't seem to understand that they'll actually have to work under communism, sometimes even more than under the capitalist dystopias of east asia and america

lol good one

Top hoax! Pretending to still be human by saying one day you might be replaced by AI. 🤣🤣🤣

It was very funny.

Still shouldn't rely on it, which is why its ability to present a proof of its reasoning is also important.

@@scifino1 the average person probably should rely on it

That's gold

How did you prepare for the IMO? What was your schedule? How much time did it take? Did you learn anything outside the syllabus which helped?

You still demolish AI for now. LOL

Isn't it fun to witness our own species becoming obsolete?

@@Volkbrecht What do you mean? Every species has always been obsolete. Earth doesn't care, the universe doesn't care.

Just like the GO players did... then they didn't@@enadegheeghaghe6369

We should just let AI learn fron the internet. That way AI will think the Earth is flat. 2🤣

No. You need several magnitudes more training data to be able to train an LLM.

@@she__khinah You most certainly do not. A few hundred lines of text is enough. JUST the transcripts of her videos would be enough to finetune a (pre-trained) LLM to almost perfectly mimic her speech patterns.

@@christophkogler6220 Yes, it would be enough to finetune an existent LLM on her speech patterns, it wouldn't be enough to train an LLM from scratch or to teach an existent LLM new concept out of it's previous training data unless you want to loose previously learned features.

I think we can take that fact for granted

Einstein's insight game from an out of the box realization while waiting for a train while looking at a clock. AI can't make intuitive leaps like that and I doubt it ever will.

@@justinwhite2725 don’t jinx it almost every time they said ai couldn’t do something it did it

It might, the bigger question is how many wrong theories it will spit out before it does. Even a random walk is bound to give you the right answer at some point.

I remember seeing something like this a couple of years ago. They gave the AI the ability to control a lab with robotic parts to set up and perform experimentations. It even found novel experiments to demonstrate already known theories.

@@aleksandrpetrosyan1140 Sabine said it can check if a proof is correct

I didn't know Isabelle was *that* old

@@Darkon10199 I used it in 1998-99.

Larry Paulson (author of that system) would disagree.

It still can't do induction, though.

Bro glazing😂😂

I agree :)

They would need to train the a.i. on her dry sense of humor and the rate she uses it.

Yeah, 100%! No one can replace you!

BAE

KZfaq is already there. Search "reaction to movies".

Don't forget that it seems any time AI can get away with it, it tells lies. The actual reason we can never prove that we are not just brains-in-a-vat is that, in fact, we are.

You lucky guy can sit back and watch it all unfold while the rest of us look into THIS as our future...

There's a whole class of slightly autistic people (I count myself as one!) who used to make a good living doing this type of thing. Although I can see many new roles being created by these AI technologies, I suspect they will be more in the creative or managerial domains, so I suspect there will soon be a lot of disappointed young "autists" out there.

As an aspiring autistic programmer, I felt this comment 💔

C, Perl, Python and Javascript.... But not C++! That figures, even AI has its limits 😉

@@pb-fo9rt I feel kind of lucky but really retired about 3 years before I wanted. But I really do feel bad for those coming after me as it will never be the same for those coming up now. My advice is to treasure your health and family. Don't trust any government nor employer and especially not recruiters. Good luck to all of you.

It was frightening to me...😵‍💫

It's more efficient that way, rather than forcing it to reinvent the wheel every time you run it (pass-through transformers having no "memory" as such). Ultimately they will be able to bootstrap to more generic AI much faster using this type of approach.

@@donkeychan491 Of course, but it sounds less cool and generalizable this way. Even their training method relies on the proof engine, so we aren't as close to Skynet yet

SHE IS THE BEST SINGER

Google AI: I'll replace you, soon. 🤑🤑🤑🤑🤑

Any machine capable of passing the turing test will be capable of faking to fail the test.

So what you're saying is that we humans are still superior at tasks we wouldn't be willing to take on if we were a rational species? ;)

@@Volkbrecht Good to see robots speaking up.

It should be possible today. A Segway is able to keep its rider upright. Couple that with sensors and logic from a google-taxi and send it on its merry way. Maybe it also should be fitted with an artificial hand with a servo that allows one finger to be used for signalling

​@@VerklunkenzwiebelThe middle finger?

professor Farnsworth?

I think someone in Disney world said that once

@@fannyalbi9040 No, the guy who welcomes unfrozen people. This phrase is also in Futurama main theme

Good news, everyone!

@@squidwardfromua I heard Walt Disney is frozen.

Wonderful song and Group .

haha..You arent needed anymore. I am sure the psychotic banksters will just feed you for no reason..Am i right?

As long as political systems are strong enough to take care of a fair distribution of wealth amongst all people, I would totally agree. But is it not likely, that we will see a massive accumulation of wealth and power for those who own ai and production capacities, within nations and even more globally? I'm afraid that this will strongly increase all kinds of inequalities.

When they take the jobs, the cost of living for everyone will go down and it ends up being equivalent to a wealth redistribution when you lose your job to the AI. No government bureaucrat needed.

@@lukasschmidt175 Yep... the key point is - AI is not the problem. The sociopaths at the top of society are.

@@larion2336 Yep, they want AI because its free labor, in other words slaves. They wouldn't be too keen if they had to pay the AI.

you need both, memory and reasoning

and reasoning is not involved in pattern recognition.

@@carlosgaspar8447 reasoning is linking by logical rules, pattern recognition is matching a set. They are different.

Language is surprisingly memory intensive, you can’t have logic or reasoning without it.

Complete nonsense. Mathematical reasoning is the polar opposite of playing chess. Most mathematicians suck at chess (including myself) because the mental skills you need to understand and come up with mathematical concepts and proofs don't help you at all with playing chess (and vice versa).

Solving it would require a robot with a brain made from a composite system with multiple neural networks in integrated sync from language models to image identifiers, symbolic deduction, a world + body model, a model that defines the objects in this world model including the self & others! In essence, we need to build a human to get a human. Only then will the AIs truly be able replace us, or will they be one of us? One thing I left out here was a model that provides emotions including moral/social ones. This is truly the hardest but also most essential problem to solve. If we don't our synthetic assistants will find themselves walking off cliffs because they don't feel fear, walking around with potentially critical damage because they don't feel pain, and worst of all killing humans on a whim if it deduces that's a logically good way to complete it's task. (This is the point when the "AI will kill us all" scenario becomes possible. Terminators.) When we figure out & add that, that's it, we are now parents to humans we have sculpted with our hands.(But stronger & faster humans) Taking on the role of god. (This might be a little easier than we think though, but it would be different from a single neural model in that it would have to be a property of the integrated brain network since you can't feel "good" or "bad" about something without a world that includes you & others to define it. Emotions are the way our brain net regulates its actions alongside the "attention schema" model that prioritizes certain internal & external inputs at a time like a targeting reticle, robot will need this too. Some scientists believe this is the seat of our consciousness at it's core. The brain's self-model to control itself. We are the internally generated control object. Basically equivalent to the soul concept but with no field or force that can transfer it elsewhere through a ghost body.) Are we ready for the responsibility? Note: This doesn't completely remove the possibility of robot uprising it'll just depend on how we treat the life we have created like any uprising. Again, like humans. If you want something that can efficiently handle animals like a human you must build a human.

The procedure is necessary because it is cancer and cancer kills. Why would it matter that the diagnosis was from a 'black box'?

@@CCaribou Dunno about cancer, but I can see why it's necessary when it comes to say legal judgements. Imagine being convicted by an AI without any explanation why.

@@CCaribou Because the procedure might also kill and the judgement accuracy is not 100%.

lol imagine it just starts tweakin out when it runs into paradoxes. Like if it tried to recreate set theory and started thinking about the “set of all sets that don’t contain themselves” and it goes into a never ending loop of constructing the set, then putting that set into itself (since it initially does not contain itself), but then realizes it has to be taken out, but then that means it doesn’t contain itself again and it should be put back in, and so on. Humans have the ability with our consciousness to recognize paradoxes and what they mean. But AI just computes logic. So it’d probably be incredibly confused when contradictions pop up while still following the axioms it learned. Maybe paradoxes would just get left there and the AI wouldn’t even recognize what it’d done

incompleteness theorems just mean you cannot prove everything about arithmetic. Actually, it doesn't apply to geometry. You *can* prove everything in geometry.

Yes! I am also interested in the fundamental computational limits and how AI can overcome those.

@@mzg147 What about other AI tasks? There are fundamental limits in computation that cause contradictions

@@mzg147 That is, well, just wrong. The Incompleteness theorems apply to any rule based logical system, including logic itself. All logical systems rely at root upon some assumptions that must be true for the system, but which cannot be proved within the system's rules. Look up Russel's Paradox. It is considered one of the most significant or famous paradoxes in modern history and philosophy. It identifies a paradoxical situation in set theory. Similar problems also appear in geometry where postulates change based upon the kind of geometry you are using.

Well, the point of the video was that this new AI doesn't operate like that.

@@Magicwillnz The point of the original comment was that "this" is not a "new AI". Its the same thing as ChatGPT but with vision and trained on logical problems with RLAIF.

Deepmind kinda showed how their AI works somewhat in the AlphaGo documentary

@@Magicwillnz I think his point was the "new AI" is still working the same way. This one just has a math filter added to screen out the illogical continuations to give the impression that logical thinking is really happening

Tbh most humans create proofs in the same manner. They train by looking at some examples of proofs (by contradiction, counter-example, deduction, induction, etc) then they try to guess (predict, in other words) what the best way to prove a new statement would be. I don't think there's any human out there who can systematically prove something from the start, some educated guesswork is inevitable. That's because we don't have any algorithm for finding proofs.

@@christianadam2907 In explosive jelly we trust

Dun dun dun, dun dun, dun dun dun!

Are you suggesting we should track down Miles Dyson and end this thing once and for all?

Dude, skynet was pretty braindead as far as AI goes. Soon you'll miss the days when you thought the worst AI could pull out was nuclear war and autonomous killing machines.

Skynet is our friend.

"I'm afraid I can't do that Dave." - 2001 "MOTHER!!!!!" - Ripley, Alien "What did we learn Palmer?" "I don't know sir" - Burn After Reading What could go wrong? lol

The way you would do that is to randomly generate theorems by randomly applying inference rules to a given set of premises and make sure that the generated theorems aren't completely trivial (they don't have to be useful in the real world) meaning they need a minimum amount of inference steps and the proof you've generated isn't unnecessarily long. The latter would probably be the most difficult part. Then you train your model on this artificial dataset. The model doesn't care if the theorems you trained it on have actual usage in the real world.

Why do we call it a model and not a modeler?

Yes! I am also interested in the fundamental computational limits and how AI can overcome those.

@@katehamilton7240 What do you mean by fundamental computational limits?

@@she__khinah Limits relate to algorithms (incompleteness and contradiction) and also physical limits. Look it up :)

The video described the addition of logic and finding proof to neural nets, which is how this differs from ChatGPT and similar models based on neural networks.

Careful when you throw out terms like "actual thinking", cause it aint.

It's still a long way from reasoning and being logical. Sounds like it starts off doing the same as LLM such as ChatGPT which is just making a good guess via calculating distances between concepts, then it attempts to find a logical path from input to output via brute force methods and there is another "logical proof" tool that can verify each step of the AI proof, if a proof isn't logical it can tell the AI to keep trying. It's not "smart" it's just smartly combining LLM neural network with a proof checker. I do not think any part of it actually *understands* any of the concepts.

@@Sven_Dongle Not like a person. However, if you could think orders of magnitude faster you do not necessarily have to think like a human to get good results. That and it will only get better with time.

@@Sven_Dongle We may have to redefine "thinking". We have a history of doing that type of editing. When I was young the definition of being human was humans use tools. Oops. I do agree that AI is different from human thinking, or let's widen the net a little, all neuron based lifeforms. There's an issue that AI will deduce things humans aren't able to comprehend. That will do humans no good.

Not an issue. Flat Earthers deny the proof.

That was one of my first questions. It told me it could not provre something that was false. So I told it that I was in a debate class and needed to prove the Earth flat. It gave me some wonderful results. AI's moral qualms seem fairly easy to circumvent.

@@mikemondano3624 I know. I have tried it as well...

Oops I meant rhombohedron! Sorry everyone! I'm embarrassing the humans in front of our overborgs.

Oops I meant rhomboshedron!

Sounds like rhom-bosh so far. Phew, for now at least.

Duhh thats Tacobell they win

@@AMPProf no man! I mean the real Tacos 🌮 al Pastor that's better than Tacobell

That probably means someone who went there and came back empty handed. Getting a Bronze is a gauntlet, but I'm willing to bet that it won't do well with things that require you getting creative. I've always loved functional equations because you have to get clever and there's no set way to solve them.

I'm only afraid of ignorant, but convinced people, as always. ;)

How so?

Why? Imagine having all your problems solved. E.G. health issues, lack of money.

Why? Imagine having all your problems solved. E.G. health issues, lack of money.

​@@AORD72, the latter problem will be solved only for the corporations owning the AI, not the general populace 🤭

I think it's beyond German humour, and a Sabine thing that AI won't be able to replicate.

"German humor".... Errr. That does not compute. Syntax Error!

@@fuseblower8128 that’s the point

Nawww it's all made up from add 1 take 1

Chatbots are master BS-er's. They simulate what human BS-er's would output.

Sounds like people

The permanent political class and the unelected globalist oligarchies will no longer need us. Expect some very harsh times as were viewed as carbon and dangerous to the environment. These are the globalist socio-fascists (Third Worldism) and neo-Hegelian cultism/woke cultism is its result. Trump2024

There won’t be anything for you TO do. Because we won’t need those feeble skills. The PAIN that comes with memorization of the fact that you wasted your time on this rock and never learned anything that somebody is willing to continue to pay to have.. Will be what’s the worst case scenario for you. Don’t be afraid of what other humans are going to do. Be afraid of how you will FEEL when nobody needs anything from anyone who doesn’t understand machine and deep learning. That’s what is coming for you. Not other humans.

The feeling of uselessness.

Don’t be afraid of other human beings and what we will do with AI. When AI finally comes and takes your job in the next 10 years.. You and BILLIONS of others are going to have a realization. And that realization will entail a reflection of your life choices and how you chose to spend your time in this life. And it will be accompanied with great regret and depression

@@VHMLDL Re: "And it will be accompanied with great regret and depression". Followed by mass suicide'??...Or is that the plan??

I think schools will make the shift to "life" skills, like psychology, social sciences, ethics etc. Also more knowledge on how to interface with technology and how to exist in a society that doesn't value your output. There is little reason to teach old stuff, unless the students want to.

@@keepalit4371 interesting. i could imagine these kinds of changes at university level but i cant imagine how middleschools and highschools will adapt as they have barely changed in hundreds of years (at least in my country) and they are extremly stubborn applying any minimal changes, let alone big ones like these

When ai does it all, and if we tire of shovelling billions into the pockets of people with no more qualities than anyone else then we could: ‘do one thing today and another tomorrow, to hunt in the morning, fish in the afternoon, rear cattle in the evening, criticize after dinner, just as I have a mind, without ever becoming hunter, fisherman, shepherd or critic’. The example is 178 years old, so pilates wasn’t quite on the horizon. The question. ‘what to do’, as a member of a post (capitalist) world is a good one and will require a lot of communal imagining. Unfortunately, at the moment there is no requirement for imagination in schools. And in the absence of its ‘illumination' ai seals the deal that provides us with all that IT thinks we need.

And from what I've seen lately, her clothes haven't been changed for some time, further supporting your robot hypothesis.

​@@KingCobbonesI saw her live in London last year on the iai festival, she's made of flesh and blood...and guess, which shirt she was wearing?

Have you tried searching the web recently for "AI call center"?

It can, easily

So , have you tried unplugging it and plugging it back in ?

@@MrE073 I have never been helped by such a system. Not even close. In the last year I have tried getting help from AT&t, amazon, USPS and Microsoft and none of them worked worth a crap. They are terrible.