Comment by colordrops

Who is this "we" you speak of? The professional mathematician community? Were pre-AI results useful outside of this community of people who could understand them?