Within RAISE there’s a team that’s working on constructing a prerequisites track for AI safety—something that people who lack some of the necessary undergraduate-level background could use to (1) identify what material they’re missing; and (2) learn that material effectively.
The post you linked to is part of that project.
(note: I might be slightly misrepresenting that project—I’m not on the team that works on it)
What does this have in common with https://www.lesswrong.com/posts/kK67yXhmDYwXLqXoQ/fundamentals-of-formalisation-level-1-basic-logic ?
Within RAISE there’s a team that’s working on constructing a prerequisites track for AI safety—something that people who lack some of the necessary undergraduate-level background could use to (1) identify what material they’re missing; and (2) learn that material effectively.
The post you linked to is part of that project.
(note: I might be slightly misrepresenting that project—I’m not on the team that works on it)
You represented it well. We’re currently doing 2 things at once. The prerequisites track was too good to pass up.