占坑，慢慢答 如何理解它的强度 很强。它做出了 IMO 6 道题中的 4 道，获得了很靠前的排名（差点就金了）。 没有很多人想的那么强。根据 Timothy Gowers （菲尔兹奖得主，监督 deepmind 做题的数学家）解读，它做一道题需要几十个小时（而人总共不到十小时）。它需要把用自然语言描述的数学题先由人形式化成一个定理，再交给 LLM 作为输入。 而且对于几何题和其他题，他用了两套不同的东西，这其实是非常不自然的，因为人不是组…