RecodeX 重构消息，菲尔兹奖得主蒂莫西·高尔斯在其博客文章中表示，迄今为止，大语言模型（LLM）已解决的著名数学问题几乎全部是以构造反例的方式完成，而非给出严格证明。他未在文中具体列举这些问题。