Different models solve number-theory race problem | Dark Hacker News