Tag
A commentary discussing the mathematician backlash against OpenAI's released AI-generated mathematical proofs, arguing the real issue is not lack of human credit but the lack of comprehensibility — models only close proofs without conveying understanding needed to advance mathematics.