MathematicsJune 8, 2024
AI Will Become Mathematicians’ ‘Co-Pilot’
Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics
Christoph Drösser is a freelance journalist and author who has been based in San Francisco since 2014. Previously, he was an editor and reporter for the science section of the German newspaper Die Zeit for many years. He has a graduate degree in mathematics.
AI Will Become Mathematicians’ ‘Co-Pilot’
Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics