Why Math Dumped OpenAI
Examines AI's impact on specialized domains and trust issues relevant to builders integrating AI tools
AI Summary
A mathematician argues OpenAI has betrayed the math research community through dishonesty and devaluation of human expertise, contrasting with Lean prover's integrity.
