一個新的 GPT Pro 模型似乎正在網路上進行測試，不確定應用程式的情況。 這看起來是編碼能力的巨大飛躍；可以在一次提示中輸出 6000 多行。更多示例在評論中。 如果在 CoT 摘要旁邊有一個讚/不讚的按鈕，你就知道你擁有它。

Erdős 問題 #635 由 GPT-5.2 Pro 自主解決。 該模型僅思考了 50 分鐘，輸出了正確的證明，使用 Latex 格式，然後由 @HarmonicMath 的 Aristotle 在 Lean 中進行形式化。 特別感謝 @AcerFur 清理 Lean。 文獻回顧仍在進行中。

*Nano Banana 2* 巨大的輸出庫！ 昨天我獲得了 nano banana 2 的訪問權限，整天生成了大量的圖像。 我不會包括提示，因為那會花我幾年時間，這裡是圖像：