Viewing profile — singularity2001

I don't want it to be a lab leak but all the evidence points towards it being a lab leak

there is a practical reason to get rid of the fantasy reals and restrict oneself to normal reals or some other new invention: Since Lean has become more popular as a proving system…

what he probably meant is that if you write down pi with 200 digits there's nowhere in the universe where you can find pi with that precision

World Models, really big world models like Dreamer V4, which unfortunately you can't do easily as a master student, but maybe you can work with tiny versions and prove that the dir…

Have you tried writing any programs in it?

Maybe Terrence is chasing too many red herrings. Maybe he should just have asked it to find a counter example to the conjecture and on success explain how it was found.

You are badly informed the counter-example was found shortly before. Terrence just tried to replicate how it was found.

they're still bounded by training data and how it relates to the real world. Yes and no. They can extrapolate and build upon the training data, as was the case with the last dozens…

They will have decades of experience with AI and they will be able to guide them by sniffing their hallucinations from single words.

The Redox operating system is a complete rewrite of operating system concepts in Rust. Disclaimer, I worked on the Mac OS port.

> The other issue is Gen Z and Gen A are now very much opposed to AI. Jinxzi has Bernard as friend though

Exactly. It's a good idea, badly executed.

As the author mentions the Trojan War in the Illias could be reflections of this event

Very good question I can only answer for one subset tracked by Terence Tao https://github.com/teorth/erdosproblems

If anything their capability of abstract inductive reasoning is way beyond the average human given how much better LLMs are at solving math problems, it's the paradox that they can…

Agents have a state which will unfold as a plan, especially in planning mode. Why not call this 'will'?

Now "Jetlag the game" HAS to shoot their next episode over there

Words are also not necessary for LLMs, hear me out: they could be trained mostly on video showing how to solve problems and would work almost the same (in principle). That's becaus…

Because these models are now also trained on visual data, so they have a common abstract language in the latent space for different kinds of modalities. It's perfectly reasonable t…

I thought in this day and age "world model" also includes robo arm training data and robot arm benchmarks

Wait, I've seen the same libation formula appearing in the Phaistos disc. For those 10 of you who have the fonts installed: 𐇑 𐇘 𐇪 𐇐 | 𐇬 𐇳 𐇖 𐇗𐇽 | 𐇬 𐇗 𐇜 | 𐇬 𐇼 𐇖𐇽 | 𐇥…

If it turns out to be true, it would open the door a bit for connecting Indo-European languages with Semitic languages. In the beginning of the last century it was believed that th…

Most importantly, the reinforcement loop is used during training. I don't agree with Sutton's original hypothesis, but it holds even less after reinforcement learning.

or could it be the other way around that actual privacy is forbidden in Europe because they want to read your messages

do they not have data centers in Europe yet