Man the cope on HN is something else. Neighbour, 99.9(9)% of professional mathematicians don't go around creating new mathematics. The goalposts have been moved so far that we're now at "AI isn't Grothendieck yet".