RT @polynoamial: 在去年夏天的IMO结果公布后,有人将其视为“高中数学”。我们认为我们最新的模型将消除任何疑虑…