Ponder This

について,当時も話題になっていたが,この問題自体は 2004 年に解かれていた.

IBM Research | Ponder This | February 2004 Challenge
IBM Research | Ponder This | February 2004 Solution

なので、当時の慶應大学のプレスリリース

www.keio.ac.jp

の、「これまで知られていなかった定理の証明に成功しました。」というのは間違いで、これまで知られていなかった訳ではありません.「新しい証明を発見しました」は正しいかも知れないけど(論文自体は読んでないし、読めないだろうし)。