Um. There are applications of mathematics that have a practical effect on the world. Right? You've crossed a bridge before, have you not?
And what is your solution then - only certain people will be allowed to work on math? If I use a computer to solve a math problem I will be a criminal? The whole thing is profoundly wrong-headed.
> Its goal is to expand the frontier of human understanding
Yes, and it does that quite nicely.
> The AI generated proofs are barely comprehensible by mathematicians
My understanding is that if you ask an AI to explain it to you it's quite easy to follow. But apparently that solution is intolerable for some.
Um. There are applications of mathematics that have a practical effect on the world. Right? You've crossed a bridge before, have you not?
And what is your solution then - only certain people will be allowed to work on math? If I use a computer to solve a math problem I will be a criminal? The whole thing is profoundly wrong-headed.
> Its goal is to expand the frontier of human understanding
Yes, and it does that quite nicely.
> The AI generated proofs are barely comprehensible by mathematicians
My understanding is that if you ask an AI to explain it to you it's quite easy to follow. But apparently that solution is intolerable for some.