AxiomProver がエルデシュ問題 #481 を解決しました - 5 時間かかりました #124 の簡易版は 24 時間以上かかり (うわっ)、思ったほど簡潔ではありませんでした
私たちは設立から4ヶ月半の会社で、まだまだ道のりは長いです。これはエルデシュ問題を解く、つまり数学的なポケモン狩りです。 真の数学とは、数学のあらゆる分野における深い発見、特に深い文献を持つ分野における発見です。さあ、前進！
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。