张景中，男，1936年12月30日生，河南汝南人，计算机科学家、数学家、教育家、中国科学院院士。其主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。

很多人印象里，数学研究要么埋头纸上演算，要么局限于纯粹理论探索。张景中走出了一条与众不同的道路，一边攀登计算机自动推理的国际前沿，一边俯身基础教育，试图拆掉横在无数学生面前那堵“数学很难”的高墙。

早年漫长的岁月里，他历经波折，却始终没有放下对数学的思考。在农场教书的那段时光，他摸索出简洁实用的面积解题法。这套方法最初只是用来简化课堂讲解，多年之后，竟成为突破机器证明难题的核心钥匙。上世纪九十年代，国际机器证明领域存在一个长期瓶颈，计算机依靠算法推导几何命题，即便得出正确结论，推演过程晦涩冗长，普通人根本无法读懂。

他创造性提出消点思想，结合面积方法搭建全新理论框架，实现几何定理可读证明自动生成。计算机不再只会输出冰冷结论，能够写出逻辑通顺、方便理解的证明步骤。这项成果震动国际学界，被视作自动推理领域里程碑式的突破，接续吴文俊先生开创的机械化证明方向，把国内几何机器研究推向新高度。

理论突破之后，他没有止步于发表论文。团队依托研究成果打造自主知识产权的智能数学软件超级画板，后续迭代升级为网络画板。打破国外同类软件长期垄断，如今数百万国内中小学师生借助这套平台开展数学实验，让静态的几何图形动态化，改变传统课堂枯燥的授课模式。

科研之外，他首创“教育数学”理念，区分“数学教育”与“教育数学”。单纯改进教学方法远远不够，需要重构数学知识体系，改造理论表述方式，把原本艰深的知识变得通俗易懂。他重新梳理平面几何、三角函数、微积分的入门逻辑，编写大量教材与科普读物，持续在多地中学开展教学试点，用实践验证思路可行。

横跨数学、计算机、教育三大领域，手握国家自然科学二等奖、国家科技进步奖等多项重磅荣誉。年过八旬依旧活跃，撰写科普书籍、录制线上讲座，鼓励年轻人放下对数学的畏惧。在AI自动推理快速发展的当下，他早年关于机器可读证明的探索，价值愈发凸显，为当下智能推理、教育人工智能储备了扎实的底层理论。

当下不少科研工作者热衷于追逐短期能够变现的热门赛道，基础理论与基础教育研究常常被冷落。张景中用一生做出示范，顶尖科研既能仰望星空攻克世界级难题，也能扎根大地，惠及千千万万普通学子。硬核理论创新与大众科普，从来不是两条互不相交的道路。

各位读者你们怎么看？欢迎在评论区讨论。