DeepMind breaks 50-year math record using AI; new record falls a week later

Using AI to help us improve AI. Wonder how soon we can cut out the "us" part..