もしもabc予想が「真」だとするならば、realityには宇宙際タイヒミュラー（IUT）理論というan axiom（一つの公理）が組み込まれているに違いない。

これが望月新一さんが主張したいことなのだと、左掲の番組「数学者は宇宙をつなげるか？」完全版 (4月15日放送)、を見ていて私は感じた。

つまりまだ、abc予想が「真」だと証明されてはいない。このことは番組でも説明されていた。

番組では所謂「強いabc予想」が紹介され、その反証探しに取り組んでいる人も紹介された。
強いabc予想とは：
　abc-triples: comprise positive integers a,b,c such that a+b=c   において
    c/rad(c) < rad(ab)    が成り立つという予想。
   (正の整数nの、互いに異なる素因数の積を根基(radical)と呼び、rad(n)と書く。）

未だ「反証」は見つかっていない。しかしもし見つかれば、abc予想が「真」だとはいえず、従って
「realityには宇宙際タイヒミュラー（IUT）理論が組み込まれている」とはいえない。

番組は「abc予想が証明された」という間違った印象を与えていた。なのでメモしておく。

なお、タグの分類を「新たな社会経済システム」とした理由は、望月新一氏自身による以下の記述、宇宙際タイヒミュラー理論の衝撃が及ぶ範囲の広さの説明、を見れば了解されるだろう。

・・・実際、多くの著名な研究者が長らく「あり得ない」ものとして認識してきたものを、「立派にあり得る」ものとして受け入れてしまうとなると、夥しい数の社会的な構造や組織、地位等が立脚している、底なしに「頑丈」とされてきた様々な形の「固定観念」や「評価の物差し」を根底から否定し、覆すことを意味するはずです。しかも、この従来の「固定観念」や「評価の物差し」に対する否定効果は、数論幾何学という数学の一分野に対する「一次的」な現象に止まる表面的な性質 のものではなく、数学とは直接無関係な、一般社会の様々な構造や組織、地位等に対しても少なからず波及効果を及ぼすことは恐らく多くの関係者からすれば容易に想像が付くでしょう。その意味においては「衝撃的」との受け止め方には一定の合理性は認められます。・・・

　　　　　　　　　　　加藤 文元『宇宙と宇宙をつなぐ数学　IUT理論の衝撃』巻頭言：
　　　　　　　　　　　　　　　　　　「刊行によせて」　望月新一（IUT理論提唱者）