AI theorem proving

The century of the checker & will it matter for India’s story?