标签：陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」

在奥数问题面前，ai 的「智商」往往不太够用。不过，这已经是过去式了。谷歌 deepmind 用 ai 做出了今年国际数学奥林匹克竞赛 imo 的真题，并且距拿金牌仅一步之遥。对于 ai 来说，奥数不再是问题了。imo 2024 中六个问题...