A Melbourne mathematician and two fellow cryptologists have been recognised by the FBI for solving a 50-year-old cryptic message written by the Zodiac serial killer.