他又往附近看了看，附近更是有些重量级人物。

他们甚至直接拉着海报或者是黑板过来，当街展示自己的成果。

对于这些人，工作人员都视而不见了，大概是人太多，懒得多管了。

林晓不由感到兴趣，想要见识一下这些民科们到底是怎么处理问题的，他瞥了一下，居然发现不远处就有一个人展示的是梅森素数判断公式。

他搞定的问题就是梅森素数，此时倒是好奇这个人是怎么做的，而且，能研究梅森素数判断公式的人，应该也不至于很‘民科’吧？

他想了想，反正距离会议开始还有半个小时的时间，不如逛一逛。

于是他便走了过去，站到黑板前看了起来。

黑板旁边蹲着一个巴西人，是这个黑板的主人。

他见到林晓过来，还有他脖子上戴着的那个牌子，说明是来参加会议的，于是他脸上立马就露出了热情的表情。

参加会议的，那就是懂数学，于是他直接站了起来，说道：“你好，你也知道梅森素数吧？看看我的判断公式，我可以肯定，绝对比卢卡斯－莱默检验法要更好！”

卢卡斯－莱默检验法就是当前用来检索梅森素数的方法，已经有几十年的历史了。

结果这位直接就说比这个方法好？

林晓不置可否，简单看了一下，结果黑板上只有简短的一行。

“令m为整数，设素数a，c大于零，c大于a，如果（2^a^3－2）/（2^c－1）=m，则2^c－1为梅森素数。”

林晓：“……所以你这应该是一个猜想吧？你没有证明过程啊。”

“如果要说猜想的话，那就应该是了，如果根据我的名字的话，它就应该叫做罗纳尔猜想了！”

听到林晓的话，他眼前很是兴奋，似乎找到了一个让自己名传千古的法子。

不过很快他又说道：“当然，虽然它是猜想，不过我们现在可以先假设他成立，然后通过这个方法，我们也能够精准的找出梅森素数。”

他说着，就找来黑板笔，在黑板上面写了起来。

“你看，现在我们可以令a等于7，c等于19，7和19都是素数嘛，然后代入式中，分子能被分母整除，所以当指数为19时，M19为梅森素数。”

“我们再举一个例，比如a等于3，c等于13，他们依然成立，而M13同样为梅森素数。”

“再比如a=5和c=31，a=13和c=61……”

“我们可以发现它都可以实现！”

这位大概是叫罗纳尔的巴西人，列出了七组数字，全部都应验了。

此时此刻，周围也有一些人被他们这裏的讨论吸引了过来，也来了不少人，看到罗纳尔的展示，都有些惊讶。

好像……有点东西啊？

居然真的能行？

但就在这个时候，林晓观察了一下式子后，忽然说道：“你试试a等于29，c等于67。”

听到林晓的话，罗纳尔一愣，便从旁边找来计算器，试了起来。

而结果，让所有人沉默了。

当代入林晓说的这两个值时，原式赫然也能够整除，但是并不能得出一个梅森素数！

周围的人都忍不住震惊地看着林晓，他是怎么看出来的？