ニール・ソマニがエルドスの問題を解決したのか?
Neel Somani
Neel Somani1月11日 13:00
週末の勝利:Erdos Problem #397 の証明はテレンス・タオに受け入れられました。 証明はGPT 5.2 Proによって生成され、Harmonicで形式化されました。 多くの未解決の問題がそこに置かれ、誰かがChatGPTに解決を促すのを待っています。
CTが崩壊していく中で、昔のキャラクターが野外にいるのを見るのは楽しいです
31