首次,一个AI模型(GPT-5)自主解决了提交给我们基准项目IMProofBench的一个开放数学问题,提供了完整且正确的证明,没有人类提示或干预。 这是对枚举几何的小而新颖的贡献。一些背景: