Comment by namjh

No offense to the participants, but TBH I believe this is exactly the moment what Terrence Tao was concerning on "vibemathing". OpenAI breaking the O(N log N) barrier could be a meaningful event and surprise mathematicians and we have valuable information that it was not a lower bound indeed. I'm afraid that in this autoresearch campaign people are focusing only on lowering numbers, while having insights that humans can learn.