Le monde des mathématiques vient de connaître une avancée majeure : un jeune chercheur sud-coréen, Baek Jin-eon, a réussi à démontrer la solution d’un casse-tête géométrique formulé en 1966 et considéré comme l’un des problèmes les plus coriaces de la discipline. Connu sous le nom de « problème du canapé mobile », ce défi consiste à déterminer la plus grande surface rigide qu’il est possible de faire pivoter dans un couloir en L dont chaque segment mesure un mètre de large.
Pendant plusieurs décennies, mathématiciens et spécialistes de géométrie se sont efforcés de proposer des formes approchées. Parmi les hypothèses les plus célèbres figuraient celles de John Hammersley (1968) et de Joseph Gerver (1992). Pourtant, aucune preuve formelle n’était parvenue à s’imposer.
À seulement une trentaine d’années, Baek Jin-eon vient de mettre fin à cette longue incertitude. Dans un article de 119 pages, publié en preprint en 2024, il démontre que la forme imaginée par Joseph Gerver est bel et bien optimale, confirmant ainsi la meilleure solution possible au problème. Fait remarquable : sa démonstration repose exclusivement sur un raisonnement logique, sans recours à des calculs assistés par ordinateur.
L’étude est actuellement en cours d’évaluation par la prestigieuse revue Annals of Mathematics, qui pourrait consacrer officiellement cette avancée majeure. Pour la communauté scientifique, cette réussite illustre la capacité humaine à résoudre des problèmes extrêmes de complexité grâce à la rigueur intellectuelle et à la créativité mathématique.
