Młody koreański matematyk rozwiązuje jedną z najtrudniejszych zagadek stulecia.

Daleko od superkomputerów i sztucznej inteligencji, cichy przełom właśnie wstrząsnął klasyczną geometryczną zagadką z lat 60.

W Seulu i Ann Arbor, z dala od blasku Krzemowej Doliny, 31-letni matematyk cierpliwie rozstrzygnął pytanie, które dręczyło ekspertów przez niemal sześć dekad: jaki jest największy sztywny kształt, który da się przepchnąć przez korytarz z zakrętem pod kątem prostym, nie podnosząc go z podłogi ani nie wyginając?

Zagadki o sofie, która przetrwała pokolenia matematyków

Historia zaczyna się w 1966 roku, gdy austro-kanadyjski matematyk Leo Moser sformułował problem brzmiący niemal jak sztuczka imprezowa. Wyobraź sobie korytarz w kształcie litery L, gdzie każde ramię ma dokładnie jeden metr szerokości. Teraz wyobraź sobie płaską, sztywną „sofę”, którą trzeba przesunąć i obracać przez zakręt, cały czas utrzymując ją na podłodze - bez ściskania i bez składania.

Pytanie Mosera było proste do zadania i boleśnie trudne do rozwiązania: jakie jest maksymalne pole powierzchni takiej sofy?

„Problem przesuwanej sofy” pyta o największe możliwe pole figury, która potrafi przejść przez korytarz o szerokości jednego metra z zakrętem pod kątem prostym bez deformacji.

Bardzo szybko zagadka wymknęła się z akademickich czasopism i trafiła do książek z łamigłówkami oraz na zajęcia uniwersyteckie. Stała się czymś w rodzaju rytuału przejścia dla geometrii i miłośników matematyki stosowanej - dzięki mieszance elegancji i upartej trudności.

Wczesne kandydatury: od prostokątów po dziko zakrzywione kształty

Na początku można próbować oczywistych odpowiedzi: prostokąta, półkola, kształtu krzyża. Wszystkie da się przepchnąć przez róg, ale marnują miejsce w kluczowych momentach skrętu.

W 1968 roku brytyjski matematyk John Hammersley zaproponował znacznie lepszego kandydata. Jego osobliwy, częściowo zaokrąglony kształt sofy osiągał pole około 2,2074 m². Przez pewien czas wyglądało to imponująco.

Potem, w 1992 roku, amerykański matematyk Joseph Gerver poszedł dalej. Wprowadził kształt z wieloma starannie wyliczonymi krzywiznami - tak złożony, że opisuje go kilka łuków analitycznych, a nie pojedynczy prosty wzór. Sofa Gervera osiągnęła około 2,2195 m², ustanawiając nowy rekord.

Pozostawało jednak natrętne pytanie: czy kształt Gervera jest naprawdę najlepszy z możliwych, czy tylko sprytnym „prawie” trafieniem?

• Hammersley (1968): ok. 2,2074 m²
  
• Gerver (1992): ok. 2,2195 m²
  
• Nieznane: absolutne maksimum teoretyczne - aż do 2024 r.

Z czasem badacze zaczęli opierać się na symulacjach komputerowych, by dopieszczać kandydackie kształty. Algorytmy mogły przesuwać granice, korygować krzywizny i przeszukiwać tysiące wariantów. Narastał konsensus, że projekt Gervera prawdopodobnie jest optymalny - ale nikt nie potrafił dowieść, że nic większego nie ma szans się zmieścić.

Młody poborowy spotyka legendarny problem

Na scenę wchodzi Baek Jin‑eon, południowokoreański matematyk, który po raz pierwszy zetknął się z problemem przesuwanej sofy podczas obowiązkowej służby wojskowej. Oddelegowany do Narodowego Instytutu Nauk Matematycznych, natrafił na tę zagadkę niemal przypadkiem.

Zainteresowała go nie jej sława, lecz jej pustka. Za barwnymi diagramami i domysłami kryło się zaskakująco niewiele solidnej teorii. Problem był wielokrotnie „macany” i podgryzany, ale nigdy nie został ujęty w czysty, systematyczny sposób.

Baeka uderzyła mniej trudność problemu przesuwanej sofy, a bardziej brak jasnych ram pojęciowych wokół niego.

Ta luka stała się jego motywacją. Zaczął od zera budować brakujące fundamenty: definicje, ograniczenia oraz sposób kodowania każdego możliwego ruchu figury przez korytarz.

Siedem lat, 119 stron, zero symulacji komputerowych

Prace Baeka trwały podczas doktoratu na University of Michigan, a później w June E. Huh Center for Mathematical Challenges w Seulu. Gdy wiele współczesnych dowodów w geometrii i optymalizacji opiera się na kodzie, podjął radykalną decyzję: żadnej optymalizacji numerycznej, żadnych symulacji, nawet żadnego dynamicznego oprogramowania geometrycznego.

Zamiast tego postanowił przekształcić zagadkę sofy w rygorystyczny problem optymalizacyjny, w którym każdą możliwą ścieżkę i orientację sofy da się - przynajmniej w zasadzie - opisać i porównać czystym rozumowaniem.

Po siedmiu latach wynik pojawił się pod koniec 2024 roku w preprincie na repozytorium naukowym arXiv: 119‑stronicowy dowód, który „zamyka” problem.

Baek dowodzi, że kształt Gervera z 1992 roku nie jest tylko dobry - jest matematycznie optymalny. Żaden większy sztywny kształt nie przejdzie przez jednometrowy korytarz w kształcie litery L.

To rozstrzyga centralną tajemnicę: stała przesuwanej sofy - maksymalne możliwe pole - zgadza się z wartością Gervera. Dziesięciolecia sprytnych domysłów, teraz poparte w pełni szczegółowym dowodem „ołówkiem na papierze”.

Zwycięstwo myślenia „papier-ołówek” w epoce AI

Podejście Baeka przyciągnęło uwagę, bo idzie pod prąd. W czasach zdominowanych przez dowody wspomagane maszynowo i brutalne przeszukiwanie przestrzeni rozwiązań, oto ważny wynik uzyskany metodami klasycznymi.

Rdzeniem dowodu jest nowa formalizacja problemu. Baek przedstawia ruch sofy jako ścieżkę w wysokowymiarowej przestrzeni konfiguracji: każdy punkt koduje zarówno położenie sofy, jak i jej orientację w korytarzu. W tej przestrzeni ograniczenia ruchu przyjmują postać nierówności, a zadanie staje się czystym problemem optymalizacji.

Następnie wykorzystuje nierówności geometryczne i skrupulatną analizę przypadków, by zawężać możliwości. Krok po kroku wyklucza każdy kształt, który przewyższałby projekt Gervera, a jednocześnie spełniał wszystkie ograniczenia ruchu.

Praca jest obecnie recenzowana w prestiżowym Annals of Mathematics. Jeśli zostanie przyjęta, dołączy do niewielkiego grona przełomowych artykułów, które zamknęły długo otwarte problemy dzięki szczegółowym, konceptualnym argumentom, a nie obliczeniom maszynowym.

Dlaczego taka „głupia” kwestia ma znaczenie dla poważnej nauki

Na pierwszy rzut oka problem przesuwanej sofy brzmi humorystycznie. Nikt naprawdę nie potrzebuje optymalnie wielkiej kanapy do przeniesienia przez korytarz. A jednak takie pytania pełnią konkretną rolę w matematyce i inżynierii.

Zmuszają badaczy do konfrontacji z granicami optymalizacji kształtu pod sztywnymi ograniczeniami - tematu, który ma swoje odpowiedniki w robotyce, logistyce, a nawet w obrazowaniu medycznym.

Dziedzina	Związek z problemem sofy
Robotyka	Planowanie ścieżek dla ramion robotów lub dronów w ciasnych przestrzeniach
Produkcja	Projektowanie części, które trzeba transportować przez ograniczone układy hal fabrycznych
Architektura	Rozumienie prześwitów przy przenoszeniu dużych obiektów w budynkach
Grafika komputerowa	Wykrywanie kolizji i ruch ciał sztywnych w środowiskach wirtualnych

We wszystkich tych obszarach pojawiają się te same składniki: sztywne kształty, wąskie korytarze oraz konieczność poruszania się bez kolizji i bez deformacji. Zabawowy problem ogołaca te kwestie do ich nagich, matematycznych kości.

Kluczowe idee stojące za zagadką - w prostym ujęciu

Dla niespecjalistów kilka pojęć pomaga zrozumieć, co Baek osiągnął.

• Ruch sztywny: sofa może się przesuwać i obracać, ale nie może zmieniać kształtu. Bez rozciągania i ściskania.
  
• Przestrzeń konfiguracji: zamiast śledzić sofę w korytarzu, matematycy śledzą punkt w abstrakcyjnej przestrzeni, który zapisuje wszystkie możliwe położenia i orientacje.
  
• Optymalizacja: spośród wszystkich kształtów i wszystkich poprawnych przejść przez korytarz celem jest maksymalizacja pola.
  

Te pojęcia pojawiają się w oprogramowaniu dla samochodów autonomicznych, zautomatyzowanych magazynów, a nawet silników gier wideo, które nieustannie muszą rozstrzygać, czy poruszający się obiekt zderzy się z otoczeniem.

Co to oznacza dla przyszłych zagadek matematycznych

Baek często opisywał swój proces badawczy jako cykl nadziei i załamania: pomysł wygląda obiecująco, po czym się rozsypuje, zmuszając do odbudowy z fragmentów. To doświadczenie odzwierciedla sposób, w jaki wieloletnie problemy dojrzewają na przestrzeni pokoleń.

Skoro problem przesuwanej sofy jest już rozstrzygnięty, uwaga przesuwa się na warianty. Jednym ze znanych „twistów” jest „problem przenoszenia fortepianu” (piano movers problem): jak przemieścić bardziej złożony kształt, np. długi obiekt albo niewypukły fortepian, przez labirynt przeszkód. Inny wariant zmienia szerokość korytarza lub dopuszcza elastyczność figury, co rodzi nowe pytania o kompromisy między sztywnością a podatnością na dopasowanie.

Jest też szersza lekcja dla młodych badaczy. Historia przesuwanej sofy pokazuje, jak proste, niemal zabawowe pytanie może doprowadzić do nowych technik, nowych ram pojęciowych i - ostatecznie - do definitywnej odpowiedzi, której wielu sądziło, że nigdy nie zobaczy.

Dla każdego, kogo fascynują łamigłówki, łatwym sposobem, by poczuć tę trudność na własnej skórze, jest naszkicowanie własnej „sofy” na papierze w kratkę, zaznaczenie jednometrowego korytarza w kształcie litery L i próba wyobrażenia sobie każdego skrętu i przesunięcia potrzebnego, by przejść bez nakładania się. Ta mentalna żonglerka - konieczność jednoczesnego widzenia kształtów i ruchu - to dokładnie to, co Baek uchwycił i okiełznał dzięki starannemu, abstrakcyjnemu rozumowaniu.