我想知道有多少人等待下一个模型，他们是否有实际的用例是当前模型无法解决的（但又足够接近，以至于新模型可能真的能填补这个差距，而不是需要重大的突破或上下文窗口的改进）

我想大家都卡在国际数学奥林匹克的第六个问题上了。