ОБ ЭТОМ ЭПИЗОДЕ

английский
США

РАСШИФРОВКА 🔗

ПОИСК ПРОШЛЫХ ЭПИЗОДОВ

Искать прошлые эпизоды LessWrong (Curated & Popular).

ДРУГИЕ ЭПИЗОДЫ В ЭТОМ ПОДКАсте

Lots of the discussion around Lean certificates and trust centers around general philosophical ideas of how much humans should trust formal certificates. It's important to remember, though, that Lean4 is not an ideal formal certificate machine: Lean4 is a software in its infancy and has issues…
A summary of a Chinese essay, with a few short translated excerpts. All views below are the author's; quotes are my translations. On 14 September 2026, a DeepSeek engineer writing as intlsy published a WeChat essay titled 我不得不把才华埋葬在昨天 ("I have to bury my talent in yesterday"). He wro…
Zvi recently coined a nice distinction between AGI-pilled and ASI-pilled: as more people are reckoning with the speed of progress, some are beginning to come around to the fact that AI could be superhuman at a huge range of tasks in a way that radically reshapes society, but not that it could leap …
Epistemic status: I wrote this up hoping people can poke holes in it because I am quite worried. Here's what we've heard so far: Local media is reporting that an employee of a BSL-3 lab in Irkutsk, Russia, died of pneumonic plague on Oct 1st. The initial quarantine covered 200 people w…
Epistemic status: Feeling frustrated, and therefore somewhat uncharitable. I’m very frustrated with calls for people to “drop everything and pivot into AI safety” like this one. (See also this, this, this, this for recent calls for more people to go into AI safety; though my frustration was trigger…
Отказ от ответственности: Подкаст и иллюстрации, встроенные в эту страницу, взяты из LessWrong, который является собственностью его владельца и не связан или не одобрен Listen Notes, Inc.