Is Artificial Intelligence a Bicycle for the Mind?
发布时间：2025年02月28日
浏览次数：66
发布者: He Liu
主讲人： William Vickery(BICMR)
活动时间： 从 2025-03-03 15:00 到 16:00
场地： 北京国际数学研究中心，镜春园78号院（怀新园）77201室
Renowned mathematicians Terence Tao and Geordie Williamson have both given lectures and written papers on the potential of AI for pure math research. Basic uses include interacting with commercial chatbot software to retrieve math definitions and even receive guidance on problem solving. More advanced uses involve designing neural networks specifically trained on mathematical objects. Davies, Juhasz, Lackenby and Tomasev [2021] used an algorithm called saliency analysis to identify knot invariants correlated to knot signature. Wagner [2021] constructed counter-examples in graph theory using reinforcement learning. Charton used the advanced transformer architecture underlying GPT and Deepseek to train models that could calculate the eigenvalues of a matrix faster. He and Kim in 2019 created an algorithm that could distinguish algebraic features of groups after being trained on the group multiplication table. What do these tools mean for the working mathematician? We will illustrate the discussion with some practical software demonstrations.
