AI will change the world, but won’t take it over by playing “3-dimensional chess”.

By Boaz Barak and Ben Edelman [Cross-posted on Lesswrong ; See also Boaz’s posts on longtermism and AGI via scaling , as well as other "philosophizing" posts. This post also puts us in Aaronson's "Reform AI Alignment" religion] [Disclaimer: Predictions are very hard, especially about the future. In fact, this is one of the points of this essay. Hence, … Continue reading AI will change the world, but won’t take it over by playing “3-dimensional chess”.

Postdocs at Harvard!

New: Kempner Fellows. A 3-year prestigious position with attractive terms for early-stage scientists interested in "fundamentally advancing our understanding of natural and artificial intelligence." The ML Foundations and theory groups at Harvard are looking for postdocs for the coming academic year. There are also several other positions at Harvard, including at the Harvard Data Science … Continue reading Postdocs at Harvard!

Swiss TCS winter school, CCC 2023 call for papers

[Guest post by David Steurer, both the speakers and the location seem amazing! --Boaz] The Swiss Winter School on Theoretical Computer Science (Jan 29  - Feb 3 2023, https://theory.epfl.ch/WinterSchool2023/) will be the second installment in a series of annual winter schools jointly organized by EPFL and ETH Zurich (the first installment happened in 2020).The goal of … Continue reading Swiss TCS winter school, CCC 2023 call for papers

Quick reminders: masters, postdocs, faculty, etc.

As we're getting closer to the season when undergraduate students are considering graduate school, and graduate students are considering the next steps such as postdoc or faculty positions, I wanted to remind people of two resources for such positions: the TCS jobs and crowd-sourced masters pages. The process and market for both graduate studies and … Continue reading Quick reminders: masters, postdocs, faculty, etc.

Teaching circuits as the first computational model

This fall, I am once again teaching Harvard's "Introduction to Theoretical Computer Science" course (CS 121). Like many "intro to TCS / intro to theory of computation" courses, Harvard's course used to be taught with Sipser's classic textbook. Sipser's book is indeed, for better or worse, a classic. It is extremely well-written and students like … Continue reading Teaching circuits as the first computational model