求教，有没有已知的模形式对应的椭圆曲线被发现

你只需要仔细看一下Modularity Thm到底说的是什么就知道了。

由于指定level的模形式本身的空间维数有限，所以通过有限的计算总可以找到对应的模形式。

经典的例子是 y^2 + y = x^3 - x^2 对应 q (1-q^n)^2(1-q^11n)^2 (n=1到无限，连乘)。
对于绝大多数的椭圆曲线，对应的模形式会复杂很多。