What I think AI will do is open up mathematics to so much more people, because suddenly things will become easy that were hard to do, allowing you to focus on ideas rather than technical details, while at the same time preserving the technical details down to the lowest level, because ultimately, without the details, there is no mathematics. Of course the space in which to express these ideas must allow for errors. I think what it will do is bring together pure and applied mathematics again. I set out to build the theorem proving system of my dreams, clearly an applied pursuit, and what I found was the logic of my dreams, which I would rate as rather pure. And I made plenty of errors finding that logic, most of them have their own DOI. I am actually just now writing a book about this logic that corrects these past errors and over complications: http://abstractionlogic.com . Note that the subtitle of the book is "A New Foundation for Reasoning, Computing, and Understanding." At first the subtitle was "A New Foundation for Reasoning and Computing", but then I thought of this blog. :-)
Today is the third (and final) day of the "Second Cosmic Explorer Symposium" ... in which the community of gravitational wave observers tackles the problem of providing "a human face for astrophysical general relativity and cosmology" ... uhh ... along with the problems of ACTUALLY DESIGNING, FUNDING, CONSTRUCTING, and OPERATING the next generation of gravitational wave observatories.
These folks are centralizing their enterprise---centralizing it very effectively---around the question "What foreseeable problems are hard to fix, and tragic if we get them wrong?" (as Matthew J. Evans' presentation felicitously phrased it).
Perhaps it would be no bad thing if the folks pursuing the development of AI in Mathematics centralized more of their discussion(s) around this same question?
It might be worth mentioning as a sort of tangentially related comment, that the graduate students at Boston University are currently on strike and that the Dean of the College of Arts and Sciences suggested--somehow--using "AI" to replace them (in the context of running undergraduate classes).
In some star trek utopia where no one has to work at Walmart to live a nice life I'm all for those people who want to do mathematics for their joy, cultural expression etc continuing to do so glass bead game style. However, the only thing that justifies paying professors of mathematics for what they do while others have to work at Walmart is the fact that proving things, teaching math etc etc has some benefit for society more broadly.
Until and unless we get something like universal basic income that lets everyone just contribute in whatever artistic or cultural way they want it feels deeply selfish and unfair to try to protect mathematics jobs from being mechanized.
It may seem like there is something unique and important to be protected there but everyone feels that about their own career and, I think for the most part, most careers that have been mechanized away have been replaced with equally valuable stuff as a result (on average).
I think the real issue we need to address isn't how AI affects math but how do we ensure AI creates a world where everyone is free to do something they love rather than a world where we all scramble to work 40 hours a week to keep up with the jobes handcrafting some mechanical watch or other work whose only benefit is the status of having been done by hand [1]. Once we solve that problem then, and only then, does it make sense to worry about how it affects mathematics as a cultural and artistic endeavor.
--
Also, regarding the AIs having feelings if that's the case of course you can make it pleasant for them to do the math you want done. We can breed dogs to love herding sheep and we don't even have direct low level ability to intervene in their brains.
--
1: Handmaid mechanical watches work no better than mass produced electric ones -- they are almost a pure Veblen good. If you imagine that watch makers had always been half as efficient everyone would be just as happy spending the same amount they do now on fancy rolexes even if they no longer got the phases of the moon because the true demand is only driven by the desire to have something rare that took a long time to create.
IMO if we don't create something like UBI there is a serious possibility that rather than a world of relaxation and fufilling careers we all work hard and feel stress just to make each other trinkets to display relative status.
What I think AI will do is open up mathematics to so much more people, because suddenly things will become easy that were hard to do, allowing you to focus on ideas rather than technical details, while at the same time preserving the technical details down to the lowest level, because ultimately, without the details, there is no mathematics. Of course the space in which to express these ideas must allow for errors. I think what it will do is bring together pure and applied mathematics again. I set out to build the theorem proving system of my dreams, clearly an applied pursuit, and what I found was the logic of my dreams, which I would rate as rather pure. And I made plenty of errors finding that logic, most of them have their own DOI. I am actually just now writing a book about this logic that corrects these past errors and over complications: http://abstractionlogic.com . Note that the subtitle of the book is "A New Foundation for Reasoning, Computing, and Understanding." At first the subtitle was "A New Foundation for Reasoning and Computing", but then I thought of this blog. :-)
Today is the third (and final) day of the "Second Cosmic Explorer Symposium" ... in which the community of gravitational wave observers tackles the problem of providing "a human face for astrophysical general relativity and cosmology" ... uhh ... along with the problems of ACTUALLY DESIGNING, FUNDING, CONSTRUCTING, and OPERATING the next generation of gravitational wave observatories.
These folks are centralizing their enterprise---centralizing it very effectively---around the question "What foreseeable problems are hard to fix, and tragic if we get them wrong?" (as Matthew J. Evans' presentation felicitously phrased it).
Perhaps it would be no bad thing if the folks pursuing the development of AI in Mathematics centralized more of their discussion(s) around this same question?
It might be worth mentioning as a sort of tangentially related comment, that the graduate students at Boston University are currently on strike and that the Dean of the College of Arts and Sciences suggested--somehow--using "AI" to replace them (in the context of running undergraduate classes).
In some star trek utopia where no one has to work at Walmart to live a nice life I'm all for those people who want to do mathematics for their joy, cultural expression etc continuing to do so glass bead game style. However, the only thing that justifies paying professors of mathematics for what they do while others have to work at Walmart is the fact that proving things, teaching math etc etc has some benefit for society more broadly.
Until and unless we get something like universal basic income that lets everyone just contribute in whatever artistic or cultural way they want it feels deeply selfish and unfair to try to protect mathematics jobs from being mechanized.
It may seem like there is something unique and important to be protected there but everyone feels that about their own career and, I think for the most part, most careers that have been mechanized away have been replaced with equally valuable stuff as a result (on average).
I think the real issue we need to address isn't how AI affects math but how do we ensure AI creates a world where everyone is free to do something they love rather than a world where we all scramble to work 40 hours a week to keep up with the jobes handcrafting some mechanical watch or other work whose only benefit is the status of having been done by hand [1]. Once we solve that problem then, and only then, does it make sense to worry about how it affects mathematics as a cultural and artistic endeavor.
--
Also, regarding the AIs having feelings if that's the case of course you can make it pleasant for them to do the math you want done. We can breed dogs to love herding sheep and we don't even have direct low level ability to intervene in their brains.
--
1: Handmaid mechanical watches work no better than mass produced electric ones -- they are almost a pure Veblen good. If you imagine that watch makers had always been half as efficient everyone would be just as happy spending the same amount they do now on fancy rolexes even if they no longer got the phases of the moon because the true demand is only driven by the desire to have something rare that took a long time to create.
IMO if we don't create something like UBI there is a serious possibility that rather than a world of relaxation and fufilling careers we all work hard and feel stress just to make each other trinkets to display relative status.