Thanks for the tag. I'll try to (speed)watch it at some point today.
First, @gmd, strongly recommend reading this related article by Tao: #1551655. It mentions several of the fears that Tsimerman is alluding to. But Tao is less pessimistic; he's been embracing AI for a long time in his research, and pushes one to think about why one does math, and that by properly (re)defining the goals for said endeavour, math may come out of it better and stronger.
I believe that we are now entering a era of comparable turbulence in mathematics. This time, though, what is being stress-tested is not our foundational framework for mathematical truth, but rather the largely implicit framework of mathematical values and practices: what we consider a contribution to be, what we reward, what we regard as understood, and who — or what — we regard as having done the work. I argue that it will become necessary to make these unwritten goals of mathematics much more explicit; but once we have thoroughly examined and codified them, our community will emerge stronger and more resilient than before.
And he also clearly agrees with @SimpleStacker that without properly explaining them, a solved problem is worthless. This is best illustrated with this screenshot from his article.
I believe we'll get to a point where each problem will implicitly be assumed to have been solved (by AI), but unless it has been digested by humans, incorporated into the curriculum, it may very well be considered unsolved. Until it makes it into a technical audience presentation by a human, who is able to explain it to its peers, its status will remain that of an incomplete problem without a solution. Now more than ever, humans will have a role of communicating the science. There will just be an abundance of AI-solved problems to chose from on which you can spend the necessary time to further the steps from Fig. 4 above. Not saying this will attract the same kind of people that got attracted to it in the first place, but I believe that a new market of mathematicians will emerge that will see value in doing so for the right problems.
In my last paper submission, I provided theory support to an experimental group. It is my first paper where I would not have been able to provide the level of support I did if I had not had access to AI. They were deeply satisfied, unlike several previous interactions with other groups where the tacit understanding is that we provide _minimal_ theory support, just enough to get them to publish their experimental findings in Nature or Science journals. The actual theory is expected to come later in separate theory-only papers where one has time to do everything properly. Now, in this latest paper, the quality of theory was at the same level as the quality of experiments. I'm still trying to come to terms with this new role I am taking on, using AI as a partner, but in the end, it's all beneficial to the reader of the paper, who will have been given a fuller understanding of the experimental findings.
Thanks for the tag. I'll try to (speed)watch it at some point today.
First, @gmd, strongly recommend reading this related article by Tao: #1551655. It mentions several of the fears that Tsimerman is alluding to. But Tao is less pessimistic; he's been embracing AI for a long time in his research, and pushes one to think about why one does math, and that by properly (re)defining the goals for said endeavour, math may come out of it better and stronger.
And he also clearly agrees with @SimpleStacker that without properly explaining them, a solved problem is worthless. This is best illustrated with this screenshot from his article.
I believe we'll get to a point where each problem will implicitly be assumed to have been solved (by AI), but unless it has been digested by humans, incorporated into the curriculum, it may very well be considered unsolved. Until it makes it into a technical audience presentation by a human, who is able to explain it to its peers, its status will remain that of an incomplete problem without a solution. Now more than ever, humans will have a role of communicating the science. There will just be an abundance of AI-solved problems to chose from on which you can spend the necessary time to further the steps from Fig. 4 above. Not saying this will attract the same kind of people that got attracted to it in the first place, but I believe that a new market of mathematicians will emerge that will see value in doing so for the right problems.
In my last paper submission, I provided theory support to an experimental group. It is my first paper where I would not have been able to provide the level of support I did if I had not had access to AI. They were deeply satisfied, unlike several previous interactions with other groups where the tacit understanding is that we provide _minimal_ theory support, just enough to get them to publish their experimental findings in Nature or Science journals. The actual theory is expected to come later in separate theory-only papers where one has time to do everything properly. Now, in this latest paper, the quality of theory was at the same level as the quality of experiments. I'm still trying to come to terms with this new role I am taking on, using AI as a partner, but in the end, it's all beneficial to the reader of the paper, who will have been given a fuller understanding of the experimental findings.