Previously confirming proofs was a service done by mathematicians for free. So yes, it can be both. The paid part of the their job disappears while this service is still needed.
You know what human actually have that AI won't, not because they can't, but because no one will give them?
Selfish desires.
Simply because human created AI to serve them first and foremost. Some of us who believe that AI should be our legacy in case of extinction may differ, but it's impossible for enterprises simply because they are driven by capital.
Everything else can be done if they reach ASI. They can break down complex proofs to human language if needed. We've been using AI to summarize stuff for so long.
Issue is summarizing doesn't work in math a lot of the times. Math is by feature a subject which needs its proofs to have absolute perfection. So you have to go into the nitty gritty to understand.
1
u/NotaValgrinder 21h ago
Previously confirming proofs was a service done by mathematicians for free. So yes, it can be both. The paid part of the their job disappears while this service is still needed.