Slide 12 and 13 sum up my conclusions from the Oct 8 100+ reactions to 100+ solutions. Several reported OpenAI drop included answers put a wrap on problems they had been working for years. Several said that they have to completely rewrite grant requests that they had just submitted. Others described learning of the solutions problems they had been working on like losing an old friend or a lover. The general sentiment was to bemoan the loss of a field, as if it would have been better be born in the early 20th century and conclude their career arc before reaching this point. My take away is that the field needs to get it through their heads that their old problems are no longer ambitious, and that their job in the short term is to find the new frontier.
One idea Terrance Tao conjectures, which is highly doubtful, is that spamming the AI button will solve open problems without producing insightful new methods. But the OpenAI drop would seem to disprove this. The sub O(nlogn) proof for DFT for example violated very old human assumptions. Decades of work in the field was incremental progress on sub optimal method that nobody questioned hard enough. More generally, we should always be able to go back to a super-human AI and say, "Attack this problem, but don't use a method tried before."
One idea Terrance Tao conjectures, which is highly doubtful, is that spamming the AI button will solve open problems without producing insightful new methods. But the OpenAI drop would seem to disprove this. The sub O(nlogn) proof for DFT for example violated very old human assumptions. Decades of work in the field was incremental progress on sub optimal method that nobody questioned hard enough. More generally, we should always be able to go back to a super-human AI and say, "Attack this problem, but don't use a method tried before."