AI’s build a ladder, humans climb over the wall

BENJ EDWARDS, writing for Ars Technica:

Last week, DeepMind announced it discovered a more efficient way to perform matrix multiplication, conquering a 50-year-old record. This week, two Austrian researchers at Johannes Kepler University Linz claim they have bested that new record by one step.

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

This story very nicely illustrates the possible future collaborations between AI’s and humans: AI’s find a promising path forward, and humans push through further.