许多人工智能模型似乎在国际数学奥林匹克中取得了重大进展，不仅仅是OpenAI。并不是所有的公告似乎都已经发布。