AI Will Become Mathematicians’ ‘Co-Pilot’Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics
By Christoph Drösser - https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ (June 8, 2024)
