小行星4257（）是一颗围绕太阳公转的小行星。1987年8月23日，J. Mueller在帕洛马山发现了此天体。这颗小行星的绝对星等为278.9194244877335等。