感谢上帝，一些大型语言模型（LLM）能够在国际数学奥林匹克（IMO）中获奖。即使在基本的函数分析问题（如子空间分解）上，o3 也会给出无法纠正的错误问题。 但我乐观地认为，在1-2年内，它会变得更好。