要见识一下这些民科们到底是怎么处理问题的，他瞥了一下，居然发现不远处就有一个人展示的是梅森素数判断公式。
他搞定的问题就是梅森素数，此时倒是好奇这个人是怎么做的，而且，能研究梅森素数判断公式的人，应该也不至于很‘民科’吧？
他想了想，反正距离会议开始还有半个小时的时间，不如逛一逛。
于是他便走了过去，站到黑板前看了起来。
黑板旁边蹲着一个巴西人，是这个黑板的主人。
他见到林晓过来，还有他脖子上戴着的那个牌子，说明是来参加会议的，于是他脸上立马就露出了热情的表情。
参加会议的，那就是懂数学，于是他直接站了起来，说道：“你好，你也知道梅森素数吧？看看我的判断公式，我可以肯定，绝对比卢卡斯-莱默检验法要更好！”
卢卡斯-莱默检验法就是当前用来检索梅森素数的方法，已经有几十年的历史了。
结果这位直接就说比这个方法好？
林晓不置可否，简单看了一下，结果黑板上只有简短的一行。
“令m为整数，设素数a，c大于零，c大于a，如果(2^a3-2)/(2^c-1)=m，则2^c-1为梅森素数。”