برنده جایزه مریم میرزاخانی در سال ۲۰۲۰ اعلام شد