GPT-5-Pro 在仅仅 15 分钟内（没有任何互联网搜索）解决了被称为“汤村裕的第 554 个问题”的演示问题。 这是第一个完全解决此任务的模型。我期待很快会有更多这样的结果——该模型展示了对初等抽象代数推理的深刻理解。