第二百三十四章（下）
我們幾個人聊了一會兒，自然而然就聊到數模比賽的事，聊到了stafenie開發的那個模型優化的軟件。
「stafenie，你開發那個模型優化的軟件現在完成了嗎？」我問stafenie。
「哦，你也知道？前幾天剛把參數擬合的模塊修改完，不過現在還沒調試！」stafenie說。
「我曾經用過那個軟件，發現也是缺參數擬合的部分，不過我現在自己開發了個模塊補上了！」我說。
Stafenie吃驚的看著我，說：「哦，真的？你是用SLER的算法？」
我正要實話實說，轉念一想，要是承認的話，stafenie肯定會問我怎麼找到SLER的算法的，我難道告訴他我把SLER給crack了？
我猶豫了一下，沒有說實話，「是一個類似的算法！」
「哦，不過參數擬合是這個軟件很重要的部分，擬合的不好，模型優化的結果甚至是不可用的！」stafenie認真的說。
鍾國強壓根不懂我們在說什麼，傻傻的看著我們，我心裡面有點得意。
「你剛才是不是又在騙人了？」子墨在我耳邊小聲的說。
我側臉看著子墨，有點驚訝的說：「你怎麼知道？」
「呵呵，我雖然不懂數學建模，但是你的表情我還是讀得懂的！」子墨笑著輕聲的說。
「你可不要讓我穿幫了，我把那個老外的軟件給破解了！這事可不能讓外人知道了，切記，切記！」我一臉嚴肅的說。
「封口費！」子墨伸出手來對我說。
我在兜裡面掏了半天，好不容易找到了一個一塊的港幣，輕輕的放在子墨手上，嬉皮笑臉的說：「都給你，不用找了！」
「你，你，你……」子墨有點氣急敗壞，但是在眾人面前又不便發作。
這次宴會上來頭最大的兩個人無疑是sanuel和亞歷山大了。雖然他們倆互不認識，但是對方的大名也早就聽說過，還有個重要原因是亞歷山大一直以來，都是stafenie的偶像。
亞歷山大是個神秘而低調的人，和葉蓮娜坐在一個角落，一人拿一支筆，時不時的相互聊幾句，時不時又在紙上寫寫畫畫，不引人注目。雖然stafenie沒見過亞歷山大，不過這次比賽僅有一支隊伍來自俄羅斯，所以stafenie還是很快在大廳裡面找到了他們。
Stafenie拉著sanuel走過去，「走，我們也去看看！」我對子墨說，然後也跟在他們後面。
亞歷山大對sanuel來主動搭訕，感到很驚訝，雖然他和sanuel一樣都是當今世界上在各自領域頂尖的科學家。
我們幾個人圍坐在一個小圓桌旁，相互介紹認識。葉蓮娜是個害羞的小姑娘，說話的時候都半低著頭，我很難想像這個怕見生人的小姑娘具有如此大的威力，在兩年間橫掃歐洲大陸，囊括了所有歐洲數模比賽的冠軍。
亞歷山大和葉蓮娜都不懂英語，只會說俄語和一點簡單的法語，幸好子墨和stafenie都懂法語，成了我們交流的橋樑。
Stafenie忽然對桌面上那張稿紙產生了濃厚的興趣了，亞歷山大和葉蓮娜剛才在上面寫寫畫畫都很多公式。
「葉蓮娜說想到了關於有限單群的窮舉是完全的一個簡單證明思路，剛才我們在一起討論！」亞歷山大指著稿紙，笑著說。
亞歷山大說的輕描淡寫，但我和sanuel，stafenie都大吃一驚。子墨雖然聽懂了，但是不明白「有限單群的窮舉是完全」的具體含義。
「這是數學群論的一個經典論題，單群的概念是由Galois（伽羅華）在1830年最初給出的，20世紀80年代，有100多位數學家發表了幾百篇論文，最終證明了他們共同努力列出所有的單群並證明這樣的列舉是完全，但是這個證明長達15000頁，是目前世界上最長的證明，據說美國數學家美國戈朗斯坦是唯一能看懂這個證明的人……」我簡單給子墨把來龍去脈說了一遍。
子墨咋了咋舌頭，說：「雖然我數學也不差，不過看到證明題我就覺得頭大！上百名科學家用長達15000頁論文證明題目，她竟然能用一個簡單的方法證明出來，那真是奇跡！」
子墨也滿臉驚歎的看著葉蓮娜，她也沒想到這個羞澀的小姑娘身上居然蘊藏著這麼巨大的智慧。
「呵呵，是不是對比賽拿冠軍沒信心了！」子墨看著我一臉驚異的表情問。
「誰說的，我一個男子漢難道還會敗給這個小女生？」我不服氣的說，其實心裡面一點底氣都沒有。
「不是一個，還有stafenie呢！」子墨故意提醒我說。
「子墨，才幾分鐘你就胳膊肘往外拐了，長他人志氣，滅自己威風？」我不滿的說。
「呵呵，」子墨笑了笑說：「不錯，果然有志氣，我就拭目以待！」
()