"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.
If a conjecture can be one-shotted by OpenAI Astra, I have a hard time believing it is interesting.
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://www.sciencedirect.com/science/article/pii/S0012365X0...