I think there are a lot of distinctions one can draw—for example a lot of math is more “theory-building” than “problem-solving,” and we’ve see relatively little progress there. Not saying it won’t happen, just that it hasn’t happened yet.
1 1 67
Daniel Litt
@littmath
Replying to @littmath
Part of the disconnect between the rhetoric here and the reality (and why I complain so much) is that most math research doesn’t look like “solve this rigorously stated problem.” Of course tools that can do so would be immensely useful, but it’s a pretty small part of the job.
4 65