If AI Is Ramanujan, Who Is Hardy?