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