韩国数学家解决六十年数学难题

摘要

韩国高等科学研究院31岁研究员白镇彦解决了困扰数学界近60年的"移动沙发问题"，证明了1992年格弗提出的约2.2195平方米的曲面图形是能通过直角走廊的最大刚性形状。他的研究凭借逻辑推理而非计算机辅助估算建立了最优性证明，被《科学美国人》评为2025年十大数学突破之一。

内容框架与概述

文章开篇介绍了白镇彦的学术成就获得国际认可这一核心新闻事件。《科学美国人》将其研究列入2025年十大数学突破，这位年仅31岁的韩国高等科学研究院研究员用七年时间攻克了一个近六十年未解的几何难题。

文章随后详细阐述了"移动沙发问题"的历史脉络。该问题由奥地利裔加拿大数学家莫泽于1966年首次提出，探讨在宽度为1米的L形走廊中能通过直角弯道的最大刚性形状。此后数十年间，汉默斯利于1968年提出面积约2.2074平方米的方案，格弗于1992年提出约2.2195平方米的更优曲面设计，但始终无人能证明不存在更大的可行形状。

白镇彦的突破在于从方法论上实现了质的飞跃。他于2024年底在arXiv预印本平台发布119页论文，通过纯逻辑推理而非依赖计算机辅助估算，证明了格弗图形即为硬性上限。他将这一缺乏理论框架的问题转化为优化问题，创造了适合该问题的研究工具。他在采访中将研究过程比作"不断建立又推翻想法，从灰烬中拾取思路继续前行"。该论文目前正在接受数学领域顶级期刊《数学年刊》的审稿。

核心概念及解读

移动沙发问题（Moving Sofa Problem）：1966年由莫泽提出的经典几何问题，探讨能够通过宽度为1米的L形走廊直角弯道的最大刚性形状面积，因无需高深数学即可理解而广为人知。

格弗图形（Gerver’s Shape）：1992年由罗格斯大学教授格弗提出的复杂曲面图形，面积约2.2195平方米，此前被视为最优候选方案，如今被白镇彦证明为确切的上限解。

逻辑推理证明法：白镇彦的研究方法区别于以往依赖计算机辅助估算的途径，通过纯粹的逻辑推理建立最优性证明，这一方法论创新是其研究的重要贡献。

优化问题转化：白镇彦的关键策略是将一个缺乏理论框架的几何难题与现有数学思想相连接，转化为可求解的优化问题，并为此创造了专门的研究工具。

原文信息

此摘要卡片由 AI 自动生成