mathematician
OpenAI published an AI-generated proof claiming to resolve the 90-year-old Navier-Stokes existence and smoothness problem, triggering accusations from independent researchers who had used OpenAI tools during prior work.