週末の勝利:Erdos Problem #397 の証明はテレンス・タオに受け入れられました。 証明はGPT 5.2 Proによって生成され、Harmonicで形式化されました。 多くの未解決の問題がそこに置かれ、誰かがChatGPTに解決を促すのを待っています。
糸:
5