慶應まだいけてるんじゃないの
これ慶應で発見されたじゃん、世界初
>『辺の長さが全て整数となる直角三角形と二等辺三角形の組の中には、周の長さも面積も共に等しい組が（相似を除いて）たった1組しかない』という、これまで知られていなかった定理の証明に成功した