After 16 minutes and 41 seconds, it came back with an argument that claimed to have improved the upper bound from exponential in k to exponential in log k for any k. I asked it to write that in preprint form too, which took it a further 47 minutes and 39 seconds.
AI在不到一小时的时间内不仅改进了数学上界，还能生成完整的学术论文，这种速度远超人类数学家的常规工作节奏。