I am a very big fan of your writings especially your book Love and Math. I do believe it should be a necessary reading for all high school students.
My question is regarding the interaction of mathematics and artificial intelligence. What is your opinion of computer-assisted proofs and automatic theorem provers? Do you think they contribute positively to the development of mathematics?
The mathematician Timothy Gowers wrote in his GAFA visions paper "I expect computers to be better than humans at proving
theorems in 2099...In the end, the work of the math-
ematician would be simply to learn how to use theorem-proving machines
eectively and to find interesting applications for them."
Do you believe that Gower's prediction can turn out to be true?
grothMotives3 karma
Hello Prof Frenkel,
I am a very big fan of your writings especially your book Love and Math. I do believe it should be a necessary reading for all high school students.
My question is regarding the interaction of mathematics and artificial intelligence. What is your opinion of computer-assisted proofs and automatic theorem provers? Do you think they contribute positively to the development of mathematics?
The mathematician Timothy Gowers wrote in his GAFA visions paper "I expect computers to be better than humans at proving theorems in 2099...In the end, the work of the math- ematician would be simply to learn how to use theorem-proving machines eectively and to find interesting applications for them." Do you believe that Gower's prediction can turn out to be true?
View HistoryShare Link