Math and AI: A New Era | The Stack Stories