alt Hacker NewsI think GP's point is that if the larger math community doesn't care about option C, Fefferman shouldn't have given that option in the first place.
Replies
etdznots • today at 10:54 PM
A solution to any of the four options made by an LLM armed with a theorem solver and millions of dollars of compute would still not be that interesting to the math community since it is not likely that any new insights oe questions can be derived from the result
ChickeNES • today at 9:28 PM
yes!
Fefferman and the larger math community are not the same actor; a divergence between their concerns is not surprising.