Ponder This

「こんな面白いことが証明できるのか！！」

と思った論文を紹介したいと思います！（慶応大・平川さん、松村さんの2019年の成果です）
手法も面白いです！　ぜひご覧ください！

世界に一つだけの三角形のペア「864」 - 明日話したくなる「数」のお話 #27 https://t.co/kbqRhfod1m @YouTubeより pic.twitter.com/3X8O8k62nm

— tsujimotter 日曜数学者 (@tsujimotter) 2022年7月31日

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

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

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

www.keio.ac.jp

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