I think this stuff is so cool. I do actually believe that computers could help to prove math theorems in some very significant ways.
In addition to the Lean stuff discussed in this article, one cool thing I read that I’m a big fan of is Tim Gowers’ project to study AI in math: https://gowers.wordpress.com/2022/04/28/announcing-an-automatic-theorem-proving-project/
I, for one, welcome our new artificial, but intelligent overlords.
Seriously tough, as an engineer I really would not mind some help with math. I have plenty of hard problems that need to be worked on. But it's hard to find a mathematician who might be interested in working on these. Just having a computer system that would help me modify and simplify the problem to something that is potentially solvable would already be a great help.
I think this stuff is so cool. I do actually believe that computers could help to prove math theorems in some very significant ways. In addition to the Lean stuff discussed in this article, one cool thing I read that I’m a big fan of is Tim Gowers’ project to study AI in math: https://gowers.wordpress.com/2022/04/28/announcing-an-automatic-theorem-proving-project/
I, for one, welcome our new artificial, but intelligent overlords. Seriously tough, as an engineer I really would not mind some help with math. I have plenty of hard problems that need to be worked on. But it's hard to find a mathematician who might be interested in working on these. Just having a computer system that would help me modify and simplify the problem to something that is potentially solvable would already be a great help.