🃏 AI solves famous math problem. Bigger breakthroughs to come? When you consider that the US productivity growth — the main, long-term driver of rising living standards — has been in a 50-year funk, ...