Science News
AI Will Become Mathematicians’ ‘Co-Pilot’
Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics
Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics