“A separate research project called Machinist Miriablus used a model with a 1900 data cutoff to attempt to rediscover special relativity.”