弦定理、哥德巴赫-欧拉定理等各种定理。
没有导师，没有同行，没有理论验证，这也导致这半年多来他压根就不知道自己学到哪里了，就一直在各种刷数学。
当然，他刷的各种数学教材和定理都是在一个大分类里面的。
人类发展了几百年的数学，衍生出来的数学科目太多，从基础数学到计算数学再到应用数学，各种科目繁华无比。
繁多的数学分类与庞大的无比的各种数学教材、定理即便是有学习勋章的辅助，韩元也不可能在一年的时间内都学完。
所以在一开始的时候，他就思考过自己要学的数学分类，以及这个分类下对应的世界级数学难题。
本来韩元是打算再刷两三个月的，等待核武完成后再来做这个数学基础任务的。
不过现在闲着也是闲着，可以检验一下自己到底学的怎么样了。
世界级的数学难题除了最出名的七大千禧年难题外，还有标准猜想、abc数学猜想、哥德巴赫猜想、希尔伯特二十三问、四色猜想、朗兰兹互反猜想这些。
当然，数学猜想这种东西也是有难度之分的。
七大千禧年难题最出名，但并不代表它们还是最难的，像标准猜想、abc数学猜想在数学界都默认比七大千禧年难题更难解决。
之所以没有列入七大千禧年难题，是因为数学界几乎公认它们并非这个世纪能解决的问题，可能要等到下个世纪的数学家才能处理掉。
而除了这些出名的数学难题外，世界级的数学难题还有一些，难度高低不定，但总体来说比上述的这些要简单一些。
韩元也没想过这两天的就能解决数学基础任务，因为这是不可能的事情。
即便是非七大千禧年难题里面的，也不是那么容易解决的。
真要容易解决，早就被人搞定了。
韩元没准备拿七大千禧年难题级别的数学猜想来当做自己的试金石。
攀登珠峰也不是说一步就能上去的。
检验自己到底学到了一个什么样的地步，由易渐难的推进是最好的办法。
如果将数学和山峰一样，按阶梯高度进行排序分列，那么毫无疑问，七大千禧年难题、标准猜想、abc数学猜想这些是八千米级别的。
当然，第一阶梯的除了这些尚未被解决的，还有不少已经被干掉了的。
比如被佩雷尔曼干掉的庞加莱猜想、比如被怀尔斯干掉的费马猜想。
虽然这些猜想都已经成为了定理，但并不代表它们的难度要比七大千禧年难题要弱。
只不过数学太庞大了，一个人终其一生可能也无法钻研透彻一个问题，更别提解决这些世界难题了。