What does it mean to be a mathematician when AI does the math?

27/06/2026 Font: Lobste.rs Tags: math, ai