IMO 2024 英文 | 中文 仓库收集了 2024 年国际数学奥林匹克竞赛(IMO)题目的解答： 来自DeepMind-AlphaProof的第1、2和6题的形式化解答。 所有题目的自然语言解答可以在这里找到。 关于 IMO 的其他资源，可以访问这里 IMO_Resource。