Avvablogによる、@HarmonicMath Aristotleによるエルデシュ問題#124の最近の「解」に関する興味深い議論。これは、自動化された定理証明や形式化よりも、より分かりやすい問題文を体系的に探すことの方が大きなアルファをもたらすことを示唆している。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
1 件のツイート · 2025/12/12 21:53
Avvablogによる、@HarmonicMath Aristotleによるエルデシュ問題#124の最近の「解」に関する興味深い議論。これは、自動化された定理証明や形式化よりも、より分かりやすい問題文を体系的に探すことの方が大きなアルファをもたらすことを示唆している。