Objective
In winter 2026 we decided to run an experimental reading group on how humans can collaborate with machines on large scale mathematical projects. This website is used to keep track of our progress. The name "high energy TCS" is inspired by large collaborative projects in physics and was suggested by Riccardo Zecchina, whom we thank for encouraging us to work on this problem.
Organizers
Participants
Theorems
We proved the following theorems. Human-readable manuscripts are forthcoming.
-
A solution to the Generalized k-Server problem