Finalmente, um jovem matemático coreano resolve um dos problemas mais difíceis do século.

Desde os anos 1960, a comunidade matemática esbarra numa pergunta que parece coisa de mudança de apartamento: dá para passar um sofá por um corredor em “L” sem levantar do chão e sem entortar? O enunciado é simples o bastante para caber numa conversa de elevador - e, justamente por isso, virou um teste brutal de raciocínio geométrico.

Agora, um matemático sul-coreano de 31 anos apresenta uma resposta que não só fecha o quebra-cabeça como também reforça a ideia de que prova teórica ainda tem fôlego, mesmo numa era em que simulações no computador costumam dominar o jogo.

Wie ein „Sofa-Problem“ zum Mythos der Mathematik wurde

A história começa em 1966 com o matemático austro-canadense Leo Moser. Ele formulou uma questão que soa quase trivial: imagine um corredor em forma de L, com as duas pernas exatamente 1 metro de largura. Qual é a maior área possível de uma peça rígida e plana que ainda consegue fazer a curva - sem sair do chão e sem se deformar?

Esse cenário logo foi parar em livros e aulas. Passou a ser chamado de “problema do sofá móvel”. O nome é leve; o conteúdo, nem tanto. Por trás da descrição inocente, existe um problema de otimização geométrica extremamente difícil.

Já no fim dos anos 1960, nomes importantes tentaram atacar o desafio. Em 1968, John Hammersley propôs uma forma que atravessa o corredor com uma área de aproximadamente 2,2074 m². Em 1992, Joseph Gerver foi além: construiu uma figura bem intrincada, com vários trechos curvos, chegando a cerca de 2,2195 m².

A proposta de Gerver rapidamente virou a favorita “não oficial”. Muita gente passou a suspeitar: maior do que isso não dá. Mas suspeita não é prova. E, enquanto faltasse uma demonstração definitiva, ficava a dúvida: talvez exista, em algum canto do espaço de possibilidades, uma forma só um pouco melhor.

Por décadas, simulações e aproximações engenhosas foram as únicas ferramentas - e, apesar disso, a resposta final continuou fora de alcance.

Warum dieses Rätsel so hartnäckig blieb

No papel, o problema do sofá parece simples. Na prática, o número de graus de liberdade explode. A forma pode ser curva, assimétrica, serrilhada ou lisa. Ela pode girar e se deslocar enquanto desliza pelo corredor. Cada posição possível cria novas restrições nas bordas.

Por isso, muitos pesquisadores apelaram ao computador. Com métodos numéricos, testaram grandes famílias de formas, ajustando aos poucos, melhorando constantes, encontrando novos limites superiores e inferiores. Os resultados parecem convincentes - mas não são o fim da história. Um algoritmo consegue dizer: “não encontrei nada melhor”. Ele não consegue garantir: “não existe nada melhor”.

É exatamente aí que a lacuna ficou aberta por décadas. A comunidade tinha candidatos fortes, mas nenhum vencedor definitivo. O sofá continuou como mito.

Ein Militärdienst, ein Korridor und eine fixe Idee

A virada veio de um lugar inesperado: durante o serviço militar. Baek Jin-eon, então um jovem matemático na Coreia do Sul, trabalhava no National Institute for Mathematical Sciences. Foi lá que ele esbarrou pela primeira vez no problema do sofá.

O que fisgou Baek não foi só a dificuldade técnica, mas a sensação de bagunça ao redor. Havia muitos resultados parciais, muitas figuras, muitas simulações - e nenhum arcabouço teórico “limpo”. O tema parecia um amontoado de ideias sem um alicerce comum.

Esse vazio virou combustível. Baek começou a dissecar o enigma de modo sistemático: primeiro no serviço militar, depois no doutorado na University of Michigan e, por fim, no June E. Huh Center for Mathematical Challenges, no Korea Institute for Advanced Study.

Por sete anos, Baek trabalhou na pergunta se a forma de Gerver é realmente o maior “sofá” possível - só com papel, lápis e lógica.

Eine 119-seitige Demonstration ohne einen einzigen Algorithmus

No fim de 2024, Baek publicou seu trabalho na plataforma arXiv. O manuscrito tem 119 páginas. Nada de código, nada de simulação de Monte Carlo, nenhum programa de geometria. Só demonstrações: lemas, teoremas e argumentos cuidadosamente encaixados.

O resultado: a forma proposta por Joseph Gerver é, de fato, ótima. Não existe nenhuma superfície rígida bidimensional com área maior que consiga atravessar o corredor em L com 1 metro de largura. Qualquer área maior inevitavelmente travaria em algum ponto.

Baek chega a essa conclusão ao reformular completamente o problema do sofá. Ele transforma a pergunta intuitiva num problema de otimização preciso, com variáveis claras e restrições bem definidas. O que era um enigma popular vira um sistema rigoroso de desigualdades e espaços de funções.

Um elemento central da estratégia: ele não descreve apenas sofás possíveis, mas também todas as trajetórias de movimento possíveis pelo corredor. Isso reduz drasticamente a geometria das formas permitidas e permite, no fim, mostrar que qualquer solução máxima admissível precisa coincidir com a construção de Gerver.

Worin sich Baeks Ansatz von früheren Versuchen unterscheidet

• Ele trabalha inteiramente sem aproximações numéricas.
• Ele dá ao problema um enquadramento rigoroso e abstrato da teoria da otimização.
• Ele não apenas mostra que o sofá de Gerver é bom, mas que nenhum melhor pode existir.
• Ele demonstra como movimentos complexos podem ser traduzidos em estruturas matemáticas fixas.

O jornal singapurense Straits Times e a mídia sul-coreana destacaram o trabalho como uma ruptura com a linha dominante, baseada em computação, das últimas décadas. A revista de alto prestígio Annals of Mathematics está atualmente avaliando o manuscrito - uma etapa que pouquíssimos trabalhos chegam a alcançar.

Was diese Lösung über menschliche Denkleistung verrät

Para Baek, a solução não é um monumento a um sofá, e sim a um jeito específico de fazer matemática. Em entrevistas, ele descreve o processo como um vai e vem constante entre esperança e frustração: você acha que encontrou o caminho, bate numa contradição, descarta meses de trabalho e recomeça.

Ele fala em “sonhar e acordar”, em fases em que o problema gruda na cabeça. No fim, ele enxerga o resultado mais como ponto de partida do que como linha de chegada: uma “semente plantada” que deve puxar novas perguntas.

A solução do sofá mostra que o pensamento puro e abstrato pode se sustentar mesmo onde o computador já virou padrão.

Ao mesmo tempo, Baek representa uma geração de pesquisadores da Coreia do Sul que ganha cada vez mais presença na matemática internacional. Centros como o Korea Institute for Advanced Study vêm se consolidando como polos para geometria altamente especializada e teoria da otimização.

Was Laien aus dem Sofa-Problem mitnehmen können

Mesmo quem nunca pretende cursar matemática pode tirar algo desse caso. Muitas situações do dia a dia lembram o problema do sofá de um jeito surpreendente: levar móveis em prédios antigos com corredores apertados, robôs se deslocando em galpões, ou empilhadeiras autônomas em fábricas cheias de curvas.

Em todos esses cenários, a pergunta de fundo é a mesma: que forma e que movimento “encaixam” melhor num espaço dado? É justamente aí que trabalhos teóricos assim podem inspirar soluções futuras de engenharia - por exemplo, no desenho de plataformas de transporte ou em algoritmos de desvio de colisão.

Begriff	Einfache Erklärung
Optimierung	Busca da melhor solução entre muitas possibilidades, seguindo regras fixas.
Geometrie	Estudo de formas, distâncias, áreas e corpos no espaço.
Strenger Beweis	Argumentação sem saltos lógicos, cobrindo todos os casos.
Numerische Methode	Procedimento de cálculo que usa aproximações e é executado por computador.

Warum ein altes Sofa neue Forschungsfragen öffnet

A solução responde à pergunta clássica do maior sofá no corredor em L. Mas ela também levanta uma lista de novos problemas. O que muda se o corredor ficar mais largo ou mais estreito? Como seria a forma ótima se o trajeto fosse uma curva em S ou se a largura variasse? Que papel a fricção teria numa versão mais realista?

A dimensão também pode mudar. Em três dimensões, o “sofá” vira mais um corpo sólido do que uma área plana. Aí passa a interessar a combinação máxima de comprimento, largura e altura que consegue atravessar um túnel com curva. Esse tipo de pergunta encosta em robótica, logística e planejamento de obras.

Também são atraentes cenários com incerteza: um robô pode não conhecer a planta exata, apenas um mapa aproximado. Então ele precisa de estratégias que funcionem razoavelmente bem para muitos corredores possíveis. Isso se conecta diretamente à otimização sob risco e a métodos de aprendizado em inteligência artificial.

Wie sich abstrakte Rätsel auf unsere Technologien auswirken können

À primeira vista, o problema do sofá parece um luxo da teoria. Só que muita tecnologia ganha quando pesquisadores levam perguntas “inúteis” até o fim. Navegação de drones entre prédios, planejamento de robôs cirúrgicos em regiões apertadas do corpo, robôs de entrega em supermercados - em todo lugar, formas precisam se mover com segurança e eficiência em espaços restritos.

Quem constrói esses sistemas precisa de limites confiáveis: qual pode ser o tamanho máximo do dispositivo? Quão estreitos podem ser os corredores no projeto sem risco de travar depois? É esse tipo de raciocínio que, mesmo indiretamente, sai da pesquisa sobre o sofá e vai parar na prática.

O caso de Baek Jin-eon mostra como análise abstrata, paciente, e desenvolvimento técnico podem se alimentar mutuamente. Um quebra-cabeça aparentemente excêntrico dos anos 1960 entrega, décadas depois, um modelo de como pensar problemas de movimento altamente complexos até o fim - sem escrever uma única linha de código.