OpenAI afirmou um avan\u00e7o no racioc\u00ednio de IA ao enfrentar um problema de matem\u00e1tica de cerca de 80 anos. A empresa diz ter trabalhado no problema do dist\u00e2ncia unit\u00e1ria planar, proposto por Paul Erd\u0151s em 1946, com sua tecnologia.<\/p>\n
Segundo a OpenAI, o modelo de racioc\u00ednio geral conseguiu explorar diferentes ramos da matem\u00e1tica para encontrar uma fam\u00edlia de arranjos que supera o limite sugerido por Erd\u0151s. A empresa descreveu a conquista como uma quebra de expectativa.<\/p>\n
A institui\u00e7\u00e3o explicou que a descoberta n\u00e3o apresentou uma nova express\u00e3o para o crescimento das pares de pontos, mas mostrou que o limite estimado por Erd\u0151s era muito baixo. O feito envolve racioc\u00ednio sequencial e decomposi\u00e7\u00e3o de problemas.<\/p>\n
A alega\u00e7\u00e3o foi apresentada pela OpenAI em um post no X (antigo Twitter) e inclui uma valida\u00e7\u00e3o de matem\u00e1ticos, entre eles Thomas Bloom, que mant\u00e9m o site de problemas de Erd\u0151s e questionou tentativas anteriores da empresa.<\/p>\n
Bloom escreveu que o sistema de IA seguiu caminhos que tendem a ser descartados por humanos, mas destacou que a interven\u00e7\u00e3o humana contribuiu para aperfei\u00e7oar a prova apresentada. A participa\u00e7\u00e3o humana foi considerada essencial no processo.<\/p>\n
Tim Gowers, another matem\u00e1tico, classificou o resultado como um marco para a IA na matem\u00e1tica, em coment\u00e1rio no artigo conjunto. A comunidade cient\u00edfica continua a discutir as implica\u00e7\u00f5es da metodologia empregada.<\/p>\n
Instalado em meio ao debate, Andrew Rogoyski, da Universidade de Surrey, afirmou que a not\u00edcia mostra IA abrindo novas formas de abordar problemas. Ele disse que IA tende a se tornar ferramenta central na pesquisa cient\u00edfica futura.<\/p>\n","protected":false},"excerpt":{"rendered":"