3 ms·
"AI tends to make interesting things boring" If a conjecture can be one-shotted by OpenAI Astra, I have a hard time believing it is interesting.
by linhvn 17d ago
"AI tends to make interesting things boring"
If a conjecture can be one-shotted by OpenAI Astra, I have a hard time believing it is interesting.
- rubikscube09 16d agoAnd what do you find interesting right now?
- linhvn 15d agoUse AI to deepen my understanding and learning some interesting math. I studied a lot of combinatorics in high school, but my understand at that time was very adhoc (that most of combinatorics problems are just a bunch of elementary tricks applying here and there). With AI, I could categorize the bag of tricks into systematic topics, and discover formal concepts. For example, here are two topics that came up during my time solving combinatorics problems in the past: https://en.wikipedia.org/wiki/Parking_function https://en.wikipedia.org/wiki/Parking_function https://www.sciencedirect.com/science/article/pii/S0012365X07009806 https://www.sciencedirect.com/science/article/pii/S0012365X0...