- A OpenAI anunciou avanço no raciocínio de IA ao lidar com o problema de distâncias unitárias planas de Paul Erdős, apresentado em mil nove centenas quarenta e seis.
- O modelo da OpenAI descobriu uma família de arranjos que quebra o limite proposto pelo problema, indo além de padrões como grades quadradas.
- A equipe não encontrou uma nova taxa de crescimento dos pares de pontos; o que ocorreu foi mostrar que o limite de Erdős era muito baixo.
- A verificação foi feita por matemáticos, incluindo Thomas Bloom, que coautorou um artigo acompanhante; Bloom ressalta que o humano ainda tem papel importante na melhoria e interpretação do resultado.
- Tim Gowers descreveu o feito como marco na matemática de IA, enquanto Andrew Rogoyski afirmou que IA oferece novas formas de abordar problemas científicos.
OpenAI afirmou um avanço no raciocínio de IA ao enfrentar um problema de matemática de cerca de 80 anos. A empresa diz ter trabalhado no problema do distância unitária planar, proposto por Paul Erdős em 1946, com sua tecnologia.
Segundo a OpenAI, o modelo de raciocínio geral conseguiu explorar diferentes ramos da matemática para encontrar uma família de arranjos que supera o limite sugerido por Erdős. A empresa descreveu a conquista como uma quebra de expectativa.
A instituição explicou que a descoberta não apresentou uma nova expressão para o crescimento das pares de pontos, mas mostrou que o limite estimado por Erdős era muito baixo. O feito envolve raciocínio sequencial e decomposição de problemas.
A alegação foi apresentada pela OpenAI em um post no X (antigo Twitter) e inclui uma validação de matemáticos, entre eles Thomas Bloom, que mantém o site de problemas de Erdős e questionou tentativas anteriores da empresa.
Bloom escreveu que o sistema de IA seguiu caminhos que tendem a ser descartados por humanos, mas destacou que a intervenção humana contribuiu para aperfeiçoar a prova apresentada. A participação humana foi considerada essencial no processo.
Tim Gowers, another matemático, classificou o resultado como um marco para a IA na matemática, em comentário no artigo conjunto. A comunidade científica continua a discutir as implicações da metodologia empregada.
Instalado em meio ao debate, Andrew Rogoyski, da Universidade de Surrey, afirmou que a notícia mostra IA abrindo novas formas de abordar problemas. Ele disse que IA tende a se tornar ferramenta central na pesquisa científica futura.
Entre na conversa da comunidade