ミラー予想ってまだ数学として独立してないんですか？
予想を数学的に厳密に定式化というのか
物理の概念・用語とかも全部数学の言葉に置き換えて、物理のいろはもわからない人も
取り組めるようになってるといいんですが
ホモロジー的ミラー対称性は純数学っぽいと、どっかで読みましたが