Hopefully in decades hallucinations will be largely solved.
its just as likely hallucinations will only get worse because their source data will be riddled with hallucinations
You can't hallucinate a working lean proof.
But you can hallucinate everything else.