１１／２（Mon）：解析的証明

今日はボスとChris考えている最近発表された証明なしの定理について、解析的な証明ができないか本腰を入れて考えてみた。数値的には彼らの定理は正しいはずなので必ず解析的な証明が存在するはずだ。Chrisのアイディアで問題の見通しが良くなったので、それを足がかりに一日中あれこれやってみた。しかし結果は全て駄目。。やればやるほど、そんな定理が成り立つはずがないと思えて来る。。数値シミュレーションの結果を疑いたくなった。今日は一日無駄に終わってしまった。