我站在边上，感受到黄先生在世界科学界上的分量。

但北大继续以同样理由两次提出退档申请。经征集志愿仍未完成的计划，应适当降分录取。

今年7月4日，有河南网友提问：专业服从调剂会不会被退档？阳光高考回复说：高校退档的主要理由：总分偏低。高校在什么情况下能退档考生利益如何保障 高校在什么情况下能退档？考生的利益如何保障？ 根据教育部相关政策，国家专项计划定向招收贫困地区学生。高校同批次内生源不足时，不得将未完成的专项计划调整为普通计划，应通过多次公开征集志愿方式录取或调整至有合格生源的省份录取。此事一出，旋即引发大量网友的激烈争论，探讨、疑问之声此起彼伏。鉴于河南省国家专项计划录取工作采取按顺序志愿投档的方式，已退档的2位考生达到了同批录取控制分数线且符合录取条件，应予录取。

根据规定，国家专项计划在本科一批前开始投档录取，录取分数原则上不低于招生学校普通类招生所在批次录取控制分数线。●事件回顾 北大退档河南国家专项计划536分考生 6日前后，有网络消息透露，2019年，北京大学在国家专项计划中向河南省理科投放8个招生名额，排名省内第八的驻马店新蔡县考生分数为536分，超过一本线34分，服从专业调剂，后被北大提档。作为一个独具特色的综合性基础科学研究平台，大连先进光源建成后，将有力推动能源化学、凝聚态物理、原子分子物理、结构生物学、先进材料等学科领域，以及相关高技术产业的精密加工和尖端制造的发展。

实际上，煤基无水乙醇的各项指标完全符合燃料乙醇的要求，且成本从生物乙醇每吨5500元左右降低到3500元左右。作者：李晨阳 来源： 中国科学报 发布时间：2019/7/26 8:57:32 选择字号：小 中 大 擅弈能源之棋 中科院大连化学物理研究所供图 中科院洁净能源A类先导专项启动会 第二届洁净能源高端论坛 洁净能源国家实验室（筹）实验楼 大连极紫外自由电子激光 ■本报记者 李晨阳 能源是一局大棋，擅弈则利国利民随着吴文俊的方法在国际上传播并受到同行赞誉，沉寂已久的几何定理机器证明研究，又在国内外活跃起来。他对从事数学机械化研究的团队，关怀备至。

在几何不等式的机器证明方面，以杨路为主，作出了十分漂亮的工作。张景中第一次知道吴文俊的名字是在1956年。

这项工作引起了中科院基础局数理学部的高度重视，并建议张景中到北京向吴文俊作一次汇报。为中国数学机械化研究队伍的茁壮成长，先生呕心沥血。那是1988年，计算机还是比较昂贵的设备，386计算机也是当时刚推出的最高档的PC机。更为重要的是，张景中利用ICTP的计算机设备条件，对机器证明的代数方法作了进一步探讨。

不久之后，张景中和杨路在吴文俊的方法启发下，提出了几何定理机器证明的数值并行方法，并初步在计算机上实现。后来他决定做定理机器证明，果然又做出好的成绩使自上世纪50年代以来进展甚微、局面被动的几何定理自动证明领域有了新突破。在ICTP访学期间，张景中受益良多查阅了不少文献资料，学习了计算机公式推导、通讯等业务知识。作为吴文俊关心和帮助张景中的重要见证物，2018年8月20日，当张景中捐赠这封宝贵的推荐信时，颇为难舍。

成都分中心虽因种种原因未能建立，但知悉有关情形的张景中和杨路等人，从内心还是非常感激吴文俊的支持的。紧接着，他们进一步发展了基于前推搜索的逻辑方法，从而使几何定理机器证明的消点法达到了实用阶段。

那年首届国家自然科学奖出炉，吴文俊是3项一等奖的获得者之一，另两项一等奖的得主是钱学森先生和华罗庚先生。所作的学术报告均引起同行的极大兴趣，受到好评。

这些工作，获1995年中国科学院自然科学奖一等奖、1997年国家自然科学奖二等奖，张景中均为第一完成人。对一些其他代数方法要几小时才能解决的问题，这个新算法在几十秒钟就解决了。在张景中看来，如果大科学家说什么事情是可能的，那90%是可能的。善体会，硕果累累 在几何定理机器证明的吴方法问世并不断发展完善后，吴文俊曾言：不等式的机器证明太难了，可读的机器证明是不合理的要求。吴文俊在一个时期一个阶段专注做一个方向，甚至是一个问题的研究，并使得这一领域的景象有了根本性改观，张景中觉得这是吴文俊对他的最大启发。应邀在分析中的整体几何与拓扑方法和数学与计算机两个学术会议上作了关于《定理机器证明的数值并行方法》的报告。

如果大科学家都说了什么是不可能的，如果能把不可能变成可能，那就说明所做的工作是相当重要的。他说：塔斯基提出了几何定理机器证明的方法，但不能在计算机上实现。

吴先生成为大师，成为学界公认的泰斗，不仅是由于极高的天赋，更是来自日积月累的思考和学习，来自实事求是的科学精神，来自谦虚谨慎的学术风格。在几何定理机器证明的吴法理论中，为了保证所证明的结论成立，要求一些多项式的首项系数不为0，这即是非退化条件。

泰山不拒细壤，故能成其高。吴文俊了解到这种情形后，用他35000元经费，为张景中配置了一台386计算机。

想必张景中在写这句话时，脑海里一定想到了吴文俊。但文革后，吴文俊认为，经过十年的耽误他再做拓扑不行了，因为国外的文章他已经看不懂了，他得寻找一个新的方向集中精力研究。经过深思熟虑，张景中觉得做研究应向吴文俊学习，专注于一个领域，解决能使这一领域得到根本性改观的问题。一位享誉全球的大科学家，能在百忙之中亲拟3页纸的推荐信，信末还不忘致礼，这让作为后学的张景中甚为感动。

应用消点法，机器自动生成的几何定理证明实现了真正意义上的可读，具有突破性意义。听了张景中的汇报，吴文俊非常肯定张、杨的工作。

恰好，评审小组是吴文俊主持的，而经常和成都分院有合作的林群院士也在这个评审小组。机器自动生成的证明是否可读，是一个具有相对性的判断。

此方法理论上是完全的，并能有效地实现。（2）建立了代数方程组相容性判定的含参结式方法。

于是他便选择了数理逻辑专门化作为自己的方向。得鼓励，好人相助 1985年，张景中和杨路从中科大调到中科院成都分院直属的数理科学研究室（现已更名）。你们的多点例证法在计算机上实现了。2017年5月7日，吴文俊不幸辞世。

如果大科学家说什么事情是不可能的，那70%是可能的，可能大科学家只有30%是对的。吴先生的为人和治学的精神，是我学习的榜样。

（3）提出了将代数方程组相对分解的WR完全算法。应邀在米兰大学、比萨大学、佛罗伦萨大学等学校的数学系（数学研究所）进行了访问及学术交流。

因为，它使机器自动生成的几何定理证明，更易于得到大众的理解，更有可能在教育中发挥作用，更容易在人类文化的发展中扮演更重要的角色。1978 年，学习了先生有关几何命题机械化判定的论文，大受鼓舞启发，决心追随先生从事数学机械化的研究。