标签：谷歌AI拿下IMO奥数银牌，数学推理模型AlphaProof面世，强化学习 is so back

对于 ai 来说，奥数不再是问题了。 本周四，谷歌 DeepMind 的人工智能完成了一项壮举：用 AI 做出了今年国际数学奥林匹克竞赛 IMO 的真题，并且距拿金牌仅一步之遥。 上周刚刚结束的 IMO 竞赛共有六道赛题，涉及代数、组合学、...