I understand that the name only as a title offers no context to those who don't know Maryam Mirzakhani. But HN rules seem to favor not editing the original titles of articles and make them click-baity.
That's right. It's good for readers here to have to work a little. It slows down the usual reflexes and gives a little time for slower, more reflective mechanisms to kick in. Those are the ones that produce non-habitual responses, which are everything we care about.
https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...