s=46[5]https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level
[5]https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ —完— 2024年第65届IMO官方解析及评注
图源:谷歌DeepMind AlphaProof 和AlphaGeometry 项目组 于2024年7月25日发表的 《AI achieves silver-medal standard solving International Mathematical Olympiad problems》 (《人工智能在解决国际数学奥林匹克问题上达到银牌标准》)一文 01 AlphaProof AlphaProof...
划重点：2024 IMO并不在这两个AI的训练数据中。其实，早在今年1月份，谷歌DeepMind的第一代AlphaGeometry就登上了Nature。当时，它做出了IMO 30个几何题中的25道。AI工程师Devin背后创始人之一Scott Wu（IOI三枚金牌得主）感慨道，「当我还是个孩子的时候，奥林匹克竞赛就是我的全部。从来没有想过，仅仅10年后...
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://arstechnica.com/information-technology/2024/07/google-ai-earns-silver-medal-equivalent-at-international-mathematical-olympiad/ https://www.technologyreview.com/2024/07/25/1095315/google-deepminds-ai-systems-...
https://medium.com/nice-math-problems/imo-2024-usa-wins-china-2nd-korea-3rd-a404f3cf1bbb 三山半落青天外,一水中分白鹭洲——第64届国际数学奥林匹克竞赛后记 荣耀与失落——第63届国际数学奥林匹克竞赛后记 百转千折终流去,莫负青春好年华——第62届国际数学奥林匹克竞赛后记 ...
领导，Mirek Olšák、Xiaomeng Yang、Hoang Nguyen、Junehyuk Jung、Dawsen Hwang 和 Marcelo Menegali 做出了重要贡献。此外，David Silver、Quoc Le、哈萨比斯和 Pushmeet Kohli 负责协调和管理整个项目。参考内容：https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ ...
https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P1/index.html P2 第二题考察的是,正整数对(a,b)的关系,涉及到最大公约数的性质。 AI求解的答案是: 定理是对于满足特定条件的正整数对(a,b),其集合只能包含(1,1)。
划重点:2024 IMO并不在这两个AI的训练数据中。 其实,早在今年1月份,谷歌DeepMind的第一代AlphaGeometry就登上了Nature。当时,它做出了IMO 30个几何题中的25道。 AI工程师Devin背后创始人之一Scott Wu(IOI三枚金牌得主)感慨道,「...
两位AI给出的答案,由著名数学家Timothy Gowers教授(IMO金牌得主和菲尔兹奖得主)和Joseph Myers博士(两次IMO金牌得主、IMO 2024问题选择委员会主席),根据规则进行评分。 最终,AlphaProof正确做出两个代数题和一个数论题,其中一个最难的问题,在今年IMO中只有5名人类参赛者做了出来;AlphaGeometry 2则做出了一道几何题。