what I find interesting is that so far AI is successfully attacking mostly the concrete problems in this meme, and often even more specifically mostly revolving around geometry, combinatorics, and finding bounds, or like the faster matrix multiplication result
its for sure in big part about the nature of the problems being a better fit for current systems, but at the same time i wonder if this somehow points to the types of generalizations that the current models can do
what I find interesting is that so far AI is successfully attacking mostly the concrete problems in this meme, and often even more specifically mostly revolving around geometry, combinatorics, and finding bounds, or like the faster matrix multiplication result
its for sure in big part about the nature of the problems being a better fit for current systems, but at the same time i wonder if this somehow points to the types of generalizations that the current models can do