…by computational infrastructure and formalization tools. Participants work in a system with multiple agents that are fully set up to do mathematics, doing mathematics with their assistance through the day while talking to colleagues doing the same in real time. It suits faculty, postdocs and graduate students who have not used AI seriously in their work, those who have only used AI chat in a web browser, and th
Sun, Jan 10, 2027