0727132人目の素数さん垢版 | 大砲2023/07/07(金) 14:49:41.27ID:00prbpAF これでショルツらが認めたかったのか認めたくなかったのかがはっきりするな abc予想の証明が副産物になるって、真偽は別にして、IUTが整数論そのものを下部構造化させて評価する理論なのは明らかだから それが数学者や国家にとってどんな意味を持つのか、真剣に考えた方がいい