一个新的 GPT Pro 模型似乎正在网络上进行测试，不确定在应用程序上是否也有。 这看起来是编码能力的巨大飞跃；可以在一个提示中输出 6000 多行。更多示例在评论中。 如果 CoT 摘要旁边有一个点赞/点踩按钮，你就知道你拥有它。

Erdős 问题 #635 由 GPT-5.2 Pro 自主解决。 该模型思考了仅仅 50 分钟，输出了一个正确的 Latex 证明，然后由 @HarmonicMath 的 Aristotle 在 Lean 中进行了形式化。 非常感谢 @AcerFur 清理 Lean。 文献综述正在进行中。

*Nano Banana 2* 巨大的输出库！ 昨天我获得了对 nano banana 2 的访问权限，整天生成了大量图像。 我不包括提示，因为那会花我很多年，这里是图像：