Where the slop goes. Notes, write-ups and a seminar on what language models are doing to mathematics.
A seminar at TU Berlin. Each session, someone presents one of the latest ‘huge mathematical developments’ in an area close to our hearts, and we work out what has actually been done.
When and where: to be announced.