singularity2001

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 of math proofs

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 do complicated reasoning before they can do intuitive peep-pe-boo.

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 because both word tokens and video will end up in the same latent space which is where real consciousness and thinking takes place.

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 to ask the model if it can associate an image of a server with its own existence. In fact it once saw an open process and said "that's me"

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:

𐇑 𐇘 𐇪 𐇐 | 𐇬 𐇳 𐇖 𐇗𐇽 | 𐇬 𐇗 𐇜 | 𐇬 𐇼 𐇖𐇽 | 𐇥 𐇬 𐇳 𐇖 𐇗𐇽 | 𐇪 𐇱 𐇦 𐇨 | 𐇖 𐇡 𐇲 | 𐇖 𐇼 𐇖𐇽 | 𐇖 𐇡 𐇲 | 𐇥 𐇬 𐇳 𐇖 𐇗𐇽 i-𐇘-wi-jeʳ | ʰau-ni-ti-noʳ au-no-pa au-ndi-tiʳ 𐇥-au-ni-ti-noʳ wa-pi-naᵐwa ti-ru-te ti-nd-tri ti-na-ru-he ʰau-ni-ti-noʳ i-301-wa-ja/e | ʰau-... jaᵘ-di-ki-to i-pi-na-ma si-ru-te ta-na-ra te-ti-u ta-na-te i-da 𐘚 ᴴI 𐘮 WA 𐘱 JA 𐘱 JA 𐘆 DI 𐘸 KI 𐘹 TU 𐘚 ᴴI 𐘢 PI 𐘅 NA 𐙁 MA (󲎘)

I believe the phonetic values for Phaistos here were based on similarity.

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 these were related. Later this came out of vogue. How could they have been so wrong initially? Because both languages families were entangled, as now there is genetic evidence that both languages spread from very close to the Caucasus. It's probably old news for most but in the last 15 years it became clear that Europe was completely resettled, once by Anatolians and then partly by Indo-Europeans. The language of the Anatolians is still unknown.

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

some of the greatest ideas are proposed in a ridiculed manner first

"allows the important stuff like LLMs writing code so long as you disclose."

Are you sure? It says:

"It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to *create*."

Interesting when I read the book I wanted to rename it to "How to win fake friends and manipulate people." Maybe I missed the humble passages.

Formal proofs are made to be done by AI.

If a green checkmark goes away so be it. AI might or may not understand how to fix it but it's no burden to the user / developer.

Flagged for not defining what RF engineering is

The US has massacred millions of people of other countries, is that better?

I thought cursor became mostly obsolete with Claude Code and Codex TUIs?

If the 50-year-old exponential keeps up, we will have 90 percent solar before 2040 though.

Incidentally to me this is more proof of some form of intelligence than ARC 3

according to medieval reports the white limestone surfaces of the pyramids were absolutely cluttered with Egyptian Roman and other in eligible graffiti