AI Just Solved an 80-Year Math Problem. And Then Things Got Stranger.