Meta's AI-assisted ellipsoid-fitting proof announcement draws criticism over earlier proofs · Digg