Comment by bashtoni
1 day ago
Is AI going to put Mathematicians out of a job, or is it going to create many new jobs reviewing proofs it creates?
I'm not sure it's clear right now.
1 day ago
Is AI going to put Mathematicians out of a job, or is it going to create many new jobs reviewing proofs it creates?
I'm not sure it's clear right now.
I'm not a very good mathematician, but I do know a fair bit about software engineering, and with AI I've been busier than ever. I probably wouldn't be so busy if AI was better at anticipating what I actually wanted rather than making guesses no human would ever make.
This is just a short term problem though. Eventually AI will get pretty good at figuring out exactly I want and it will build that from the start. The requirement of me reviewing the AI output only lasts as long as models stay bad at anticipating my needs, which I don't think will take too much longer.
There's a hidden problem you skipped over. The model may get good at anticipating your needs, but are you good enough at anticipating your needs?
> reviewing proofs it creates?
If you mean reviewing for correctness then no, a Lean proof is a much stronger guarantee than anything that can be provided by any human.
For someone who's goal in math was taking unsolved problems and working on them then it's probably over. Just like in software engineering writing code by hand is kinda over.