Is a mathematical proof legitimate if it requires AI techniques to prove it?
I'm not talking about using AI to find a proof which is verified by human checking or a traditional computer proof, but a proof that uses AI directly in the proof.
Assume that the way it's used is sufficiently rigorous and convincing, unless you believe that's impossible. This isn't just asking ChatGPT either.
@urusan
I believe it is possible in principle to construct a valid proof whose construction relies on at least one step that uses AI, and that this would involve a secondary proof of the validity of the AI-dependent step.
I voted no, however, because I conjecture that, for any proof with an AI-dependent step that is justified by a secondary proof, there exists an alternate formulation of the overall proof without the AI-dependent step.
