A OpenAI confirmou que seu novo modelo de raciocínio resolveu um problema geométrico proposto por Paul Erdős em 1946. O desafio, conhecido como o problema da distância de Erdős, resistiu a matemáticos por décadas. A solução veio ao aplicar padrões não baseados em grades tradicionais, uma abordagem que ninguém havia explorado a fundo.
Como a IA quebrou o molde da geometria clássica 🧠
O modelo da OpenAI analisou configurações geométricas que evitavam a estrutura de grade, considerada até agora como a base das soluções ótimas. Por meio de aprendizado por reforço e busca de padrões não lineares, a IA identificou uma disposição de pontos que maximiza distâncias mínimas. O resultado não apenas resolve o problema, mas oferece uma demonstração verificável, algo que os matemáticos humanos não conseguiram em quase um século.
Erdős se revira no túmulo (e pede GPU) 🤖
O mais curioso é que Erdős, famoso por resolver problemas com outros humanos, agora recebe ajuda de uma máquina. O matemático húngaro costumava pedir café e anfetaminas para trabalhar; hoje precisaria de acesso a servidores na nuvem. Enquanto isso, os matemáticos vivos debatem se isso é uma conquista ou um sinal de que deveriam ter jogado mais Minecraft para treinar sua intuição espacial.