- AI Will Become Mathematicians’ ‘Co-Pilot’ | Spektrum der Wissenschaft - Scientific American - Christoph Drösser | Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ 18 comments futurology
- AI Will Become Mathematicians’ ‘Co-Pilot’ | Spektrum der Wissenschaft - Scientific American - Christoph Drösser | Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ 74 comments math