5 ms·
That question was asked by Kevin Buzzard, who is on the IMO Grand Challenge committee. So we are really going over old ground here.
by OscarCunningham 7y ago
That question was asked by Kevin Buzzard, who is on the IMO Grand Challenge committee. So we are really going over old ground here.
- woopwoop 7y agoI'm a little perplexed by the dismissiveness of your response (perhaps I'm misreading?). I'm not saying IMO problems will never be algorithmically approachable, just saying expressing these problems in terms of Grobner bases may be harder than is suggested here. Buzzard also expresses skepticism about using Grobner bases for these sorts of problems in the comments.
- OscarCunningham 7y agoI wasn't trying to be dismissive, just saying that I didn't have much to add that wasn't already said there (and separately pointing out the connection between Buzzard and this thread).