New Technologies in Mathematics Seminar Speaker: George Tsoukalas, UT Austin Dept. of Computer Science and Google DeepMind. Title:Â Automated Theory Formation and Interestingness in Mathematics Abstract:Â Advances in modern learning systems are beginning to demonstrate utility for select problems in research mathematics. A broader challenge is that of developing new theories automatically. This area has a rich […]