The article title has been revised to more accurately reflect the researcher's position (and removes the AI ambiguity): "Google Researcher, Long Out of Math, Cracks Devilish Problem About Sets"

Should the title of this HN entry be updated accordingly?