4 ms·Watershed Moment for AI–Human Collaboration in Math Proof Verification3 points by oldnetguy 7mo ago