一秒记住【笔趣阁小说网】xbiquge345.com,更新快,无弹窗!
第106章谁说我只会做已知答案的题?
那篇文章是在一个星期三的早晨抵达集训队的。
方宜民去传达室取信件,回来的时候手里抱着一摞牛皮纸信封和几本订阅的学术期刊。
他把东西放在活动室的桌子上,队员们像往常一样围过来翻找自己的信件。
陈志远翻到一本《数学通报》,正要翻开,忽然发现期刊堆里夹着一份英文报纸。
报纸是复印版,纸张比原版薄,但字迹清晰。
(请记住台湾小说网书海量,?????.???任你挑网站,观看最快的章节更新)
头版右下角有一篇被红笔圈起来的文章,标题是:「TheMemorizationMachine:
InsideChinasMathOlympiadFactory」—记忆机器:中国数学奥林匹克工厂内幕。
陈志远读完标题,脸色就变了。
他把报纸递给旁边的顾小北,顾小北接过去看了几行,嘴唇抿成一条线。
报纸在队员们手里传递,每传到一个人手里,活动室里的温度就下降一度。
传到陆沉手里的时候,他已经从前面几个人的表情里读出了文章的大致内容,但他还是从头到尾读了一遍。
文章署名是一个他从没听说过的英文名字,身份标注为教育观察家。
文章的开头从1989年国际数学奥林匹克说起,提到了中国队在莫斯科的团体金牌,然后话锋一转——
「这枚金牌的背后,是一个将数学简化为记忆训练的系统。中国的数学教育不培养数学家,它培养的是人肉计算器。」
文章引用了几个匿名信源的言论,描述了中国学生如何每天刷题十几个小时丶背诵数百个解题套路丶在考场上复现标准答案。
文章还专门提到了即将到来的1990年IMO—「去年在莫斯科,中国队用一套超前的数值算法震惊了赛场。
但当我们拆解那个算法时发现,它本质上仍是对苏联学派已有理论的重新包装。
真正的原创性突破,依然来自莫斯科丶普林斯顿和巴黎。
中国的年轻选手们可以把一道已知答案的题目做到完美,但当问题变成提出一个新问题时,他们沉默了。
陆沉把报纸放在桌上。
活动室里没有人说话。
那种沉默不是被说服的沉默。
在场的十八个人,每一个都是在全国几十万中学生里杀出来的,他们太清楚自己付出了什么,也太清楚那篇文章里描述的东西和他们的真实经历根本不是一回事。
但正是这种根本不是一回事让他们愤怒。
对方根本没有试图了解过他们,就给他们贴上了一张记忆机器的标签,而这张标签一旦贴上去,任何辩解都会被看作记忆机器的辩解。
方宜民站在门口,手里还拿着那摞信件的剩余部分,脸上的表情像吞了一只苍蝇。
「刘领队说,这份报纸是数学所那边传过来的。所里的意思是—让你们看看。」
「看了以后呢?」王雪松问。
他的声音比平时低了一个调,手里拿着的钢笔笔帽被他反覆拔开又按上,咔嗒咔嗒的声音在安静的空气里格外清晰。
「刘领队没说。」方宜民把信件放在桌角,「他让你们自己消化。」
陆沉把那份报纸重新拿起来,翻到文章的第三段—那一段专门分析了莫斯科算法模块的不完整Cholesky分解。
文章作者显然做了功课,他甚至知道预条件子的技术细节,但他的结论是:「这种方法在苏联科学院的计算数学传统中早有雏形,中国选手的创新不过是将已有的理论框架应用到了一道具体的题目上,这就像一个人背熟了菜谱然后做出了一道菜,你可以说他手艺不错,但你不能说他是厨师。」
陆沉读到这里的时候,手指在报纸边缘停住了。
他忽然意识到,写这篇文章的人,可能真的读过苏联科学院的相关论文。
他知道索科洛夫的工作,知道西伯利亚分院在数值代数方向上的积累,知道不完整分解的思想在1980年代的苏联学术圈里确实有过讨论。
但这个人的结论下错了一他把存在相关讨论等同于问题已被解决,把有雏形等同于已完成。
这是一种很隐蔽的谬误,需要相当的专业知识才能识别。
而对于没有专业知识的普通读者来说,这种论述方式具有极强的说服力—它列举了具体的技术名词,引用了学术脉络,看起来非常权威。
集训队里的每一个人都能感觉到文章在歪曲事实,但不是每个人都能在专业层面上拆解这种歪曲。
陆沉把报纸折好,放进口袋里。
上午的训练课,彭老师明显感觉到了气氛的异常。
他讲了二十分钟,下面的人记笔记的手是机械的,眼神是散的。
他没有问你们怎么了,他只是在讲完一个引理之后,把粉笔放下,两只手撑在讲台边沿上,等。
等了大概半分钟,顾小北举手了。
「彭老师,那份报纸您看了吗?」
彭老师点了点头。
「看了。」
「您怎么看?」
彭老师摘下眼镜,用衣角擦着镜片。
他擦得很慢,像是在利用这个动作组织语言。
「那篇文章里有一句话,说中国学生只会做已知答案的题,当问题变成提出一个新问题」时就沉默了。这句话本身,就是一个逻辑谬误。」
他把眼镜重新戴上。
「它把两种不同的能力—解题能力和提问能力——对立起来,好像一个人有了其中一种就不能有另一种。
但事实上,真正好的数学工作,从来都是两者兼备的。你不可能提出一个好问题,除非你对已有的答案理解得足够深。你也不可能真正理解一个已有的答案,除非你在心里已经把它拆开丶重组丶并且问过了如果不是这样会怎样。」
他拿起粉笔,在黑板上写了两个词:Solve,Ask。
「解题和提问,是同一枚硬币的两面。
那篇文章故意把它们割裂开,然后用割裂之后的假对立来攻击你。这是辩论技巧,不是数学。」
彭老师的这番话让活动室里的气氛松动了一点,但没有完全解开那个结。
因为队员们都知道,他们知道那篇文章在逻辑上有问题,但外面的人不知道。
那篇文章是写给外面的人看的,而外面的人不会像彭老师这样坐下来听一堂逻辑分析课。
午休的时候,陆沉没有回宿舍。
他坐在阅览室里,面前摊着那份报纸的复印件,旁边是他自己的便签本。
他把文章中涉及具体数学内容的部分逐段摘出来,一共找出了七处。
第一处,关于不完整Cholesky分解早有雏形的论断。
第二处,关于图兰定理扩展形式证明中代数拓扑构造的可替代性评价—文章称这个证明虽然正确但不够本质,可以用纯组合方法替换。
第三处,关于预条件子谱界推导中苏联学派已有框架的指认。
第四处,关于中国队算法模块2.1秒成绩的平台红利解释—一文章称BESM—6的硬体特性恰好契合了那种算法,如果换一台机器就不灵了。
第五处,关于组合数学中拉姆齐数下界估计的标准套路描述。
第六处,关于中国选手擅长计算丶不擅构造的概括性判断。
第七处,关于中国数学教育培养不出费尔兹奖级别数学家的预测。
七处。
每一处他都找到了对应的数学反驳。
他在便签本上把七处谬误的拆解框架写了出来。
不是情绪化的驳斥,是逐条的技术性回应。
第一处需要引证不完整Cholesky分解的学术史—1980年曼特菲尔的那篇开创性论文之前,确实有过零散的讨论,但从未有人给出完整的收敛性证明和谱界估计。
他把索科洛夫1980年发表在《苏联科学院报告》上的一篇综述翻了出来那是他从莫斯科带回来的复印件,一直夹在行李里一索科洛夫在那篇综述里明确写道:「预条件共轭梯度法的理论瓶颈在于,我们尚不清楚不完整分解对矩阵谱分布的影响机制。这个问题的解决,可能还需要很多年。」
1980年,索科洛夫说还需要很多年。
1989年,陆沉在莫斯科给出了谱界推导。
近十年的差距,被那篇文章用早有雏形四个字一笔勾销。
陆沉把索科洛夫那段话的俄文原文和英文翻译并排抄在便签本上,旁边标注了出处期刊名称丶卷号丶页码丶发表年份。
然后他继续拆第二处丶第三处丶第四处。
每拆一处,他都找到对应的原始文献—不是教科书上的二手引用,是原始论文的原文。
图兰定理扩展形式的纯组合替代方案?
埃尔德什本人在1985年尝试过,失败了,他在论文末尾写道:「这条路可能不通。」
埃尔德什说可能不通,那篇文章说可以替换。
陆沉把埃尔德什1985年论文的结论部分摘了出来,原文照录。
做完这些的时候,窗外的天已经暗了。
他面前的便签本上密密麻麻写满了七处反驳的文献引证和逻辑拆解,像七座微型堡垒,每一座都用事实和推导做砖石。
他靠在椅背上,看着这七座堡垒。
然后他忽然想到一个问题—他把这些东西写出来了,然后呢?
给谁看?
集训队的队友们不需要看这些,他们自己就是被污蔑的人。
刘领队和彭老师也不需要看,他们比陆沉更清楚那篇文章的问题在哪里。
外面的读者?他们不会有机会读到一本十一岁少年的便签本。
他需要的是一个能让这些反驳被听见的场合。
那个场合在三天后自己出现了。
周六下午,集训队举办了一次小型的学术研讨会。
这是集训的常规安排—每隔一周,队员们轮流报告自己近期研究的一个小问题,或者分享一篇读过的有意思的论文。
目的是保持学术视野的开阔,不只是盯着竞赛题。
这周的研讨会轮到陆沉做主讲。
原定的题目是图兰定理构造性算法的初步框架,那是他和张克明通信中确定的研究计划。
但周六上午,陆沉找到刘领队,说他想换一个题目。
刘领队看着他。
「换什么?」
「拆解那份报纸上的数学谬误。」陆沉把便签本递过去,「我已经准备好了。」
刘领队接过便签本,从头翻到尾。
他翻得很慢,翻到索科洛夫1980年引文那一页时停了一下,翻到埃尔德什1985年论文结论那一页时又停了一下。
翻完之后他把便签本还给陆沉。
「你知道这意味着什么吗?」刘领队问。
「知道。」
「你一旦在公开场合讲这个,就不再是一个单纯的竞赛选手了,你会被看作某种回应者,甚至代言人,这些标签贴上去以后,摘不掉。」
陆沉说他知道。
刘领队看了他好一会儿,然后说:「那就讲。」
下午两点,活动室里坐满了人。
十八个集训队员,彭老师,方宜民,孙老师,还有几个闻讯而来的数学所年轻研究员。
刘领队坐在最后一排靠门的位置,椅子往后仰着,两只手交叉放在肚子上,像一个来听戏的观众。
陆沉站在黑板前面。
他把那份报纸的复印件用磁铁吸在黑板的左上角,然后把便签本摊开在讲台上。
「上周三,集训队收到了这份报纸。」他的声音不大,但活动室的混响让每个字都清清楚楚,「文章里涉及了七处具体的数学判断。我今天把这七处拆开,逐一分析。」
他没有开场白,没有情绪铺垫,直接进入第一处。
「文章称,莫斯科算法模块中使用的预条件共轭梯度法,尤其是其中的不完整Cholesky分解技术,在苏联学派的数值代数传统中早有雏形,因此中国选手的工作只是应用已有理论。」
他在黑板上画了一条时间线。
1980年代,苏联数值代数学派的发展脉络:萨马尔斯基丶马楚克丶索科洛夫。
他在1980年的位置标了一个红点。
「1980年,苏联科学院西伯利亚分院的索科洛夫研究员在《苏联科学院报告》上发表了一篇关于预条件技术现状的综述,在这篇综述的结论部分,他写了这样一段话。」
陆沉拿起粉笔,用俄文在黑板上写下了那段话的原文,然后在下面写了中文翻译。
「预条件共轭梯度法的理论瓶颈在于,我们尚不清楚不完整分解对矩阵谱分布的影响机制。这个问题的解决,可能还需要很多年。」
粉笔在可能还需要很多年下面画了一道重重的横线。
「1980年,这个领域最前沿的研究者,说这个问题还需要很多年,1989年,在莫斯科的赛场上,一套完整的谱界推导被提交给了评委会,附带所有证明细节,评委会成员丶斯捷克洛夫研究所的叶戈罗夫教授给出的评审意见是,填补了理论空白。」
陆沉转过身,指着黑板上那份报纸。
「从还需要很多年到填补理论空白,中间这近十年的距离,被这篇文章用早有雏形四个字抹掉了,这不是学术判断,这是用一种模糊的相似性,去否定一个具体的突破。」
活动室里安静得只剩下暖气管里水流的声音。
坐在后排的那几个年轻研究员,原本是靠在椅背上的,现在身体微微前倾。
陆沉继续拆第二处丶第三处丶第四处。
埃尔德什1985年的可能不通。
图兰定理扩展形式中代数拓扑构造的不可替代性他现场用五分钟证明了为什么纯组合方法在边界条件下会失效。
BESM—6硬体特性的问题一他把算法中与硬体相关的部分和算法核心的逻辑部分分离,证明核心效率提升来自数学结构本身而非平台取巧。
每一处拆解,他都配上了原始文献的引证。
索科洛夫的名片就夹在便签本里,他没有拿出来,但他知道它在那里。
讲到第六处的时候,他的语速慢了下来。
「文章里有一句话,说中国选手擅长计算,不擅构造。」
他把那行英文原文抄在黑板上,「这句话本身,是一个需要检验的命题,我检验它的方式是—我在这里,现场构造一个问题。」
他转过身,在黑板上写下了拉姆齐数R(5,5)的经典定义。
然后他在旁边画了一个图——不是完全图,是一个带有特定对称性的复合图结构。
「如果把拉姆齐问题从完全图推广到这种复合图,原来的下界估计方法,无论是概率方法还是构造方法都会失效,因为复合图中的单形分布不再满足独立性假设。」
粉笔在黑板上飞快地移动。
他构造了一个新的图类,定义了它的生成规则,然后给出了第一个关于这个图类的拉姆齐型下界定理。
这不是事先准备好的内容,便签本上根本没有这一部分。
这是他站在黑板前面,在拆解谬误的过程中,忽然想到的。
周尧的图论方法丶王雪松的矩阵特徵值框架丶何巍关于群表示论在组合中应用的思考丶彭老师画的那张图兰定理拓扑构造的简图。
这些东西在他的大脑里被那篇文章的荒谬点燃了,像几种原本分开放置的化学试剂忽然被倒进了同一个烧杯里。
他画完了。
黑板上是一个完整的数学构造:从问题定义到图类构造,从引理陈述到定理表述。
每一步都清晰,每一步都严丝合缝。
「这是一个新的问题。」
陆沉放下粉笔,转过身,「它不是IMO题库里的,不是任何一本习题集里的。它是我刚才想出来的,它的下界估计需要同时用到代数拓扑中的单纯复形同调群计算丶图论中的极值构造丶以及矩阵特徵值的谱方法,这三种工具在传统数学分类里分属三个不同的分支。」
他看着黑板上自己刚刚写下的那个定理表述。
「谁说我只会做已知答案的题?」
活动室里安静了很长时间。
那种安静和之前的安静不一样。
之前是认真听讲的安静,现在是某种东西被击碎之后丶碎片还没落地的安静。