Automated Theory Formation and Interestingness in Mathematics
CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United StatesNew 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 […]