テレンス・タオは最近「エルデス問題へのAI貢献」というウィキを立ち上げました。 バイブ数学