454より大きい正整数は高々7個の3乗数の和で表せることの証明が最近発表されたけれども
http://arxiv.org/abs/1505.00647
IUTeichでabc予想関連以外にべき乗の和に関する不等式(評価式)は出せるのかな?