的内容。
然后，他的表情就开始了变化。
前面的部分，他还能够跟上林叶的思路，林叶引入了常微分方程定性理论中的「比较定理」，这个知识点梁渠还有印象。
但很快，他的阅读速度就慢了下来，甚至还下意识地拿起桌上的笔，在草稿纸上跟着演算。
林叶为了证明β的上下界，巧妙地构造了一对极其复杂的辅助函数，这对函数由多项式和指数衰减项组合而成，形式极为刁钻。
「这个辅助函数……他是怎么想出来的？」梁渠的额头开始渗出细微的汗珠。
他发现，自己已经无法轻松地预判林叶的下一步推导了。
而接下来，林叶开始运用一系列不等式放缩技巧，去证明他构造的这对函数确实满足「上下解」的条件。
当梁渠看到林叶在证明过程中，引用了一个名为chaplyg的定理时，他彻底卡住了。
这个定理的名字，他完全没有印象，而具体内容和应用条件，他就更不清楚了！
以至于他只能当场打开了某度搜索，而甚至连某度搜索中，关于这个定理的内容都相对较少，足以说明其少见，如果没有足够的知识面，是绝对想不到的。
他忍不住看向了旁边的林叶，问道：「这个定理，你也是从我给你买的那些书上看到的？」
林叶看了一眼，然后回答道：「不是，是我自己看的其他资料上知道的。」
实际上就是修炼空间中给他准备的那些学习资料上包括的知识点。
说起来，他当初在修炼空间仔细学习过的那些学习资料，也都被打包进了他的记忆中，让他现在就算是想要忘掉这些知识都很难。
这大概也算是修炼空间的另外一种作用？
而听了林叶的回答，虽然还是不知道他到底都是从什么资料上了解到这么偏门的知识点，但梁渠也算是越发认识到，林叶在学习这些新知识的事情上，是相当认真的。
随后，梁渠也没有再多说，继续往下面看去，但是到这种程度，他也不能说自己能够给这篇论文提供什么客观的评价了。
因为，他必须承认，自己看不懂。
随着滑鼠滚轮的滚动，论文被翻到了最后一页，梁渠有些颓然地靠在了椅背上，长长地吐出了一口气。
一种混杂着震撼、挫败和哭笑不得的复杂情绪涌上心头。
而这时候，旁边的林叶倒是试探性地问道：「老师，我这篇论文，