Interview | Christoph Drösser

AI Will Become Mathematicians’ ‘Co-Pilot’

2024-06-08

Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics