> > 数学の証明も最近はｺﾝﾋﾟｭｰﾀの力技らしいね
> > 数学も終わりだ(;´Д`)
> それって四食定理ぐらいじゃないの(;´Д`)

さすがにPCじゃ無理かな(;´Д`)

史上最大の答え。数学の証明問題、解が200TBに達する | ギズモード・ジャパン
https://www.gizmodo.jp/2016/06/200tb.html

参考：2018/08/31(金)00時13分33秒