Be the first to argue YES
AI solving major mathematical problems is impressive, but a proof is only as valuable as its verification.