单项选择题 约翰·米歇尔在（）年提出了暗黑的概念。

判断题 杨-巴克斯特方程中，杨振宁搞的是二维的问题

判断题 丘成桐曾经获得过菲尔兹奖